Timeline for Why is Cohen's result insufficient to settle CH?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 20, 2010 at 14:43 | history | edited | Michael Greinecker | CC BY-SA 2.5 |
clarification in response to a remark by Carl Mummert
|
| Jun 20, 2010 at 14:37 | comment | added | Carl Mummert | I was responding to the sentence, "... we cannot learn from them that something is true, we can only use them to show something is not provable ...". | |
| Jun 20, 2010 at 14:35 | comment | added | Michael Greinecker | "If something is provable from the axioms, and we believe the axioms are true, then it follows that the thing that was proved is also true." Did I write something contradicting this? | |
| Jun 20, 2010 at 14:30 | comment | added | Carl Mummert | If something is provable from the axioms, and we believe the axioms are true, then it follows that the thing that was proved is also true. The difficulty with CH is that there is no known extension of ZFC that both decides CH and is widely believed to be true. (There are several extensions that decide CH, though.) | |
| Jun 20, 2010 at 14:08 | history | answered | Michael Greinecker | CC BY-SA 2.5 |