Предисловие
Предисловие
Супруги спорят между собой: «Ты всегда мне перечишь», — говорит жена. «Это не так», — возражает муж. «Видишь? Ты сам же это подтверждаешь», — снова критикует его жена. «Милая, ты права, я всего лишь тебе перечу», — признает муж в попытках положить конец спору. «Вот! Ты сам в этом признался!» — кричит жена и хлопает дверью. От подобных сцен не застрахован ни один, даже самый счастливый брак. Если бы философ и математик Бертран Рассел никогда не переживал подобные моменты, он бы не женился четыре раза. И все же его семейные ссоры, должно быть, завершались совершенно не так, как у других людей: после фразы «Ты сам же это подтверждаешь» Рассел, должно быть, помолчал несколько секунд и, сказав: «Да, дорогая, это очень интересно», закрылся в своем кабинете.
Зачем? Чтобы подумать об утверждениях, которые описывают сами себя, об истинном и ложном и осознать парадокс, который ставил под сомнение то, что математика последних двух тысяч лет является завершенным воплощением «сна разума».
Парадокс Рассела — один из главных действующих лиц этой книги, однако сначала мы расскажем о том, как открытие неевклидовой геометрии радикально изменило аксиоматический метод, и о том, что противоречие, положившее конец «счастливым и спокойным будням» Рассела, берет начало в традиции, восходящей, по меньшей мере, к Эпимениду Критскому. Парадокс Рассела был бы обычной математической диковинкой, если бы он не породил множество новых вопросов. Сначала мы поговорим о решении этого парадокса, которое предложил Давид Гильберт — один из умнейших людей своего времени. В течение 30 лет он сохранял уверенность, что в один прекрасный день математика навсегда освободится от парадоксов. Это же хотел доказать и юный Курт Гедель, однако он обнаружил, что в арифметике существуют истинные высказывания, которые невозможно доказать.
С того момента как Гёдель объявил о своем открытии на конференции в Кёнигсберге в сентябре 1930 года, его теоремы о неполноте продолжают удивлять специалистов в точных и гуманитарных науках. Некоторые сочли теоремы Гёделя знаком поражения разума, хотя преимущество в этой битве изначально было на его стороне, другие видели в них неоспоримое доказательство превосходства человека над машинами. Однако лишь те, кто в полной мере понял суть статей Гёделя, смогли вывести логику на новый уровень. Гениальный Алан Тьюринг — человек, взломавший дьявольские шифры нацистов, смог создать первые компьютеры, дав теоремам о неполноте новое толкование. Обо всем этом и о многом другом пойдет речь в этой книге.
Мы решили не ограничиваться нулями и единицами машин Тьюринга, а попытались сделать еще один шаг вперед и описать множество оттенков одного из последних «снов разума» — нечеткой логики.
Я хочу поблагодарить редакцию издательской компании RBA за предложение написать такую книгу. Именно слова «изложить популярным языком», упомянутые в одном из писем редактора, побудили меня начать каждую главу с небольшой художественной зарисовки. Без историй моей подруги Лауры Касильес, этой Шахерезады XXI века, я никогда не смог бы связать нечеткую логику и десерт в японском ресторане. Эпиграф к пятой главе родился благодаря Патрисии Фернандес де Лис, очарованной личностью Алана Тьюринга. Подробные комментарии Хесуса Фресана, Давида Гарсеса, Мигеля Эрнаиса, Виктории Лей Вега де Сеоане, Хавьера Мартинеса и Лус Рельо помогли мне существенно улучшить книгу.
Также я благодарен Марии Агирре Рокеро, Луису Аскарате, Ноэлю Гарридо, Хено Галарса, Марии Анхелес Леаль, Карлосу Мадриду, Хосе Марии Матеос, Гильермо Рей, Роберто Рубио, Марии Хосе Солер, Лукасу Санчесу и Микелю Тамайо за ценный вклад, который они внесли в создание этой книги.
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОКЧитайте также
Предисловие
Предисловие С точки зрения арифметики большинство чисел отличается, так сказать, «хорошим поведением». Четные числа всегда чередуются с нечетными, каждое третье число всегда кратно трем, квадраты чисел подчиняются определенному закону. Поэтому мы можем составить
Предисловие
Предисловие 816 Написав эту работу, я, если можно так выразиться, выполнил обещание, о котором на протяжении многих лет боялся вспоминать. Сложность проблемы и ее представления казалась мне слишком большой; слишком велика была интеллектуальная ответственность, без
Предисловие
Предисловие Мне нравится размышлять о тех людях, которым первым пришла в голову мысль считать вещи. Наверное, они сразу заметили, что счет на пальцах отлично работает. Может быть, какой-нибудь древний человек по имени Ог (родившийся еще до потопа) или один из его приятелей
Предисловие
Предисловие Рэймонд Смаллиан воплощает в одном лице единственное в своем роде собрание различных профессий: философ, логик, математик, музыкант, фокусник, юморист, писатель и составитель великолепных задач-головоломок. Искусный писатель и великолепный юморист, Смаллиан
Предисловие
Предисловие Рэймонд Смаллиан владеет поистине уникальной комбинацией талантов и профессиональных умений, являясь философом, логиком, математиком, музыкантом, фокусником, юмористом, писателем и создателем замечательных головоломок в одном лице. Щедро наделенный даром
Предисловие
Предисловие В поисках средств для оживления в широких кругах интереса к математике мне пришла мысль собрать ряд произведений, трактующих математические темы в беллетристической или полубеллетристической форме, и предложить их читателю с соответствующими
ПРЕДИСЛОВИЕ
ПРЕДИСЛОВИЕ Если вы встретите человека, утверждающего, будто он знает сказки Льюиса Кэрролла «Алиса в Стране Чудес» и «Сквозь зеркало и что там увидела Алиса» (часто называемую для краткости просто «Зазеркалье»), не верьте ему, хотя, вне всякого сомнения, он читал обе
Предисловие
Предисловие Хочу начать с признания: я не специалист в вопросах любви. Я никогда не изучала психологию, я лишь в общих чертах знакома с основами биохимии человека, и моя собственная личная жизнь – как и у большинства из нас – представляет собой пеструю смесь
Предисловие
Предисловие Анализ бесконечно малых, вне всяких сомнений, наиболее мощное и эффективное средство изучения природы, когда-либо созданное математиками. Эта дисциплина зародилась в древности и развивалась очень долго. С III века до н. э., когда Архимед впервые использовал