Yuri Matiyasevich
E838583
Yuri Matiyasevich is a Russian mathematician best known for his negative solution to Hilbert’s tenth problem, showing that no general algorithm exists to determine whether arbitrary Diophantine equations have integer solutions.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Yuri Matiyasevich canonical | 8 |
| Matiyasevich | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10055460 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Yuri Matiyasevich Context triple: [Hilbert’s tenth problem, solvedBy, Yuri Matiyasevich]
-
A.
Ilya Piatetski-Shapiro
Ilya Piatetski-Shapiro was a prominent Soviet-Israeli mathematician known for his influential work in number theory, representation theory, and automorphic forms.
-
B.
Klaus Roth
Klaus Roth was a German-born British mathematician renowned for his groundbreaking work in number theory, particularly his proof of Roth's theorem on Diophantine approximation, for which he received the Fields Medal in 1958.
-
C.
Igor Shafarevich
Igor Shafarevich was a prominent Soviet and Russian mathematician known for his influential work in algebraic number theory and algebraic geometry, as well as for his controversial political writings.
-
D.
Wolfgang Schmidt
Wolfgang Schmidt is a German serial killer, also known as the "Beast of Beelitz," convicted of multiple murders committed in the early 1990s.
-
E.
Wolfgang Schmidt
Wolfgang Schmidt is a German politician and close ally of Chancellor Olaf Scholz who serves as Head of the Federal Chancellery and Federal Minister for Special Affairs.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Yuri Matiyasevich Target entity description: Yuri Matiyasevich is a Russian mathematician best known for his negative solution to Hilbert’s tenth problem, showing that no general algorithm exists to determine whether arbitrary Diophantine equations have integer solutions.
-
A.
Ilya Piatetski-Shapiro
Ilya Piatetski-Shapiro was a prominent Soviet-Israeli mathematician known for his influential work in number theory, representation theory, and automorphic forms.
-
B.
Klaus Roth
Klaus Roth was a German-born British mathematician renowned for his groundbreaking work in number theory, particularly his proof of Roth's theorem on Diophantine approximation, for which he received the Fields Medal in 1958.
-
C.
Igor Shafarevich
Igor Shafarevich was a prominent Soviet and Russian mathematician known for his influential work in algebraic number theory and algebraic geometry, as well as for his controversial political writings.
-
D.
Wolfgang Schmidt
Wolfgang Schmidt is a German serial killer, also known as the "Beast of Beelitz," convicted of multiple murders committed in the early 1990s.
-
E.
Wolfgang Schmidt
Wolfgang Schmidt is a German politician and close ally of Chancellor Olaf Scholz who serves as Head of the Federal Chancellery and Federal Minister for Special Affairs.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
mathematician ⓘ |
| associatedWithConcept |
Diophantine representation of recursively enumerable sets
ⓘ
undecidability of Diophantine equations ⓘ |
| associatedWithProblem | Hilbert’s tenth problem ⓘ |
| collaboratedWith |
Hilary Putnam
ⓘ
Julia Robinson ⓘ Martin Davis ⓘ |
| contributedTo | theory of Diophantine representations of recursively enumerable sets ⓘ |
| countryOfCitizenship | Russia ⓘ |
| era |
20th-century mathematics
ⓘ
21st-century mathematics ⓘ |
| familyName |
Matiyasevich
ⓘ
linked to:
Yuri Matiyasevich
|
| fieldOfWork |
computability theory
ⓘ
mathematical logic ⓘ mathematics ⓘ number theory ⓘ |
| gender | male ⓘ |
| givenName | Yuri ⓘ |
| hasInfluenceOn |
computational number theory
ⓘ
foundations of mathematics ⓘ theory of algorithms ⓘ |
| hasNotableTheorem |
Matiyasevich’s theorem
ⓘ
linked to:
Davis–Putnam–Robinson–Matiyasevich theorem
|
| hasResearchTopic |
Diophantine definability
ⓘ
Hilbert’s problems ⓘ
linked to:
Hilbert problems
algorithmic unsolvability ⓘ |
| impact | completed the work of Davis, Putnam, and Robinson on Hilbert’s tenth problem ⓘ |
| influencedField |
computability theory
ⓘ
logic in computer science ⓘ number theory ⓘ |
| isSubjectOf | studies in the history of Hilbert’s tenth problem ⓘ |
| knownFor | showing that no general algorithm exists to determine whether arbitrary Diophantine equations have integer solutions ⓘ |
| languageOfWorkOrName | Russian ⓘ |
| Matiyasevich’s theorem | states that every recursively enumerable set of natural numbers is Diophantine ⓘ |
| name | Yuri Matiyasevich ⓘ |
| nationality | Russian ⓘ |
| notableAchievement | proof that Hilbert’s tenth problem is undecidable ⓘ |
| notableFor | negative solution to Hilbert’s tenth problem ⓘ |
| notableWork | solution of Hilbert’s tenth problem ⓘ |
| occupation | mathematician ⓘ |
| proved |
that every recursively enumerable set is Diophantine
ⓘ
that there is no algorithm to decide solvability of arbitrary Diophantine equations in integers ⓘ |
| researchArea |
Diophantine equations
ⓘ
recursively enumerable sets ⓘ undecidability ⓘ |
| solved |
Hilbert’s tenth problem (in the sense of proving its unsolvability)
ⓘ
linked to:
Hilbert’s tenth problem
|
| theoremNamedAfter |
Matiyasevich’s theorem
ⓘ
linked to:
Davis–Putnam–Robinson–Matiyasevich theorem
|
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Yuri Matiyasevich Description of subject: Yuri Matiyasevich is a Russian mathematician best known for his negative solution to Hilbert’s tenth problem, showing that no general algorithm exists to determine whether arbitrary Diophantine equations have integer solutions.
Referenced by (9)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Yuri Matiyasevich