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

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