XX век как жизнь. Воспоминания - стр. 42
В качестве примера докладчик дает три таких вопроса:
1. Нельзя однозначно решить систему n уравнений с n+1 неизвестными.
2. Нельзя построить алгоритм для решения любого класса математических задач.
3. Нельзя указать верхнюю границу логических процессов, переложимых на счетно-решающие устройства.
Количество таких вопросов может быть увеличено.
То, что эти вопросы неразрешимы, не подлежит сомнению. Но суть дела в том, что здесь, собственно, нет вопросов. Здесь есть, напротив, определенные и четкие ответы, свидетельствующие не о слабости, а о силе познания.
Если мы утверждаем, что нельзя дать алгоритм для решения любого класса математических задач, то мы не ставим вопрос. Вопрос уже решен. Он решен долгой и кропотливой работой математиков, начиная с Эвклида, который в «Началах» дал алгоритм (правда, в геометрической форме) для нахождения наибольшего общего делителя, и кончая, допустим, Марковым.
Проф. Кольману лучше, чем любому из присутствующих здесь, известно, что в истории математики каждое такое установление «факта невозможности», начиная с установления факта несоизмеримости отрезков, было крупной победой математической мысли. Это же относится и к другим областям науки.
Это не неразрешимые, а именно разрешенные вопросы…
И, наконец, последний вопрос – о диалектическом материализме и конечности мира в пространстве.
Товарищи, выступавшие по этому вопросу, начинали с естественно-научной стороны и доказывали бесконечность мира. Мне кажется, что такой подход в данном случае не совсем правилен. Проф. Кольман вовсе не доказывает ни того, что мир конечен, ни того, что он бесконечен. Его мысль иная. Он так ее формулирует: «…с чисто логической стороны допущение о пространственной конечности мира столь же совместимо с материализмом, как и допущение о пространственной бесконечности мира».
Таким образом, проблема ставится в чисто логической плоскости. Доказывается, что с чисто логической стороны суждение «мир материален» совместимо как с суждением «мир конечен», так и с суждением «мир бесконечен».
Так ставит вопрос проф. Кольман, и именно с такой, чисто логической постановкой вопроса я не могу согласиться, не могу признать ее правильной.
Логика имеет свои пределы. Ни одно из этих суждений не может быть доказано чисто логическими приемами. Так же, как логически нельзя доказать существование Бога, так нельзя логически доказать ни существования материи, ни ее конечности или бесконечности. В рамках формальной логики это, если угодно, «принципиально недоказуемые суждения». <…>
Указанные выше суждения недоказуемы логическими приемами. Они слишком общи для логики, и поэтому доказательства лежат за пределами логики, лежат в естествознании.