Timeline for Interpretation of the Second Incompleteness Theorem
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 28, 2022 at 14:09 | history | edited | Ira Gessel | CC BY-SA 4.0 |
Fixed ö in Gödel
|
| Sep 27, 2021 at 1:02 | comment | added | Timothy Chow | Gentzen's proof of the consistency of PA illustrates another possibility. Conceivably, we might have more confidence in PRA + induction up to $\epsilon_0$ than in PA. We can view the significance of Goedel's 2nd theorem not as entirely ruling out the possibility of a meaningful consistency proof of a theory T, but merely ruling out such a proof in a system that is weaker than T. Of course, the trouble with ZFC is that we have no candidate for a system (1) that is neither stronger than nor weaker than ZFC; (2) that we have more faith in than we have in ZFC; and (3) that can prove Con(ZFC). | |
| Sep 9, 2010 at 20:00 | vote | accept | Stefan Geschke | ||
| Sep 9, 2010 at 17:59 | history | answered | Andreas Blass | CC BY-SA 2.5 |