Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Hilbert problem
|
gptkbp:describes |
The problem asks for a proof of the consistency of arithmetic.
|
https://www.w3.org/2000/01/rdf-schema#label |
23 (in Hilbert's list)
|
gptkbp:notableAchievement |
Gödel showed that consistency cannot be proved within arithmetic itself if it is consistent.
|
gptkbp:number |
23
|
gptkbp:proposedBy |
gptkb:David_Hilbert
|
gptkbp:relatedTo |
gptkb:Gödel's_incompleteness_theorems
gptkb:logic gptkb:Peano_arithmetic consistency |
gptkbp:status |
partially resolved
|
gptkbp:title |
Consistency of arithmetic
|
gptkbp:yearProposed |
1900
|
gptkbp:bfsParent |
gptkb:Fermat's_Last_Theorem
|
gptkbp:bfsLayer |
5
|