Timeline for Is no proof based on "tertium non datur" sufficient any more after Gödel?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2010 at 13:06 | comment | added | Thierry Zell | I don't think it is accurate to say that "Godel was the first to expose this difficulty". Brouwer was on record a constructivist some 20+ years before Godel's incompleteness theorem was published. It's the crisis in the foundations itself that sent mathematicians scrambling for fixes, one of which being the restricted use of excluded middle. | |
| Apr 15, 2010 at 10:09 | comment | added | Sidney Raffer | @Niel: Yes, and Cohn, it seems, was a passionate formalist..... Which goes to show how questionable it is to draw philosophical conclusions from mathematical results. | |
| Apr 15, 2010 at 8:07 | comment | added | Niel de Beaudrap | Of course, Gödel himself seems to have been a Platonist --- he thought that his result showed the poverty of formalism, and motivated the necessity of a direct cognitive link to the Platonic realm, for discovering mathematical truth! | |
| Apr 14, 2010 at 22:07 | history | answered | Sidney Raffer | CC BY-SA 2.5 |