Properties (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:addresses |
the completeness of arithmetic
|
| gptkbp:analyzes |
graduate mathematics courses
|
| gptkbp:associated_with |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:controversy |
mathematicians
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:explores |
logicians
|
| gptkbp:has_a_focus_on |
mathematical conferences
philosophers of mathematics philosophical logic mathematical theory development |
| gptkbp:has_implications_for |
computability theory
|
| gptkbp:historical_analysis |
mathematics
|
| gptkbp:historical_significance |
20th-century mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's ninth problem
|
| gptkbp:influenced |
subsequent mathematical theories
|
| gptkbp:interests |
mathematical theory
mathematical historians |
| gptkbp:involves |
set theory
|
| gptkbp:is_a_center_for |
mathematical foundations
|
| gptkbp:is_a_place_for |
formal verification
|
| gptkbp:is_a_platform_for |
mathematical logic
|
| gptkbp:is_a_subject_of |
mathematics
computational complexity mathematical logic philosophy of mathematics mathematical journals mathematical research theoretical mathematics proof theory mathematical philosophy mathematical seminars set-theoretic foundations |
| gptkbp:is_a_time_for |
mathematicians
|
| gptkbp:is_linked_to |
Kurt Gödel
formal systems |
| gptkbp:is_part_of |
mathematical education
|
| gptkbp:is_studied_in |
academic papers
mathematical problem-solving the philosophy of logic |
| gptkbp:is_used_in |
mathematical literature
Turing machines discussions of mathematical rigor |
| gptkbp:isConnectedTo |
axiomatic systems
|
| gptkbp:issues |
the foundations of mathematics
|
| gptkbp:keyEvent |
mathematical research methodology
|
| gptkbp:partOf |
gptkb:Hilbert's_problems
|
| gptkbp:related_to |
model theory
the study of proofs |
| gptkbp:relatedTo |
mathematical logic
|
| gptkbp:significantEvent |
theoretical computer science
mathematical epistemology |