Matiyasevich's theorem
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named after Russian mathematician Yuri Matiyasevich.
Proper noun[edit]
- (mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
- Synonym: MRDP theorem