|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:concerns
|
gptkb:Diophantine_equations
|
|
gptkbp:influenced
|
gptkb:logic
theory of computation
|
|
gptkbp:language
|
gptkb:German
|
|
gptkbp:notableFor
|
gptkb:Matiyasevich's_theorem
|
|
gptkbp:originalTitle
|
gptkb:Entscheidungsproblem_für_diophantische_Gleichungen
|
|
gptkbp:partOf
|
gptkb:Hilbert's_problems
|
|
gptkbp:posedAt
|
gptkb:International_Mathematical_Olympiad
|
|
gptkbp:posedBy
|
gptkb:David_Hilbert
|
|
gptkbp:posedInYear
|
1900
|
|
gptkbp:relatedTo
|
computability theory
number theory
recursion theory
Turing machines
|
|
gptkbp:solutionBy
|
gptkb:Yuri_Matiyasevich
|
|
gptkbp:solutionCollaborators
|
gptkb:Hilary_Putnam
gptkb:Julia_Robinson
gptkb:Martin_Davis
|
|
gptkbp:solutionResult
|
undecidable
no such algorithm exists
|
|
gptkbp:solutionYear
|
1970
|
|
gptkbp:status
|
solved
|
|
gptkbp:type
|
algorithm to determine solvability of Diophantine equations
|
|
gptkbp:bfsParent
|
gptkb:Davis–Putnam–Robinson–Matiyasevich_theorem
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Hilbert's tenth problem
|