Статья 369

Вот что писал по этому поводу советский математик Н.М. Нагорный в письме, опубликованном в книге Л.А. Кудрявцева Современная математика и ее преподавание.
Мне кажется, что протекший и никак не зафиксированный процесс в ЭВМ так же мало годится быть элементом доказательства, как и процессы, протекающие в синхрофазотронах, паровозах или, например, в утюгах. То, что ЭВМ является машиной, используемой математиками, не меняет сути дела. Главная же беда ситуации заключается в том, что этот процесс не только не зафиксирован, но и никак не может быть зафиксирован в принципе. В самом деле, пусть он протекает на какой-либо машине. Человек не в состоянии контролировать ее работу смена ее состояний не может фиксироваться органами его чувств. Это могла бы сделать только какая-нибудь другая машина. Но чем лучше. Значит, нужна еще и, которая будет проверять работу. Таким образом, налицо регресс в бесконечность.