MRDP theorem

English

Etymology

Short for Matiyasevich–Robinson–Davis–Putnam.

Proper noun

the MRDP theorem

  1. Synonym of Matiyasevich's theorem.
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.