411 REFERENCE · Wiktionary
Matiyasevich's theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Russian mathematician Yuri Matiyasevich.
Proper noun
en mathematics A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
en MRDP theorem
en eponyms