Модель машины 1:34-39 London Bus (открытый)

Интуиция доказательства как объекта не охватывает все способы, с помощью которых можно доказать математическое утверждение в реальности. И опять мы видим неадекватность традиционного математического метода получения определенности через попытки исключить каждый возможный источник неопределенности или ошибки из нашей интуиции до тех пор, пока не останется только самоочевидная истина. Именно это и сделал Гедель. Именно это делали Черч, Пост и особенно Тьюринг, когда они пытались интуитивно постичь свои универсальные модели вычисления. Тьюринг надеялся, что его абстрактная бумажная модель настолько проста, настолько открыта и четко определена, что не зависит ни от каких допущений относительно физики, которые можно было бы исказить постижимым образом, и, следовательно, она может стать основой абстрактной теории вычисления, независимой от лежащей в ее основе физики. «Он считал,P как однажды выразился Фейнман,P что он понял бумагу». Но он ошибался. Реальная, квантово-механическая бумага очень отличается от абстрактного материала, используемого машиной Тьюринга ...»