Timeline for Can we effectively axiomatize a theory that proves the negation of its own Gödel's sentence?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 9, 2023 at 14:44 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |