Timeline for What if Current Foundations of Mathematics are Inconsistent?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 1, 2011 at 22:51 | comment | added | Timothy Chow | Paul, one simple possibility for why we haven't found any inconsistencies yet is that the shortest proof of an inconsistency is too long to write down physically. | |
| Feb 8, 2011 at 0:14 | history | answered | Paul | CC BY-SA 2.5 |