Timeline for Is no proof based on "tertium non datur" sufficient any more after Gödel?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17, 2010 at 11:17 | comment | added | Sidney Raffer | Even LEM on propositions that will never or can never be decided is not useless -- An LEM proof of a proposition indicates that attempts to prove the negation of the proposition are futile. A wise old logician once told me that the attempt to make proofs constructive is not so much a logical imperative as it is a crucial method of discovery. For example, the project of making constructive the fact that the rationals are dense in the reals gives rise to the discipline of diophantine approximation. | |
| Apr 15, 2010 at 21:17 | history | answered | Noam Zeilberger | CC BY-SA 2.5 |