Timeline for What are some proofs of Godel's Theorem which are *essentially different* from the original proof?
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 11 at 18:41 | review | Low quality posts | |||
Jun 11 at 19:28 | |||||
May 15, 2022 at 9:07 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
http -> https (the question was bumped anyway)
|
Aug 5, 2011 at 15:34 | comment | added | Emil Jeřábek | The obvious motivation in incompleteness theorem that does not imply finite inaxiomatizability is that the latter condition severely reduces the class of theories to which the incompleteness theorem may be applicable: there are quite a lot of interesting finitely axiomatized theories, even extending PA, as you noted yourself. | |
Aug 5, 2011 at 3:01 | history | answered | Sergei Tropanets | CC BY-SA 3.0 |