Изменения
Нет описания правки
Если возвести обе части всех этих уравнений в квадрат и сложить их почленно, то получиться одно уравнение, которое будет иметь те же решения на множестве натуральных чисел, что и вся система. Таким образом,
теорема о неразрешимости десятой проблемы Гильберта была доказана.
== См. также ==
* [[Неразрешимость исчисления предикатов первого порядка]]
* [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]
* [[Примеры неразрешимых задач: задача о замощении|Задача о замощении]]
* [[Примеры неразрешимых задач: однозначность грамматики|Однозначность грамматики]]
* [[Неразрешимость задачи об эквивалентности КС-грамматик]]
==Источники информации==
*[http://kvant.ras.ru/1970/07/o_reshenii_desyatoj_problemy_g.htm П. Варпаховский, А. Н. Колмогоров О решении десятой проблемы Гильберта // Квант. — 1970. — № 7. — С. 38—44.]
*[https://www.lektorium.tv/lecture/12974 Лекции Ю.В. Матиясевича в Computer Science клубе при ПОМИ РАН]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
[[Категория: Примеры неразрешимых задач]]
