Hilbert's nineteenth problem
GPTKB entity
Properties (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:addresses |
mathematical logic
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:field |
mathematics
|
| gptkbp:focusesOn |
consistency of mathematics
|
| gptkbp:hasInventor |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's nineteenth problem
|
| gptkbp:influencedBy |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:isA |
open problem
|
| gptkbp:isActiveIn |
mathematical journals
|
| gptkbp:isAssociatedWith |
mathematical rigor
|
| gptkbp:isChallengedBy |
theoretical computer science
|
| gptkbp:isCitedIn |
research papers
academic circles |
| gptkbp:isConnectedTo |
axiomatic set theory
mathematical theories |
| gptkbp:isConsidered |
mathematical analysis
philosophy of mathematics |
| gptkbp:isDiscussedIn |
mathematicians
academic conferences mathematical literature philosophers of mathematics |
| gptkbp:isExaminedBy |
philosophical discussions
mathematical foundations |
| gptkbp:isExploredIn |
mathematical research
mathematical proofs logicians graduate studies |
| gptkbp:isInfluencedBy |
mathematical philosophy
mathematical research methodologies |
| gptkbp:isLinkedTo |
formal logic
mathematical proofs mathematical consistency |
| gptkbp:isPartOf |
gptkb:Hilbert's_list_of_problems
gptkb:Hilbert's_program |
| gptkbp:isReflectedIn |
mathematical education
mathematical textbooks |
| gptkbp:isRelatedTo |
set theory
mathematical logic proof theory formal systems |
| gptkbp:issues |
axiomatization of mathematics
|
| gptkbp:isUtilizedFor |
mathematicians
theoretical mathematicians students of mathematics |
| gptkbp:partOf |
gptkb:Hilbert's_problems
|
| gptkbp:relatedTo |
foundations of mathematics
|
| gptkbp:yearEstablished |
1900
|