Timeline for Are all mathematical theorems necessarily true?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2016 at 21:28 | comment | added | Joel David Hamkins | I had meant to express in that sentence the fact that if ZFC is consistent, then there are models of ZFC in which the assertion Con(ZFC) is false. | |
| Oct 8, 2016 at 21:01 | comment | added | მამუკა ჯიბლაძე | Sorry for returning to this after so many years, but what exactly does "is thought to" mean? | |
| Jan 29, 2010 at 19:34 | vote | accept | Paul Mickus | ||
| Jan 28, 2010 at 22:36 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 181 characters in body
|
| Jan 28, 2010 at 21:57 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 183 characters in body
|
| Jan 28, 2010 at 21:45 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |