Timeline for Proofs of Gödel's theorem
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 25, 2019 at 20:44 | comment | added | Julia Williams | Since this was recently bumped to the front page: J.E. Quinsey has an exposition of Kripke's argument in his PhD dissertation from 1980. By happy coincidence, he recently uploaded a copy of the dissertation to the arXiv. | |
| S Apr 24, 2019 at 5:32 | history | suggested | CommunityBot | CC BY-SA 4.0 |
Added link to Putnam's paper
|
| Apr 24, 2019 at 4:21 | review | Suggested edits | |||
| S Apr 24, 2019 at 5:32 | |||||
| Mar 22, 2011 at 12:41 | comment | added | Andreas Blass | Henry, I believe the official publication dates of journals are sometimes fictitious. A journal wants to publish (and subscribers expect) a fixed number of issues per year, so, if they get behind on the publication schedule, some issues published in a later year may be assigned an earlier official publication date (and sent to whoever subscribed for that earlier year). | |
| Mar 21, 2011 at 22:10 | comment | added | Ed Dean | Warren Goldfarb also has a paper presenting Kripke's fulfillability proof: "Herbrand's theorem and the incompleteness of arithmetic," Iyyun vol. 39, pp. 45-64. | |
| Mar 21, 2011 at 21:53 | comment | added | Henry Cohn | This is great! I'd heard of Kripke's proof but not about Putnam's paper. It's available for free at projecteuclid.org/euclid.ndjfl/1027953483. Incidentally, do you know what is up with the publication date? Volume 41 is clearly listed as "Publication Date: 2000" on the web site and in the PDF files, but Putnam's paper wasn't even received until 2001 and was printed in 2002. I figured one or the other must be a typo, but 2000 is repeated frequently, as is the bit about being printed in 2002, and Putnam's paper isn't the only one received in 2001. Does this make any sense? | |
| Mar 21, 2011 at 21:27 | history | answered | Andreas Blass | CC BY-SA 2.5 |