AI-created image
Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
philosophy of mathematics concept
research |
| gptkbp:aimsTo |
formalize all of mathematics
provide a secure foundation for all mathematics prove consistency of mathematics using finitary methods |
| gptkbp:challenge |
gptkb:Gödel's_incompleteness_theorems
gptkb:Kurt_Gödel |
| gptkbp:field |
gptkb:logic
foundations of mathematics |
| gptkbp:goal |
establish completeness and consistency of mathematics
eliminate paradoxes in mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's program
|
| gptkbp:influenced |
gptkb:logic
foundations of mathematics proof theory |
| gptkbp:influencedBy |
gptkb:David_Hilbert
|
| gptkbp:legacy |
development of proof theory
influence on computer science influence on formal methods |
| gptkbp:method |
axiomatic method
finitary reasoning formal systems |
| gptkbp:notableEvent |
gptkb:Gödel's_incompleteness_theorems_(1931)
|
| gptkbp:notablePerson |
gptkb:John_von_Neumann
gptkb:Paul_Bernays gptkb:Wilhelm_Ackermann |
| gptkbp:notableWork |
gptkb:Grundlagen_der_Mathematik
|
| gptkbp:proposedBy |
gptkb:David_Hilbert
1920s |
| gptkbp:relatedTo |
consistency proofs
formal semantics proof theory |
| gptkbp:status |
considered unattainable in original form
|
| gptkbp:bfsParent |
gptkb:David_Hilbert
|
| gptkbp:bfsLayer |
3
|