Properties (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:addresses |
foundations of mathematics
|
| gptkbp:associated_with |
proof theory
|
| gptkbp:challenges |
mathematicians
mathematical theorists |
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:explores |
mathematical research
|
| gptkbp:has_a_focus_on |
academic research
philosophical inquiry logical analysis research in logic mathematical inquiry |
| gptkbp:has_implications_for |
computability theory
|
| gptkbp:historical_significance |
mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's second problem
|
| gptkbp:influencedBy |
formalism
|
| gptkbp:is_a |
mathematical foundations
foundational mathematics philosophers of mathematics mathematical philosophy mathematical certainty mathematical truth |
| gptkbp:is_a_key_component_of |
mathematical logic
|
| gptkbp:is_a_platform_for |
modern mathematics
|
| gptkbp:is_a_subject_of |
academic papers
advanced mathematics scholarly articles academic conferences debate graduate studies mathematical philosophy mathematical rigor mathematical discourse mathematical seminars mathematical lectures logic and mathematics |
| gptkbp:is_evaluated_by |
logicians
|
| gptkbp:is_linked_to |
gptkb:Hilbert's_first_problem
set theory |
| gptkbp:is_part_of |
gptkb:Hilbert's_problems
gptkb:Hilbert's_list_of_problems theoretical frameworks theoretical discussions mathematical foundations the history of mathematics the study of mathematics |
| gptkbp:is_studied_in |
historical context
|
| gptkbp:is_used_in |
philosophy of mathematics
textbooks on logic |
| gptkbp:isConnectedTo |
mathematical consistency
|
| gptkbp:issues |
the consistency of arithmetic
|
| gptkbp:related_to |
theoretical computer science
axiomatic systems |
| gptkbp:relatedTo |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:significantEvent |
mathematical logic
|