Timeline for Questions on continuum hypothesis [closed]
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 17 at 8:04 | history | edited | Takahiro Matsuda | CC BY-SA 4.0 |
added 4 characters in body
|
| Oct 16 at 11:28 | history | closed |
Dave Benson Emil Jeřábek Daniele Tampieri Jukka Kohonen Andrés E. Caicedo |
Not suitable for this site | |
| Oct 16 at 9:04 | review | Close votes | |||
| Oct 16 at 11:30 | |||||
| Oct 16 at 8:44 | answer | added | KP Hart | timeline score: 3 | |
| Oct 16 at 8:34 | comment | added | bof | "Suppose continuum hypothesis is disproved from Zermelo-Fraenkel axioms." In that case (by Gödel's result) the Zermelo-Fraenkel axioms are inconsistent, and anything can be proved from them. | |
| Oct 16 at 8:31 | comment | added | bof | Actually Gödel proved that CH is consistent with ZFC and Cohen used forcing to prove that the negation of CH is also consistent. | |
| Oct 16 at 8:06 | history | asked | Takahiro Matsuda | CC BY-SA 4.0 |