English Explanatory Dictionary

Matiyasevich's theorem

English dictionary entry

Meanings

name
  1. A theorem stating that every computably enumerable set is a Diophantine set, and the converse.

Word forms

Matiyasevich's theorem

Etymology

Named after Russian mathematician Yuri Matiyasevich.

Synonyms

MRDP theorem
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on M Russian dictionary Dahl dictionary