Timeline for What axioms are used to prove Gödel's Incompleteness Theorems?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 23, 2023 at 13:37 | comment | added | Timothy Chow | Wayback Machine archive of Andrew Boucher's preprint. | |
| Aug 20, 2021 at 4:25 | comment | added | abo | @user76284 A new link: researchgate.net/publication/354021536_THREE_THEOREMS_OF_GODEL | |
| Aug 18, 2021 at 21:09 | comment | added | user76284 | @abo Link is broken. | |
| Jan 6, 2013 at 18:10 | comment | added | abo | See: andrewboucher.com/papers/godel.pdf | |
| Jan 6, 2013 at 15:14 | comment | added | Andrew Critch | Cool; what's a reference where I can see this proven, or at least illustrated? | |
| Jan 6, 2013 at 12:39 | history | answered | abo | CC BY-SA 3.0 |