HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Matiyasevich's theorem
← Back to search

Meaning of Matiyasevich's theorem | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

matjes herring matka matki Matkin Matkins matkot

Learn this word in context

See Matiyasevich's theorem used in real conversations inside our free language course.

Start Free Course