Properties (64)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:concept
|
| gptkbp:aimsTo |
formalize all of mathematics
establish consistency of mathematical systems |
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's program
|
| gptkbp:influencedBy |
formalism
|
| gptkbp:involves |
axiomatization
|
| gptkbp:isAssociatedWith |
gptkb:Hilbert's_tenth_problem
proof theory |
| gptkbp:isChallengedBy |
intuitionism
mathematical constructivism constructivism philosophical_critiques |
| gptkbp:isCitedBy |
Kurt Gödel
philosophers mathematical philosophers |
| gptkbp:isConnectedTo |
axiomatic set theory
formal systems mathematical consistency axiomatic foundations |
| gptkbp:isConsidered |
historically significant
a foundational approach a pivotal concept a foundational program a major initiative |
| gptkbp:isCriticizedFor |
gptkb:Ludwig_Wittgenstein
|
| gptkbp:isDiscussedIn |
academic journals
philosophy of mathematics mathematical conferences mathematical literature contemporary mathematics |
| gptkbp:isEngagedIn |
philosophical texts
|
| gptkbp:isExaminedBy |
modern mathematics
mathematicians philosophers of mathematics mathematical philosophy historical perspectives on mathematics |
| gptkbp:isExploredIn |
mathematical foundations
mathematical theory historical context of mathematics historical analysis of mathematics |
| gptkbp:isInfluencedBy |
computer science
proof theory logicism the philosophy of logic |
| gptkbp:isLinkedTo |
set theory
formal proofs decidability mathematical rigor mathematical abstraction |
| gptkbp:isPartOf |
theoretical computer science
foundations of mathematics mathematical discourse 20th-century mathematics theoretical frameworks in mathematics |
| gptkbp:isReflectedIn |
gptkb:Hilbert's_axioms
Hilbert's_axiomatic_method Hilbert's_formalism Hilbert's_foundational_work Hilbert's_program_for_mathematics |
| gptkbp:isRelatedTo |
gptkb:Gödel's_incompleteness_theorems
mathematical logic |
| gptkbp:isSubjectTo |
philosophical debate
|
| gptkbp:ledTo |
development of mathematical logic
|