Добавить комментарий

О полноте и непротиворечивости

Существует ли доказательство что теорема Геделя также действительна для машин Тьюринга, а не только для алгебраических систем? Сходу ничего не нашел.

Отсутствие доказательства означает, в частности, что для обучения нейросети может существовать алгоритм, созданный на базе тех же нейросетевых механизмов. Или, возвращаясь к дискуссии о познании, что теоретически возможен "супермозг", в пределе познавший Вселенную.

Опровергающая цепочка рассуждений "машина Тьюринга равномощна нормальному алгоритму Маркова, алгортм Маркова основан на формальном языке на который распространяется теорема Геделя" не работает, т.к. в формальном языке нет понятия указателей (см. также дискуссию на мембране).