Matiyasevich's theorem
English
Etymology
Named after Russian mathematician Yuri Matiyasevich.
Proper noun
Matiyasevich's theorem
- (mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
- Synonym: MRDP theorem