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
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2023 at 18:35 | comment | added | Zuhair Al-Johar | @MichaelHardy, Thanks! | |
| Sep 11, 2023 at 18:29 | comment | added | Michael Hardy | If you can't type ö, ä, or ü in a German word, an acceptable substitute is to type oe, ae, or ue, respectively. | |
| Sep 11, 2023 at 18:22 | history | edited | Michael Hardy | CC BY-SA 4.0 |
edited body; edited title
|
| Sep 9, 2023 at 22:38 | history | became hot network question | |||
| Sep 9, 2023 at 14:50 | vote | accept | Zuhair Al-Johar | ||
| Sep 9, 2023 at 14:44 | answer | added | Joel David Hamkins | timeline score: 7 | |
| Sep 9, 2023 at 14:42 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 17 characters in body
|
| Sep 9, 2023 at 14:38 | answer | added | Noah Schweber | timeline score: 13 | |
| Sep 9, 2023 at 14:38 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 26 characters in body
|
| Sep 9, 2023 at 14:32 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |