Post #482

Проблема останова — это не бытовая задача «остановить чайник, чтобы не случился пожар» — краеугольный камень всей теории вычислимости: вопрос о том, существует ли универсальный алгоритм, который способен определить для любой — подчёркиваю, любой — программы и её произвольного входа, завершится ли её работа когда-нибудь или будет крутиться бесконечно В курсе по теории вычислений я показывал студентам минимум две альтернативные вычислительные модели, которые позволяют решить проблему останова — если, конечно, вы согласны выйти за рамки обычной машины Тьюринга: — Машина с оракулом, которая волшебным образом «знает» решение произвольного вычислительного вопроса — Машина Зенона, в которой вычисления ускоряются настолько, что за конечное время происходит бесконечно (счётно) много шагов Эти модели действительно строятся в современной математике и философии Но существует одно большое «НО»: нет ни одного доказательства (и даже убедительной идеи), что их можно реализовать в виде конечного физического вычислительного устройства Именно это и фиксирует знаменитый тезис Чёрча–Тьюринга–Дойча в своей сильной версии — он говорит не о математических фантазиях, а о реальной реализуемости вычислений в нашей Вселенной Математические модели красивы, логика убедительна Но когда инженер или просто уверенный в себе спорщик путает математическую абстракцию с физической возможностью, он перестаёт быть учёным и становится метафизиком-мистификатором Проблема останова разрешима на бумаге — если бумага инфинитна, а оракулы готовы работать — но это никакого отношения не имеет к реальности наших машин, компьютеров, да и самого искусственного интеллекта Умение различать пределы теории и практики — вот главное Доверяйте мышлению, критике, поэтапному развитию науки, а не очередному «завтрашнему супералгоритму от просветлённого» Всё проверяется опытом, а не только воображением!