Timeline for Are all mathematical theorems necessarily true?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 29, 2010 at 13:02 | comment | added | Charles Stewart | It's quite true that, say, a maximal PA-consistent set of arithmetical formulae need not be omega consistent. In fact it is cases such as these where we don't have adequate axiomatisations. | |
| Jan 29, 2010 at 10:09 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |