Итак, теорема Геделя ее связь с сознанием человека.
Суть теоремы Геделя о неполноте сводится к тому, что в математике существует некий закон, который доказывает ее(математики) неопровержимость. Однако этот математический закон невозможно получить с помощью математических вычислений и доказательств.
С появлением машины Тьюринга, математики начали проверять эти две теоремы. Пример, - проблема Гольдбаха. Это утверждение о том, что любое четное число больше четырех не является суммой простых чисел. Можно запустить проверку на компьютере, который будет складывать все простые числа поочередно и фиксировать результат. Однако такие вычисления могут производиться вечно.
Тогда математики решили, что нужно составить алгоритм, который ответит на вопрос, - В какой момент компьютер остановится, и найдет четное число, которое невозможно получить сложением двух простых чисел. А может быть такого числа вообще не существует? По итогу можно получить любой результат. Ответ будет зависеть от алгоритма, который вы будете использовать. Но какой из них будет правильным? Это привело в тупик. Ответ может предоставить только формула, которую постулировал Гедель. Решение о том, как получить формулу, которая отвечала бы на вопрос, каким вычислительным алгоритмом пользоваться для нахождения истины, невозможно получить с помощью вычислений.
Решение о том, какой вычислительный алгоритм применять в данный конкретный момент, принимает человек. Для его принятия, человек использует суждения, которые невозможно реализовать с помощью компьютера. Понимание того, какой способ вычисления использовать в данный момент, является признаком наличия сознания.
Если наложить это утверждение на теорему Геделя, то получается, что в его теореме роль неопровержимой формулы играет сознание, которое принимает решение о применении того или иного алгоритма. Однако эту формулу, то есть сознание, невозможно получить с помощью вычислений, то есть применяемых алгоритмов.
Невозможно составить математический алгоритм, являющийся обоснованием его же математически, то есть- невозможно составить математический алгоритм, математически обосновывающий принятие решения.
А без принятия решения нет личности)
Последний раз редактировалось Sandy; 21.08.2021 в 23:57..
Поблагодарили Sandy за хорошее сообщение: