Вначале была аксиома. Гильберт. Основания математики

Возьмем класс R всех классов, которые обладают свойством не быть членами самих себя, формально: R = [х: х / х], где — символ принадлежности (/ здесь замена перечеркнутого ). И зададимся вопросом, является ли R членом самого себя, если R R. Мы выясним, что любой ответ сразу же предполагает противоположный ответ. Если это так, то это не так. Если это не так, то это так. Действительно, если R R, то есть если R принадлежит самому себе, то, по определению, R / R, то есть R не принадлежит самому себе, поскольку это класс всех классов с этим свойством. Но и наоборот, если R / R, то R R, поскольку оно выполняет свойство, определяющее класс всех классов, которые не являются членами самих себя. В итоге получается противоречие: R R только тогда, когда R / R. Класс R принадлежит самому себе только тогда, когда он не принадлежит самому себе. Рассел был в недоумении от абсурда, с которым он столкнулся. Этому противоречию он затем дал название парадокса брадобрея: цирюльник в деревушке утверждает, что бреет всех мужчин, которые не бреются сами, и никого больше. В один прекрасный день, проснувшись, он задается вопросом, кто же бреет его, и в замешательстве осознает, что бреет сам себя тогда и только тогда, если не бреет сам себя. Бедный цирюльник попадает в настоящее логическое болото.

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

Математическая логика, как ее стали называть вслед за Пеано, создавала одни только неприятности. И Пуанкаре, который считал ее бесполезной, смеялся: «Она уже не стерильна, она порождает противоречия». Несмотря ни на что логистическая программа, составленная Фреге, получила развитие благодаря бесцеремонности Бертрана Рассела и Альфреда Норта Уайтхеда (1861-1947).

В 1900 году на международном конгрессе по философии, проходившем в Париже, Рассел столкнулся с символической реформой Пеано. В 1889 году Пеано представил свои «Принципы арифметики», содержащие знаменитые пять аксиом (включая принцип индукции) для натуральных чисел, используя новую символику, которую разработал сам. В сообществе логиков и математиков одномерная символика Пеано была принята лучше, чем двумерная символика Фреге (за исключением его учеников, которые взбунтовались и не успокоились, даже когда Пеано предложил поставить всем зачет). В 1902 году, верный логицизму Фреге и символизму Пеано, Рассел опубликовал «Принципы математики». Но медовый месяц логики был коротким, потому что незадолго до публикации он открыл парадокс, который сегодня носит его имя. До 1910 года Рассел работал с Уайтхедом, и оба стремились справиться с противоречиями, которые вскрыл парадокс. В книге Principia mathematica (1911-1913) они глубже, чем кто-либо на сегодняшний день, погрузились в основания математики. Эта блестящая работа стала, говоря словами Гильберта, «коронацией аксиоматизации».

БЕСКОНЕЧНЫЙ ОТЕЛЬ ГИЛЬБЕРТА