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

Посвящается Хосе Антонио Паскуалю и Розе Наварро Дюран

Супруги спорят между собой: «Ты всегда мне перечишь», — говорит жена. «Это не так», — возражает муж. «Видишь? Ты сам же это подтверждаешь», — снова критикует его жена. «Милая, ты права, я всего лишь тебе перечу», — признает муж в попытках положить конец спору. «Вот! Ты сам в этом признался!» — кричит жена и хлопает дверью. От подобных сцен не застрахован ни один, даже самый счастливый брак. Если бы философ и математик Бертран Рассел никогда не переживал подобные моменты, он бы не женился четыре раза. И все же его семейные ссоры, должно быть, завершались совершенно не так, как у других людей: после фразы «Ты сам же это подтверждаешь» Рассел, должно быть, помолчал несколько секунд и, сказав: «Да, дорогая, это очень интересно», закрылся в своем кабинете.

Зачем? Чтобы подумать об утверждениях, которые описывают сами себя, об истинном и ложном и осознать парадокс, который ставил под сомнение то, что математика последних двух тысяч лет является завершенным воплощением «сна разума».

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