MRDP theorem

固有名詞

Synonym of Matiyasevich's theorem

日本語の意味

Matiyasevichの定理の同義語

The proof of the MRDP theorem revolutionized our understanding of which Diophantine equations can be algorithmically solved.

マティヤセヴィッチ＝ロビンソン＝デイヴィス＝プットナムの定理の証明は、どのディオファントス方程式がアルゴリズムで解けるかという私たちの理解を一変させた。

意味（1）

Synonym of Matiyasevich's theorem

the MRDP theorem

（ canonical ）