最終更新日：2025/12/07

(mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

Matiyasevich's theorem

元となった辞書の項目

Matiyasevich's theorem

固有名詞

(mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.

日本語の意味

数学における定理で、計算可能に列挙可能な集合はディオファントス集合（整数解を持つ多項式方程式の解の集合）であり、その逆も成り立つことを示す定理

In our seminar on number theory, we discussed Matiyasevich's theorem and its implications for Hilbert's tenth problem.

整数論のゼミで、任意の計算可能列挙集合がディオファントス集合であるという定理と、それがヒルベルトの第10問題にもたらす影響について議論しました。

意味（1）

(mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse.