Timeline for Is metatheory, providing proof of the incompleteness theorem, consistent?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 17, 2013 at 13:46 | comment | added | Max | consistency is a subject matter of Incompleteness theorem | |
| Jan 17, 2013 at 12:45 | comment | added | S. Carnahan♦ | How do you expect anyone to prove absolute consistency of a metatheory without relying on an even stronger metametatheory? You seem to be asking for something impossible. | |
| Jan 17, 2013 at 11:23 | answer | added | Emil Jeřábek | timeline score: 12 | |
| Jan 17, 2013 at 10:59 | answer | added | Steven Landsburg | timeline score: 22 | |
| Jan 17, 2013 at 9:37 | comment | added | Max | one consistent suffice | |
| Jan 17, 2013 at 9:22 | comment | added | Zhen Lin | Which metatheory? | |
| Jan 17, 2013 at 7:43 | history | asked | Max | CC BY-SA 3.0 |