Изменения
Нет описания правки
|statement=Не существует алгоритма, который узнавал бы по произвольному диофантову уравнению, имеет ли оно решения.
}}
Таким образом, можно говорить об отрицательном решении десятой проблемы Гильберта.
==Этапы доказательства неразрешимости десятой проблемы Гильберта==
Во времена, когда Гильберт формулировал свои проблемы, не было общего определения понятия алгоритма, однако Гильберт был оптимистом в математике, верил в разрешимость этой проблемы, в этом смысле задача была сформулирована им вполне корректно. Понятие алгоритма было сформулировано в тридцатые годы двадцатого века в работах матлогиков Черча, Клини, Тьюринга, Геделя.
