Математика. Утрата определенности.

Парадокс Рассела относится к классам. Класс книг не является книгой и поэтому не содержит самого себя, но класс идей есть идея и содержит сам себя. Каталог каталогов — каталог. Следовательно, одни классы содержат (или включают) самих себя, другие не содержат. Пусть N — класс классов, не содержащих самих себя. К какой разновидности классов принадлежит N? Если N принадлежит N,

то, по определению, N не должен принадлежать N. Если же N не принадлежит N,

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

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

Один деревенский брадобрей объявил, что он бреет всех жителей деревни, которые не бреются сами, но, разумеется, не бреет тех жителей, которые бреются сами. Брадобрей похвалялся, что в парикмахерском деле ему нет равных, но однажды задумался над вопросом, должен ли он брить самого себя. Если он не бреется сам, то первая половина его утверждения (а именно та, в которой говорится, что брадобрей бреет всех, кто не бреется сам) требует, чтобы он самого себя брил. Но если брадобрей бреется сам, то вторая половина его утверждения (та, в которой говорится, что всех тех, кто бреется сам, он не бреет), требует, чтобы он самого себя не брил. Таким образом, брадобрей оказался в безвыходном положении — он не мог ни брить себя, ни не брить.

Другой парадокс, дающий представление о тех трудностях, с которыми столкнулись математики, был впервые сформулирован в 1908 г. математиками Куртом Греллингом (1886-1941) и Леонардом Нельсоном (1882-1927). Этот парадокс относится к прилагательным, описывающим самих себя и не описывающим самих себя. Такие прилагательные, как, например, «короткий» (-ая, -ое, -ие) или «русский» (-ая, -ое, -ие) описывают самих себя, т.е. применимы к себе, в то время как прилагательные «длинный» или «французский» к себе неприменимы (ведь прилагательное «длинный» вовсе не является длинным, а прилагательное «французский», конечно, русское, а не французское). Аналогично прилагательное «многосложное» является многосложным, но прилагательное «односложное» односложным не является. Назовем прилагательные, применимые к самим себе, автологическими, а прилагательные, неприменимые к самим себе, — гетерологическими. Если прилагательное «гетерологический» гетерологично, то оно применимо к самому себе и, следовательно, автологично. Если прилагательное «гетерологический» автологично, то оно не гетерологично. Но автологичное прилагательное по определению применимо к самому себе. Следовательно, прилагательное «гетерологический» гетерологично. Таким образом, какое бы допущение мы ни приняли, оно неизменно приводит к противоречию. В символической записи парадокс Греллинга — Нельсона гласит: x гетерологичен, если x

есть «не x».

В 1905 г. Жюль Ришар (1862-1956), используя тот же метод, которым Кантор доказал, что вещественных чисел больше, чем целых, изобрел еще один «парадокс». Рассуждения Ришара довольно сложны, но противоречие, к которому он приходит, в упрощенном варианте содержится в парадоксе, о котором Дж.Дж. Берри из Бодлеанской библиотеки сообщил Бертрану Расселу (Рассел опубликовал этот парадокс в 1906 г.). Парадокс Берри получил название парадокса слов. Каждое целое число допускает множество различных словесных описаний. Например, число «пять» можно задать одним словом «пять» или фразой «число, следующее за числом четыре». Рассмотрим теперь все возможные описания, состоящие не более чем из 100 букв русского алфавита. Таких описаний не больше чем 33¹⁰⁰; поэтому существует лишь конечное множество целых чисел (не большее чем 33¹⁰⁰), задаваемых всеми возможными описаниями.{103} Следовательно, существуют какие-то целые числа, не задаваемые описаниями, состоящими не более чем из 100 букв. Рассмотрим «наименьшее число, не задаваемое описанием, которое содержит не более ста букв». Но мы только что привели описание такого числа, содержащее менее 100 букв (оно содержит всего 65 букв).