MRDP theorem

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

Short for Matiyasevich–Robinson–Davis–Putnam.

Proper noun[edit]

the MRDP theorem

  1. Synonym of Matiyasevich's theorem
Retrieved from "https://en.wiktionary.org/w/index.php?title=MRDP_theorem&oldid=77958464"