Том 22. Сон разума. Математическая логика и ее парадоксы

Столкнувшись с этим парадоксом, Рассел написал письмо Фреге, который в то время вносил правки в доказательства второго тома своего главного труда — «Основные законы арифметики». В него Фреге включил аксиому, благодаря которой стало возможным сформировать множество всех объектов, обладающих свойством Р, однако Рассел открыл, что если эту аксиому применить к самому свойству Р = «принадлежать самому себе», то это приведет к противоречию: множество R всех множеств, которые не принадлежат сами себе, нарушает закон исключенного третьего. Обескураженный этим открытием, Фреге, с присущей ему скрупулезностью, добавил к книге предисловие, в котором признался: «С автором не может произойти ничего более печального, чем, закончив свой труд, увидеть, как рушится одна из основ выстроенного им здания». Затем он предложил видоизменить эту аксиому, однако ее новый вариант не согласовывался с остальной системой аксиом, поэтому решения парадокса Рассела пришлось ждать несколько лет.

В период с 1906 по 1908 год Рассел нашел простое решение парадокса, на основе которого сформулировал теорию типов. До этого он занимался решением онтологической задачи, предметом которой были описания вида «наибольшее натуральное число» или «нынешний король Франции», которые, будучи грамматически корректными, не описывают никакой конкретный объект. В случае с «множеством всех множеств, которые не содержат себя в качестве своего элемента» дело обстоит еще хуже: это множество не просто не существует, но даже его описание не является корректным. Оно равносильно высказыванию «Франция в период правления нынешнего короля» или «наибольшее натуральное число».

* * *

РАССЕЛ О ФРЕГЕ

В письме к историку математической логики Жану ван Хейенорту от 23 ноября 1962 года Рассел так отзывался о Фреге:

«Когда я думаю о благородстве и честности, то понимаю, что не знаком ни с кем, кто мог бы сравниться с Фреге в стремлении к поиску истины. Фреге заканчивал труд всей своей жизни, большая часть его трудов была проигнорирована, а предпочтение было отдано людям бесконечно менее компетентным, чем он. Второй том уже был готов к публикации, и когда Фреге понял, что его фундаментальная гипотеза была ошибочной, он отреагировал на это с интеллектуальным удовольствием, подавив всякое разочарование. Это было чем-то почти сверхчеловеческим и являло собой признак того, на что способны люди, которые посвятили себя творчеству и знанию, а не отчаянной погоне за властью и славой».

* * *

В простейшем варианте теории Рассела каждому математическому объекту можно присвоить число в зависимости от его сложности: элементы имеют тип 0, множества элементов — тип 1, множества множеств элементов — тип 2 и т. д. Например, если рассмотреть натуральные числа, то число 8 будет иметь тип 0, множество Р всех четных чисел и множество I всех нечетных чисел — тип 1, а множество {Р, I} будет иметь уже тип 2, так как его элементы будут иметь тип 1. После того как всем объектам присвоены типы, устанавливается нерушимое правило: для объекта типа n можно задать отношение принадлежности только к объекту типа n + 1. Выражение «число 8 четное» является корректным, так как 8 имеет тип О, Р — тип 1. Тем не менее нет смысла задаваться вопросом, является ли само множество Р четных чисел четным числом или нет, так как в этом случае речь идет об отношении принадлежности, связывающем объекты одного типа. Именно о таком отношении шла речь в описании множества всех множеств, которые не принадлежат самим себе. На языке логики говорить «принадлежать самому себе» с концептуальной точки зрения некорректно, и здесь парадокс исчезает: для данного свойства Р можно рассмотреть множество объектов, которые обладают этим свойством, однако для этого Р как минимум должно быть корректно определено.

Эрнст Цермело, создатель первой аксиоматики теории множеств.