Чтобы сделать более очевидной разницу между примером с прямой линией и примером с фосфором, сделаем еще одно замечание. Прямая линия имеет в природе несколько более или менее несовершенных образов, между которыми главные суть световой луч и ось вращения твердого тела. Я допускаю, что каким-нибудь образом было бы установлено, что световой луч не удовлетворяет постулату Евклида (т. е. было бы, например, доказано, что звезда имеет отрицательный параллакс), что сделаем мы дальше? Заключим ли мы отсюда, что прямая, будучи по определению траекторией света, не удовлетворяет постулату или, наоборот, что раз прямая по определению удовлетворяет постулату, то световой луч не представляет собой прямой линии?
Конечно, мы свободны в выборе того или другого определения и, следовательно, того или иного заключения. Но принять первое заключение было бы нелепо, потому что световой луч удовлетворяет лишь несовершенным образом, вероятно, не только постулату Евклида, но и другим свойствам прямой линии; если он отклоняется от евклидовой прямой, то он также отклоняется и от оси вращения твердых тел, которая является другим несовершенным образом прямой линии; и, наконец, он, без сомнения, подвержен изменениям: будучи прямым вчера, он перестает быть, таковым завтра, если какое-нибудь физическое условие изменилось.
Предположим, что было бы найдено, что фосфор плавится не при 44°, а при 43,9°. Заключим ли мы отсюда, что это новое тело, которое мы назвали фосфором, не есть настоящий фосфор, ибо последний, согласно определению, есть тело, которое плавится при 44° или, напротив, мы заключим, что фосфор плавится при 43,9°?
В этом случае мы также свободны в выборе того или другого определения, а следовательно, того или другого заключения. Но было бы нелепо принять первое заключение, так как нельзя же менять наименование тела каждый раз, когда удается определить лишний десятичный знак в его температуре плавления.
В итоге Рассел и Гильберт сделали большие усилия. Тот и другой написали книги, изобилующие оригинальными, глубокими и часто очень правильными взглядами. Эти две книги дают нам большой материал для размышления; из них мы можем многому научиться. Некоторые и даже многие из выводов, к которым приходят авторы, прочны и будут жить.
Но, очевидно, было бы неправильно сказать, что они окончательно разрешили спор между Кантом и Лейбницем[76] и разрушили кантову теорию математики. Я не знаю, стоят ли они сами на этой точке зрения, но если они это думают, то они ошибаются.
Глава V
Последние усилия логистиков
Логистики пытались ответить на все приведенные выше соображения. Для такого ответа им надобно было преобразовать логистику[77], и Рассел в особенности видоизменил в некоторых отношениях первоначальные ее точки зрения. Не входя в детали дела, я хочу остановиться только на двух вопросах, на мой взгляд, наиболее важных.
Дали ли правила логистики действительно доказательства своей плодотворности и непогрешимости? Верно ли, что они имеют возможность доказать принцип полной индукции, совершенно не обращаясь к интуиции?
Непогрешимость логистики
Что касается плодотворности, то Кутюра, по-видимому, строит наивные иллюзии. Логистика, по его мнению, дает изобретательности в ее распоряжение «леса и крылья». А на следующей странице он говорит: «десять лет тому назад Пеано опубликовал первое издание своего «Formulaire»[78].
Как, уже десять лет, как вы имеете крылья, и вы еще не полетели!
Я питаю величайшее уважение к Пеано, который сделал превосходные работы (например, его кривая, которая заполняет целую площадь), но в конце концов он не ушел ни дальше, ни выше, ни быстрее, чем большая часть бескрылых математиков, и этот путь он мог бы ведь проделать так же хорошо на своих ногах.
Я, напротив, вижу в логистике только помеху для изобретателя; с ее помощью мы отнюдь не выигрываем в сжатости; если нужны 27 уравнений, для того чтобы установить, что 1 есть число, то сколько нужно будет уравнений, чтобы доказать настоящую теорему? Если мы различаем вместе с Уайтхедом индивид x, класс, единственный член коего есть x и который называется ιx, затем — класс, единственный член которого есть класс с единственным членом x и который называется ιιx, то можно ли думать, что эти различия, как бы ни были они полезны, облегчат нам движение вперед?
78
По-видимому, речь идет о первых томах «Математического формуляра» Дж. Пеано, пять томов которого издавались с 1895 по 1903 годы, —