Как же называется эта книга?

В конце ноября я пошел в книжный покупать ребенку сборник логических заданий. Изучая детские варианты, подумал что-нибудь прихватить и для себя, но потом вспомнил, что дома должна быть одна книжка… Ну, дальше вы знаете.Скажу честно: на финальном разделе про Гёделя я сломался. Не сомневаюсь, для математиков и логиков это увлекательное чтение, демонстрирующее блестящую работу мысли. Простой смертный типа меня читал это все с ощущением, что буквы входят через глаза и выходят через затылок.Однако я вовсе не собираюсь ругать книжку, а очень сильно хочу ее похвалить. Это страшно увлекательный сборник логических задач с участием всегда правдивых рыцарей и всегда говорящих неправду лжецов, Льва с Единорогом (которые лгут и говорят правду посменно), Труляля и Траляля (которые как Лев с Единорогом, но неизвестно, кто есть кто), таинственных шкатулок от мастеров Беллини и Челлини с сыновьями (мои любимые задачки), умалишенных упырей и прочего веселого сброда.Конечно, «чтение» этой книги – процесс достаточно своеобразный: большую часть времени вы просто сидите и смотрите в стену. Впрочем, забавные байки немного скрасят момент, когда ваш мозг начнет сочиться кровью, а успешно решив задачу (один раз я честно тупил 20 минут, потом с горя лег спать, а утром справился секунд за десять), вы будете бегать по квартире и раздражать домашних, предлагая им сравняться с вами в крутости.Так что постарайтесь добраться до этой книжки раньше, чем ваши родственники.

Меня ещё в детстве потрясли книги Смаллиана наряду с книгами Кэрролла. Задачки про Алису и героев страны чудес, задачки про рыцарей и лгунов и шкатулки Порции – это искромётный юмор, это увлекательное путешествие в логику. Эта книга предствавляет не только воспитательну. и образовательную, но и художественную ценность. В средневековье научные трактаты писались в стихах. Может не напрасно и нам стоит вернуться к живой подаче научного материала? А ещё в книге собраны байки про физиков и математиков…"… Физик и математик на самолёте летели через всю Америку и им дали поручение записывать всё что они увидят в пути. Пролетая над Канзасом физик и математик увидели в иллюминатор чёрную овцу.Физик в своём дневнике записал:"В Канзасе водится чёрная овца"…Математик у себя в дневнике написал следующее:"Где-то на Среднем Западе водится овца, чёрная сверху"…Ещё в книге есть байки про вермонтцев, которые точно отвечают на поставленные вопросы…, но не договаривают…)))"Один фермер обращается к своему соседу:– Лем, чем ты кормил свою корову в прошлом году, когда у неё были колики???– Отрубями с чёрной патокой…Через неделю:– Лем, я накормил свою корову отрубями с чёрной патокой и она издохла!– Моя тоже, – констатировал Лем".Поднимает настроение надолго.

