Изменения
→Вклад Ю.В. Матиясевича
Если возвести обе части всех этих уравнений в квадрат и сложить их почленно, то получиться одно уравнение, которое будет иметь те же решения на множестве натуральных чисел, что и вся система.
В результате совместной работы Дэвиса, Робинсон, ПатнамаПатнема, Матиясевича было доказано, что по заданию перечислимого множества в любой стандартной
форме можно построить его диофантово представление:
