Properties (60)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:addresses |
formal systems
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:focusesOn |
axioms of mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's eighth problem
|
| gptkbp:involves |
mathematical logic
|
| gptkbp:isActiveIn |
mathematical journals
|
| gptkbp:isAimedAt |
understanding mathematical truth
|
| gptkbp:isAssociatedWith |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:isConnectedTo |
theoretical frameworks
mathematical foundations mathematical theories the nature of mathematical truth the philosophy of language |
| gptkbp:isConsidered |
advanced mathematics courses
mathematical research theoretical explorations mathematical logic discussions |
| gptkbp:isDiscussedIn |
academic papers
philosophy of mathematics mathematical conferences academic discussions mathematical forums |
| gptkbp:isExaminedBy |
mathematicians
philosophers of mathematics mathematical seminars mathematical theory development |
| gptkbp:isExploredIn |
set theory
academic research formal proofs logical frameworks graduate studies |
| gptkbp:isInfluencedBy |
gptkb:Hilbert's_first_problem
theoretical computer science philosophical discussions |
| gptkbp:isLinkedTo |
mathematical proofs
mathematical rigor mathematical axioms the study of consistency |
| gptkbp:isNotableFor |
its impact on mathematics
|
| gptkbp:isPartOf |
gptkb:Hilbert's_list_of_problems
20th century mathematics the study of mathematical logic |
| gptkbp:isReflectedIn |
research papers
modern mathematics mathematical literature mathematical textbooks |
| gptkbp:isRelatedTo |
axiomatic systems
mathematical philosophy |
| gptkbp:isSubjectTo |
historical analysis
debate in mathematics philosophical scrutiny |
| gptkbp:issues |
consistency of mathematics
|
| gptkbp:isUtilizedFor |
logicians
theoretical mathematicians mathematicians and philosophers research mathematicians students of mathematics |
| gptkbp:partOf |
gptkb:Hilbert's_problems
|
| gptkbp:relatedTo |
foundations of mathematics
|