Properties (70)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical problem
|
| gptkbp:addresses |
gptkb:Yuri_Matiyasevich
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:hasInventor |
number theory
|
| gptkbp:hasRelatedPatent |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's tenth problem
|
| gptkbp:inspiredBy |
algorithmic number theory
|
| gptkbp:involves |
computability theory
|
| gptkbp:isA |
decision problem
|
| gptkbp:isActiveIn |
academic journals
|
| gptkbp:isAssociatedWith |
gptkb:Hilbert's_first_problem
decidability |
| gptkbp:isCitedIn |
research papers
scholarly articles theses dissertations mathematical reviews |
| gptkbp:isConnectedTo |
algebraic geometry
mathematical proofs mathematical conjectures |
| gptkbp:isConsidered |
a landmark result
a foundational problem in mathematics a significant challenge |
| gptkbp:isDiscussedIn |
conferences
online forums academic conferences mathematical literature academic circles mathematical forums |
| gptkbp:isExaminedBy |
philosophical discussions
academic literature mathematical discussions mathematical seminars |
| gptkbp:isExploredIn |
workshops
research projects philosophy of mathematics graduate courses research papers on logic |
| gptkbp:isInfluencedBy |
logic
theoretical computer science algorithm design discrete mathematics mathematical philosophy |
| gptkbp:isKnownFor |
its negative solution
|
| gptkbp:isPartOf |
gptkb:Hilbert's_problems
theoretical frameworks mathematical education mathematical research mathematical theory mathematical discourse mathematical history |
| gptkbp:isReflectedIn |
textbooks
|
| gptkbp:isRelatedTo |
gptkb:Gödel's_incompleteness_theorems
set theory computational complexity complexity theory Turing machines formal systems |
| gptkbp:isStudiedIn |
research institutions
mathematicians logicians mathematical communities theoretical mathematicians |
| gptkbp:issues |
Diophantine_equations
|
| gptkbp:isUtilizedFor |
students
mathematicians |
| gptkbp:relatedTo |
mathematical logic
undecidability |
| gptkbp:yearEstablished |
1900
|
| gptkbp:yearsActive |
1970
|