最終更新日:2022/12/07
正解を見る
(mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
編集履歴(0)
元となった辞書の項目
Matiyasevich's theorem
name
(mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.