Timeline for Interpretation of the Second Incompleteness Theorem
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2010 at 11:22 | comment | added | Carl Mummert | The consistency of the theory is a hypothesis in the incompleteness theorems; they don't establish the consistency themselves. | |
| Sep 10, 2010 at 10:58 | history | answered | nickname | CC BY-SA 2.5 |