The story
Named after Russian mathematician Yuri Matiyasevich.
Etymology from Wiktionary, CC BY-SA 4.0.
Matiyasevich's theorem
Today it means: A theorem stating that every computably enumerable set is a Diophantine set, and the converse. Full definition →