Алгоритм решения 10 проблемы Гильберта

Дмитрий Васильевич Паршаков, 2019

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

Постановка задачи

В 1900г. на 1 Международном математическом конгрессе, известный математик Давид Гильберт[1] поставил перед математиками всего мира 23 задачи. Эти задачи принято называть"Проблемами Гильберта".

Решением десятой проблемы Гильберта стало признание ее неразрешимости, доказанное советским математиком Ю.В.Матясевичем [2] в 1970г.

Доказательство неразрешимости Матиясевича признано как единственно допустимое, но возможно это не так.

Итак, для того, чтобы опровергнуть, либо подтвердить это доказательство нужно вначале напомнить задачу, определенную Д.Гильбертом в 10-й проблеме.

«Пусть задано диофантово уравнение с произвольными неизвестными и целыми рациональными числовыми коэффициентами. Указать способ, при помощи которого возможно после конечного числа операций установить, разрешимо ли это уравнение в целых рациональных числах»

То есть нужно найти некий алгоритм, при помощи которого возможно находить натуральные (целочисленные) значения для произвольных неизвестных.