1. Математики эквивалентны скорее конечному автомату. Машина Тьюринга более мощное устройство.
Это тупо вранье. Общеизвестно, что язык
не является регулярным языком. Если я эквивалентен конечному автомату, то существует
, для которого я не смогу определить, верно ли, что
. Приведите такое
, либо Вы соврали.
Просто потому что если бы это стены не было, то это означало возможность доказательства любой истины, что невозможно по теореме Геделя.
Нашёл в сети док-во т. Гёделя от В.А.Успенского с помощью теории алгоритмов
(ссылка). Интересно, если бы нашлись эти сверхтьюринговые вычисления, устояла бы т. Гёделя и логика вообще?
Теорема Геделя и логика конечно устоят, на то они и теоремы. А кроме тезиса Черча есть еще и тезис Тьюринга. Просто смогли бы доказать немного больше, чем без сверхтьюринговых вычислений, но не все.