Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:CohenResult |
Continuum hypothesis cannot be proved from ZFC
|
| gptkbp:concerns |
gptkb:set_theory
infinite sets cardinality of the continuum real numbers |
| gptkbp:formedBy |
gptkb:David_Hilbert
1900 |
| gptkbp:GödelResult |
Continuum hypothesis cannot be disproved from ZFC
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's first problem
|
| gptkbp:language |
gptkb:German
|
| gptkbp:partOf |
gptkb:Hilbert's_problems
|
| gptkbp:presentedBy |
gptkb:International_Congress_of_Mathematicians,_Paris,_1900
|
| gptkbp:relatedTo |
gptkb:Zermelo–Fraenkel_set_theory
gptkb:continuum_hypothesis axiom of choice |
| gptkbp:solutionYear |
1940
1963 |
| gptkbp:solvedBy |
gptkb:Kurt_Gödel
gptkb:Paul_Cohen |
| gptkbp:status |
independent of ZFC
undecidable in standard set theory |
| gptkbp:title |
gptkb:Continuum_hypothesis
|
| gptkbp:type |
Is there a set whose cardinality is strictly between that of the integers and the real numbers?
|
| gptkbp:bfsParent |
gptkb:Continuum_hypothesis
|
| gptkbp:bfsLayer |
5
|