Hilbert's twenty-third problem
GPTKB entity
Properties (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:addressed |
gptkb:Hilbert's_1900_Paris_lecture
|
| gptkbp:aimsTo |
establish a foundation for mathematics
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:hasHistoricalSignificance |
20th century mathematics
|
| gptkbp:hasInventor |
artificial intelligence
computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's twenty-third problem
|
| gptkbp:influencedBy |
gptkb:Gödel's_incompleteness_theorems
Turing's work on computability |
| gptkbp:isActiveIn |
mathematical texts
mathematical philosophy discussions |
| gptkbp:isAssociatedWith |
gptkb:Hilbert's_program
|
| gptkbp:isCitedIn |
research articles
academic circles |
| gptkbp:isConnectedTo |
mathematical proofs
|
| gptkbp:isConsidered |
philosophy of mathematics
mathematicians and philosophers open problem a significant problem |
| gptkbp:isDiscussedIn |
conferences
mathematical literature philosophers of mathematics mathematical seminars |
| gptkbp:isExaminedBy |
academic research
mathematical journals |
| gptkbp:isExploredIn |
advanced mathematics courses
research projects formal logic graduate studies mathematical philosophy mathematical experiments |
| gptkbp:isInfluencedBy |
philosophical debates
|
| gptkbp:isLinkedTo |
mathematical foundations
mathematical theories mathematical conjectures |
| gptkbp:isPartOf |
gptkb:Hilbert's_list_of_problems
mathematical discourse mathematical history mathematical inquiry |
| gptkbp:isReferencedIn |
academic papers
|
| gptkbp:isRelatedTo |
theoretical computer science
axiomatic systems mathematical consistency |
| gptkbp:isStudiedIn |
mathematical research
|
| gptkbp:issues |
foundations of mathematics
|
| gptkbp:isUtilizedFor |
mathematicians
logicians theoretical mathematicians students of mathematics |
| gptkbp:partOf |
gptkb:Hilbert's_problems
|
| gptkbp:relatedTo |
set theory
mathematical logic formal systems |