Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса (Ливио) - страница 127

Рис. 49

Теорию множеств создал практически в одиночку немецкий математик Георг Кантор. Вскоре стало понятно, что множества играют в математике настолько фундаментальную роль и настолько тесно переплетены с логикой, что любые попытки выстроить математику на основе логики с необходимостью предполагали, что ее будут строить на аксиоматической основе теории множеств.

Рис. 50

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

Большинство классов объектов, с которыми вы, скорее всего, сталкиваетесь, не члены самих себя. Например, класс всех снежинок сам по себе не снежинка, класс всех антикварных карманных часов – не антикварные карманные часы и так далее. Однако бывают и такие классы, которые приходятся членами сами себе. Например, класс «все, что не антикварные карманные часы» – член самого себя, поскольку этот класс совершенно точно не антикварные карманные часы. Подобным же образом класс всех классов – член самого себя, поскольку он, очевидно, класс. А как насчет класса «всех тех классов, которые не члены самих себя»[127]?

Назовем этот класс R. Так принадлежит R к самому себе (к классу R) или нет? Очевидно, что R не может принадлежать R, поскольку в таком случае он нарушал бы определение членства в R. Но если R не принадлежит сам к себе, то, по определению, он должен быть членом R. Поэтому, как и в случае с деревенским цирюльником, мы обнаруживаем, что класс R одновременно и принадлежит, и не принадлежит R, а это логическое противоречие. Именно об этом парадоксе Рассел и написал Фреге. Поскольку эта антиномия подрывала сам процесс, по которому могли определяться классы или множества, программе Фреге был нанесен смертельный удар. Хотя Фреге и сделал несколько отчаянных попыток исправить свою систему аксиом, к успехам это не привело. Напрашивался катастрофический вывод: оказывается, формальная логика вовсе не надежнее математики, а напротив, гораздо больше подвержена фатальным противоречиям.

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