Книга довольно странная. Попробую рассказать, в чём странность.Всего имеем четыре части. Первые три – введение в математическую логику для чайников. Введение это представляет собой штук двести примеров-задач. Снимаю шляпу перед упорством того, кто хотя бы попытается решить их все. Мне надоело уже после десятка. Иногда решить подобную задачу бывает забавно, но когда на вас выворачивают целый ушат их, это выдержать сможет далеко не каждый.Зато последняя часть посвящена теореме Гёделя о неполноте. Если кто не знает, теорема эта знаменует важнейшую границу. Общество без теоремы не может претендовать на звание по-настоящему цивилизованного. До Гёделя люди пытались познать конечную абсолютную истину, после – оставь надежду, всяк сюда входящий. Любая теория бесконечна и потому неисчерпаема. Абсолютным критерием истины не может обладать даже гипотетический бог. Рано или поздно сложность любой теории превзойдёт возможности человека, какого угодно искусственного интеллекта и чего хотите другого (даже бога). Жаль, постгёделевские философы это так пока и не поняли. По крайней мере, мне неизвестен ни один, кто хотя бы попытался разработать эту тему.Итак, первые три части читать никому не советую. Тот, кто касался когда-либо математической логики, ничего интересного из них не почерпнёт. Тем же, кто совсем не в курсе, порекомендую лучше почитать начало любого учебника. Поскольку математическая логика намного проще аристотелевой, начало учебника поймёт любой. А когда начнутся заморочки, можно смело бросать: полученных сведений должно хватить, чтобы прочитать последнюю часть книги Меррилла Смаллиана, которая только и стоит прочтения. (Впрочем, если вдруг решите все задачи трёх первых частей, сообщите мне об этом немедленно: я выпью за ваше здоровье водки.)На всякий случай предупреждаю: понять рассуждения Смаллиана на тему теоремы Гёделя можно, но сложно. Доказательство, которому меня учили когда-то давно, намного длиннее, но и куда понятнее. Где-то на середине Меррилл Смаллиан запутал меня своими иносказаниями окончательно, так что скажу честно: разобраться в его доказательстве я не смог. И бог с ним: в математике, в отличие от многих наук, бывает достаточно и одного доказательства. Одно у меня уже есть, хотя повторить его сегодня я, конечно, не возьмусь.Но следствия, вытекающие из основополагающей теоремы, Меррилл Смаллиан описывает хорошо. По крайней мере, мне понравилось. Может быть, потому, что я их и без него знаю.Четвёртая часть начинается как сборник анекдотов, в той или иной степени математических. Часть прямо взята из Мартина Гарднера. Другие, как кажется, никакого отношения к математике не имеют вовсе. К сожаления, почти все очень известны, но читать их всё равно довольно весело, особенно те, что про отличие физика от математика. Одна из историй развита, хочется сказать, до абсурда. Нет, не до абсурда. До логического завершения. Позволю себе пересказать её под спойлером.О смешивании воды с виномНачало истории вполне известное.Имеется пробирка с 10мл вина и пробирка с 10мл воды.Переливаем 3мл вина в пробирку с водой, перемешиваем и переливаем 3мл обратно, туда, где вино.Вопрос: чего больше: вина в пробирке с водой или воды в пробирке с вином?Задачу эту поставили и решили ещё греки, но Меррилл Смаллиан развил её, да ещё как!Имеем те же самые две пробирки и начинаем переливать по 3мл из одной в другую и обратно много раз. Вопрос: когда концентрации веществ в обеих пробирках сравняются?Если вы в душе математик, очевидным ответом будет: никогда.Если же в душе вы физик, вы заметите, что жидкости состоят из конечного числа молекул, и если хорошенько посчитать молекулы, то окажется, что уже после 47 переливаний концентрации станут одинаковыми с очень убедительной вероятностью :)))Вот те раз! – скажет математик.Однако и это ещё не всё. Если вы всё-таки математик, то после разъяснения физика вы обязаны внести поправку: чтобы концентрации сравнялись, необходимо, чтобы общее количество молекул воды и «частиц вина» в обеих пробирках было чётным :)))Вот те раз! – скажет физик.свернутьЗавтра буду пить коньяк с приятелем. Он практикующий математик, а по образованию физик. Выясню, кто он на самом деле.Среди персонажей рассказанных анекдотов имеются также вермонтцы. И среди них несколько раз упоминается президент Кулидж. Мне показалось, что президент Кулидж математик. Полез в Википедию: ничего похожего. Однако лазил по интернету не зря. Обнаружил очаровательную историю об эффекте Кулиджа :)))Я тоже знаю одного вермонтца. Это Солженицын (ему на днях как раз исполнилось 99 лет). Он, в отличие от Кулиджа, математик. По крайней мере, после освобождения из «вечной» ссылки преподавал математику в школе. Интересно, почему он поселился именно в этом штате? Знал ли, что вермонтец – персонаж американских анекдотов?Со временем анекдоты иссякают, их место занимает вполне серьёзная теория, которая постепенно подводит нас к теореме Гёделя о неполноте. Почти до самого конца очень интересно. Потом, как уже сказано, я запутался…Чтобы следить за рассуждениями без бумажек, в книгу надо было добавить некоторые картинки. Но автор стремился продемонстрировать силу чистой логики и потому не стал этого делать. Зря, я считаю.А если ещё и анекдоты картинками проиллюстрировать, книга намного приятнее была бы.Ну и напоследок ещё один маленький спойлер. На этот раз открытым текстом. Цитата:В одном из учебников по аномальной психологии я прочитал о следующем происшествии. Врачи в психиатрической лечебнице собирались выписать пациента, страдающего шизофренией, и решили подвергнуть его проверке при помощи детектора лжи. Среди прочих пациенту был задан вопрос: «Вы Наполеон?» Пациент ответил отрицательно. Детектор показал, что он лжет.Вопрос: с чисто логической точки зрения, кем был этот пациент?Надеюсь, понятно, почему книга странная.Потому, что три её части снотворны, а половина последней неудобопонимаема. Замысел знатный, реализация убогая.========= PS =========Почитал отзывы лайвлибовцев… да… тяжёлый случай: только один читатель, YaroslavSkudarnov , понял, что книга написана ради теоремы Гёделя о неполноте. Все остальные восприняли её как сборник детских логических головоломок!А-бал-деть.....