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.