Timeline for Proofs of Gödel's theorem
Current License: CC BY-SA 2.5
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2020 at 6:51 | answer | added | Steven Landsburg | timeline score: 0 | |
| May 26, 2011 at 20:37 | answer | added | Gyorgy Sereny | timeline score: 7 | |
| Mar 29, 2011 at 10:37 | answer | added | andrey bovykin | timeline score: 3 | |
| Mar 29, 2011 at 10:19 | answer | added | andrey bovykin | timeline score: 5 | |
| Mar 28, 2011 at 14:30 | vote | accept | Sergei Tropanets | ||
| Mar 25, 2011 at 20:31 | comment | added | godelian | There is a categorical proof by Joyal, though it does use self-referential ideas. It makes use of arithmetic universes, which he introduced in the 70's. Their categorical structure supports the construction of internal categories providing internal copies of themselves, just the amount of self-reference needed to perform Cantor's diagonal argument. An abstract can be found at A. Joyal., The Gödel incompleteness theorem, a categorical approach. Cahiers de topologie et géometrie différentielle categoriques, 16(3), 2005. For a related work, see tac.mta.ca/tac/volumes/24/3/24-03abs.html | |
| Mar 25, 2011 at 18:30 | answer | added | andrey bovykin | timeline score: 20 | |
| Mar 22, 2011 at 1:17 | comment | added | Peter Arndt | You might be interested in the answers to this question: mathoverflow.net/questions/39626/… | |
| Mar 21, 2011 at 23:50 | answer | added | Jason | timeline score: 7 | |
| Mar 21, 2011 at 21:47 | answer | added | Jason Rute | timeline score: 10 | |
| Mar 21, 2011 at 21:32 | answer | added | John Stillwell | timeline score: 6 | |
| Mar 21, 2011 at 21:27 | answer | added | Andreas Blass | timeline score: 13 | |
| Mar 21, 2011 at 21:05 | history | asked | Sergei Tropanets | CC BY-SA 2.5 |