Matiyasevich's theorem en · PROPN
Etymology
Named after Russian mathematician Yuri Matiyasevich.
Meanings
- A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
Dictionary
Words, grammatical forms and meanings linked to the ontology.