Timeline for Proofs of Gödel's theorem
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2020 at 7:24 | comment | added | Steven Landsburg | @AndreasBlass : Thanks. Obviously I should have read the question more carefully. Mea culpa. | |
| Mar 1, 2020 at 7:11 | comment | added | Andreas Blass | A version of Chaitin's proof was mentioned in the question, but thank you for providing details about it. | |
| Mar 1, 2020 at 6:51 | history | answered | Steven Landsburg | CC BY-SA 4.0 |