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

«А propositional function of one variable does not always deter mine a class». Пропозициональная функция (т. e. определение) одной переменной не всегда определяет класс. «Пропозициональная функция», или «норма», может быть «непредикативной». И это не значит, что такие непредикативные предложения определяют пустой класс, нулевой класс; это не значит, что нет такой величины х, которая удовлетворяла бы определению и могла бы быть одним из элементов класса. Элементы существуют, но они не могут соединяться для образования класса.

Но это только начало, нужно еще быть в состоянии узнать, является ли определение предикативным или нет. Разрешая эту проблему, Рассел колеблется между тремя теориями, которые он называет:

A. теория зигзага (the zigzag theory);

B. теория ограничения размера (the theory of limitation of size);

C. теория неклассов (the no classes theory).

Согласно теории зигзагов «определения (пропозициональные функции) определяют класс, когда они очень просты, и перестают определять таковой, когда они становятся сложными и неясными». Кто же решит вопрос: можно ли рассматривать данное определение как достаточно простое, для того чтобы оно было приемлемо? На этот вопрос нет ответа, если не считать таковым форменное признание в полном бессилии: «правила, которые позволили бы распознавать, являются ли эти определения предикативными, были бы чрезвычайно сложны и рекомендовать их не было бы целесообразным ни с какой точки зрения. Это недостаток, который можно было бы исправить только при большой изобретательности или при помощи таких отличий, которые еще не намечены. Но до настоящего момента я в поисках этих правил не мог найти другого руководящего принципа, кроме отсутствия противоречия».

Эта теория остается, таким образом, довольно темной. В этой ночи – единственный проблеск, и этот проблеск есть слово «зигзаг». То, что Рассел называет «zigzagginess», является, без сомнения, тем особенным свойством, которым отличается аргумент Эпименида.

Согласно теории of limitation of size класс теряет право на существование, если он слишком обширен. Он может даже быть бесконечным, но не должен быть «чрезмерно» бесконечным.

Мы и здесь встречаемся все с тем же затруднением: в какой же именно момент класс начинает становиться слишком бесконечным? Само собой разумеется, это затруднение не разрешено, и Рассел переходит к третьей теории.

В no classes theory запрещено произносить слово «класс». Оно должно замещаться разнообразными перифразами. Какой это крупный переворот для логистиков, которые только и говорят о классах и о классах классов! Необходимо переделать всю логистику. Представляют ли себе эти авторы, какой вид примет страница логистики, если в ней будут уничтожены все предложения, в которых идет речь о классах? Кроме нескольких строк, переживших такую операцию, на белой странице ничего не останется.

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

Рассел в конце концов склоняется к теории неклассов.

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

VII. Правильное решение

Какой же выбор должны мы сделать между этими различными теориями? Мне кажется, что решение заключается в письме Ришара, о котором я уже говорил и которое помещено в «Revue Générale des Sciences» от 30 июня 1905 г. Изложив антиномию, которую я назвал антиномией Ришара, последний дает ей и объяснение.

Вернемся к тому, что мы сказали об этой антиномии в разделе V. Пусть Е будет совокупностью всех чисел, которые можно определить при помощи конечного числа слов, не вводя при этом понятия о самой совокупности Е. В противном случае определение Е заключало бы ложный круг: нельзя определять Е при помощи самой же совокупности Е.

Далее мы определили число N, правда, при помощи конечного числа слов, но мы опирались на понятие о совокупности Е. Вот почему N и не составляет части Е.

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

Итак, те определения, которые должны быть рассматриваемы как непредикативные, заключают ложный круг. Предшествовавшие примеры достаточно показали, что я под этим разумею. Не это ли Рассел обозначает названием «zigzagginess»?

Я ставлю вопрос, не разрешая его.