Изменения
Нет описания правки
*множество всех нестепеней числа <tex>2</tex>, представлено уравнеием <tex>a-(2x_1+3)x_2=0</tex>.
Для доказательства неразрешимости десятой проблемы Гильберта нужно было лишь показать диофантовость любого перечислимого множества,
то есть нужно показать возможность построения уравнения, которое имело бы натуральные корни <tex>x_1,x_2,..., x_n</tex> только при всех <tex>\left \langle a_1, a_2, ..., a_m\right \rangle</tex>, принадлежащих этому перечислимому множеству.Исходя из этого, Дэвис сформулировал следующую гипотезу:{{Гипотеза |author=Мартина Дэвиса|statement=Понятия диофантового и перечислимого множества совпадают. Это значит, что множество диофантово тогда и только тогда, когда оно перечислимо.}}
