Difference between revisions
continuum-hypothesis
Source +0 −0
… 22 unchanged lines
Revision 47 as rendered
Gödel showed it cannot be disproved from the standard axioms, and Cohen, inventing forcing, showed it cannot be proved. The standard axioms leave it open. Whether new axioms should settle it, and which ones, is still argued. Woodin has changed his own proposed answer over the years.
Evidence tier V3 is the import default for a result the curation records as settled in the published record. No formal proof or certificate is attached to this page yet.
Posed 1878, Georg Cantor; Hilbert's first problem, 1900. Closed 1940 Kurt Gödel and 1963 Paul Cohen: independent of ZFC.