Ksenia
Фея
Знаешь же теорему Геделя о неполноте? Что любая система формальных утверждений либо противоречива, либо неполна. Работа машины Тьюринга описывается системой формальных утверждений. И в рамках этой формальной системы есть неразрешимые задачи, например, задача о останове программы. Остановится программа или нет? Машина Тьюринга не даст ответ на этот вопрос. Нет алгоритма.
Человек осознал ограниченность математики, а, значит, и науки, ведь любая наука - это система формальных утверждений. Значит, он не машина Тьюринга, так как машина не может выйти за пределы формальных утверждений, на которых она построена 🙂 Машина Тьюринга не докажет теорему о неполноте, то есть не осознает ограниченность своей системы. А работа любого компьютера сводится к работе машины Тьюринга.
Человек осознал ограниченность математики, а, значит, и науки, ведь любая наука - это система формальных утверждений. Значит, он не машина Тьюринга, так как машина не может выйти за пределы формальных утверждений, на которых она построена 🙂 Машина Тьюринга не докажет теорему о неполноте, то есть не осознает ограниченность своей системы. А работа любого компьютера сводится к работе машины Тьюринга.
Последнее редактирование: