Теорема века. Мир с точки зрения математики

Остановившись уже на этом примере, скажу еще несколько слов. Относительно истины, касающейся фосфора, я выше сказал: «это предложение есть настоящий физический закон, доступный проверке, так как оно обозначает: все тела, которые обладают всеми прочими свойствами фосфора, помимо точки его плавления, плавятся, как и фосфор, при 44°». На это мне ответили: «нет, этот закон не может быть проверен, потому что, если бы после проверки оказалось, что два тела, похожие на фосфор, плавятся одно при 44°, а другое при 50°, то всегда можно было бы сказать, что, кроме точки плавления, наверное, имеется еще и другое неизвестное свойство, благодаря которому эти тела друг от друга отличаются».

Это было не совсем то, что я хотел сказать. Я должен был бы написать: все тела, которые обладают такими-то и такими-то свойствами в конечном числе (а именно теми свойствами фосфора, которые перечислены в руководствах по химии, за исключением точки плавления), плавятся при 44°.

Чтобы сделать более очевидной разницу между примером с прямой линией и примером с фосфором, сделаем еще одно замечание. Прямая линия имеет в природе несколько более или менее несовершенных образов, между которыми главные суть световой луч и ось вращения твердого тела. Я допускаю, что каким-нибудь образом было бы установлено, что световой луч не удовлетворяет постулату Евклида (т. е. было бы, например, доказано, что звезда имеет отрицательный параллакс), что сделаем мы дальше? Заключим ли мы отсюда, что прямая, будучи по определению траекторией света, не удовлетворяет постулату или, наоборот, что раз прямая по определению удовлетворяет постулату, то световой луч не представляет собой прямой линии?

Конечно, мы свободны в выборе того или другого определения и, следовательно, того или иного заключения. Но принять первое заключение было бы нелепо, потому что световой луч удовлетворяет лишь несовершенным образом, вероятно, не только постулату Евклида, но и другим свойствам прямой линии; если он отклоняется от евклидовой прямой, то он также отклоняется и от оси вращения твердых тел, которая является другим несовершенным образом прямой линии; и, наконец, он, без сомнения, подвержен изменениям: будучи прямым вчера, он перестает быть таковым завтра, если какое-нибудь физическое условие изменилось.

Предположим, что было бы найдено, что фосфор плавится не при 44°, а при 43,9°. Заключим ли мы отсюда, что это новое тело, которое мы назвали фосфором, не есть настоящий фосфор, ибо последний, согласно определению, есть тело, которое плавится при 44°, или, напротив, мы заключим, что фосфор плавится при 43,9°?

В этом случае мы также свободны в выборе того или другого определения, а следовательно, того или другого заключения. Но было бы нелепо принять первое заключение, так как нельзя же менять наименование тела каждый раз, когда удается определить лишний десятичный знак в его температуре плавления.

XIII

В итоге Рассел и Гильберт сделали большие усилия. Тот и другой написали книги, изобилующие оригинальными, глубокими и часто очень правильными взглядами. Эти две книги дают нам большой материал для размышления; из них мы можем многому научиться. Некоторые и даже многие из выводов, к которым приходят авторы, прочны и будут жить.

Но, очевидно, было бы неправильно сказать, что они окончательно разрешили спор между Кантом и Лейбницем и разрушили кантову теорию математики. Я не знаю, стоят ли они сами на этой точке зрения, но если они это думают, то они ошибаются.

Глава V. Последние усилия логистиков

I

Логистики пытались ответить на все приведенные выше соображения. Для такого ответа им надобно было преобразовать логистику, и Рассел в особенности видоизменил в некоторых отношениях первоначальные ее точки зрения. Не входя в детали дела, я хочу остановиться только на двух вопросах, на мой взгляд, наиболее важных.

Дали ли правила логистики действительно доказательства своей плодотворности и непогрешимости? Верно ли, что они имеют возможность доказать принцип полной индукции, совершенно не обращаясь к интуиции?

II. Непогрешимость логистики

Что касается плодотворности, то Кутюра, по-видимому, строит наивные иллюзии. Логистика, по его мнению, дает изобретательности в ее распоряжение «леса и крылья». А на следующей странице он говорит: «десять лет тому назад Пеано опубликовал первое издание своего „Formulaire“».

Как, уже десять лет, как вы имеете крылья, и вы еще не полетели!

Я питаю величайшее уважение к Пеано, который сделал превосходные работы (например, его кривая, которая заполняет целую площадь), но в конце концов он не ушел ни дальше, ни выше, ни быстрее, чем большая часть бескрылых математиков, и этот путь он мог бы ведь проделать так же хорошо на своих ногах.