Этой небольшой сложностью была одна из аксиом, на которых Фреге основывал теорию множеств, — так называемая аксиома выделения. В ней говорится, что каждому свойству назначается множество (множество объектов, которые обладают этим свойством). Например, свойству «быть четным числом» соответствует множество, образованное всеми четными числами; свойству «быть планетой Солнечной системы» соответствует множество всех планет Солнечной системы, и так далее. На первый взгляд эта аксиома кажется абсолютно невинным утверждением, неспособным породить какую-либо проблему. Однако Рассел задал свойство «быть множеством, которое не является членом самого себя».
Поразмышляем об этой идее.
Множества образованы членами (также существует пустое множество, не имеющее членов, но мы можем оставить его за рамками нашего анализа). Например, множество планет Солнечной системы состоит из (насколько мы знаем) восьми членов: Меркурия, Венеры, Земли, Марса, Юпитера, Сатурна, Урана и Нептуна. Объект «множество планет Солнечной системы» — это абстрактная сущность, существующая только как идея и собирающая под одним названием восемь планет. Каждый из членов этого множества — наоборот, конкретная планета, а не абстракция. Множество планет Солнечной системы не входит в список самих членов: оно не является членом самого себя. Рассел выражал эту идею следующим образом: «Множество, образованное лошадьми, — не лошадь» (мы можем сесть на лошадь, но не на абстрактную сущность). Но некоторые множества действительно являются членами самих себя. Например, подумаем о множестве всех абстрактных сущностей. Оно само является абстрактной сущностью и, следовательно, членом самого себя.
Теперь вернемся к аксиоме выделения. Возьмем множество, связанное со свойством «быть множеством, не являющимся членом самого себя». Пусть множество R образовано всеми множествами, не являющимися членами самого себя. Сформулируем следующий вопрос: является ли R элементом самого себя? Если R является членом самого себя, то выполняется свойство, определяющее R. По нему R не является членом самого себя. Это противоречие. Но если R не является членом самого себя, то не выполняется свойство, определяющее R. Следовательно, если не выполняется свойство, R все-таки является членом самого себя. Получается другое противоречие.
То есть R не может быть членом самого себя, но также не может и не быть им. Это логический парадокс. Множество R (существование которого обусловлено аксиомой выделения) не может существовать, потому что это порождает логическое противоречие. Итак, аксиома выделения, которая казалась такой невинной, на самом деле противоречит самой себе. Это открытие сегодня известно как парадокс Рассела.
Открытие противоречивости теории множеств развязало кризис оснований математики. Если такая невинная с виду аксиома выделения порождает противоречие, чего ждать от теории Кантора с актуальной бесконечностью и «бесконечностями, которые больше, чем другие бесконечности»? Положение осложнялось тем, что теория Кантора уже проникла в основные области математики, такие как анализ и топология.
В 1904 году британский философ и математик Бертран Рассел (1872-1970) представил популярную версию своего парадокса. Он предложил представить себе, что в некой деревне есть только один брадобрей, бреющий всех мужчин, которые не бреются сами. Но бреет ли он сам себя? Ответ в том, что брадобрей не может бриться сам, но также не может и не делать этого.
Из-за открытия Рассела математики задались вопросом о справедливости всех математических открытий по меньшей мере за 30 предыдущих лет. Они начали сомневаться в справедливости любого рассуждения, включающего в себя бесконечность, и даже задавали вопросы о смысле и значении математики. Каков конкретно объект изучения математики? Какие критерии подтверждают справедливость ее рассуждений?
Сам Фреге почувствовал, что открытие Рассела разрушает всю его работу. Во второй том своих «Основных законов...» он добавил следующие слова:
«Ученому сложно встретиться с чем-то более нежелательным, чем увидеть, как подрывается фундамент, когда работа уже заканчивается. Таково положение, в которое меня поставило письмо господина Бертрана Рассела, когда работа была уже почти напечатана».
Сразу после этого Фреге оставил борьбу и сдался. Он прожил до 1925 года, но никогда больше не вернулся к теме оснований.
Какую реакцию вызвало открытие парадокса Рассела? С самого начала было предложено два решения. Первая попытка принадлежит самому Расселу и выражена в монументальной работе «Основания математики», которую он написал вместе со своим учителем Альфредом Уайтхедом.
Предложение Рассела, которое получило название «логицизм», состояло в том, чтобы вернуться к работе Фреге, но перечислить ошибки, приведшие к кризису. Рассел говорил, что любой парадокс возникает от наличия самореференции. Например, знаменитый парадокс лжеца, который возникает, когда встает вопрос, является фраза «это предложение ложно» истинной или ложной. Он рождается из-за анализа фразы, в которой говорится о ней же. Сам парадокс Рассела возникает из вопроса о том, выполняет ли некое множество свойство, определяющее само множество.
Во избежание этих ситуаций логицизм предлагает радикальное изменение логического языка с помощью теории типов. Общая идея заключается в том, чтобы назначить языку математики строгую иерархию, в которой каждое утверждение может относиться только к сущностям или утверждениям, расположенным на более низких уровнях. Таким образом, сама структура языка избегает самореференций и, следовательно, парадоксов.
На нулевом уровне иерархии находятся индивиды; на уровне 1 — утверждения, в которых говорится об индивидах; на уровне 2 — утверждения, в которых говорится об утверждениях типа 1, и так далее. Например:
1, 2,3, 4,... (индивиды, тип 0);
«2 + 2 = 4» (утверждение типа 1, в котором говорится об индивидах);
«Верно, что 2 + 2 = 4» (утверждение типа 2, в котором говорится о предыдущем).
Однако по техническим причинам Рассел был вынужден усложнить свою стратификацию и ввести произвольные и неинтуитивные правила. Вследствие этого система потеряла убедительность, и Рассел в итоге оставил ее. Хотя некоторые элементы, введенные логицизмом, дошли до наших дней, к 1920 году влияние этой школы практически исчезло.
Второе решение стало известно как интуиционизм, или конструктивизм, и его лидером был нидерландский математик Лёйтзен Эгберт Ян Брауэр (1881-1966).
Решение задач, которые до этого времени окружали математическую бесконечность, — возможно, самое большое из достижений, которыми может гордиться наша эпоха.
Бертран Рассел, 1910 год
Интуиционисты утверждали, что появление парадоксов напрямую обязано введению понятия актуальной бесконечности и это понятие, как утверждали еще Аристотель и Галилей, противоречиво само по себе. Вся теория Кантора не имеет смысла и должна быть оставлена, а математика — в том, что касается бесконечности, — должна вернуться к положению, существовавшему до 1870 года.
Основой математики должны быть натуральные числа и операции с ними — сложение и умножение. Эти числа не нуждаются в определении, поскольку понятие о них априори заложено в нашем сознании. Числа должны пониматься не как законченная бесконечная совокупность, а как результат непрерывного процесса (упомянутый ранее пример с народом), который начинался с числа 1 и продолжался неопределенное время за счет применения понятия последующего элемента (1 — первый элемент, 2 — элемент, следующий за 1, 3 — элемент, следующий за 2, и так далее).
Для утверждения о том, что существует математический объект, отличный от натуральных чисел, необходимо, чтобы его можно было построить за конечное число шагов на основе натуральных чисел с помощью строго определенной процедуры. Объекта, который невозможно построить таким образом, просто не существует. В некотором смысле интуиционисты возвращались к идее, содержащейся в сентенции Леопольда Кронекера: «Бог создал целые числа, все остальное — дело рук человека».
Лёйтзен Эгберт Ян Брауэр родился в Роттердаме, Голландия, 27 февраля 1881 года, за два года до публикации статьи Кантора, в которой впервые была введена в математику актуальная бесконечность. В1904 году, сразу после окончания университета, Брауэр доказал несколько оригинальных результатов о непрерывном движении в четырех измерениях, которые были опубликованы Амстердамской королевской академией наук. В его докторской диссертации, опубликованной в 1907 году, речь шла о проблеме оснований математики. В этой работе он ввел первые понятия об интуиционизме. Также ученый внес значительный вклад в топологию, где доказал знаменитую теорему о неподвижной точке, носящую его имя. Что любопытно, доказательство этой теоремы не выполняет интуиционистских стандартов. В1935 году Брауэр занялся политикой и практически отдалился от математических исследований, хотя в том же году основал журнал Compositio Mathematica и продолжал деятельность в качестве его издателя. Брауэр скончался 2 декабря 1966 года в Бларикюме (Голландия) в результате автокатастрофы.
С другой стороны, согласно интуиционистам, для того чтобы определение свойства было справедливым, должна существовать механическая процедура (которую можно реализовать на компьютере, поскольку алгоритм — это не что иное, как последовательность действий), и с ее помощью можно проверить, выполняется ли свойство. Например, свойство «быть простым числом» для интуиционистов справедливо, поскольку его всегда можно проверить за конечное количество шагов. Чтобы узнать, является ли число 17677 простым, достаточно разделить его на все числа, меньшие его. Если во всех случаях деления есть остаток, то число простое. Процедура, которую мы описали, не самая лучшая (есть более быстрые методы), но она всегда дает правильный ответ за конечное количество шагов.