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