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

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

Книга довольно странная. Попробую рассказать, в чём странность.Всего имеем четыре части. Первые три -- введение в математическую логику для чайников. Введение это представляет собой штук двести примеров-задач. Снимаю шляпу перед упорством того, кто хотя бы попытается решить их все. Мне надоело уже после десятка. Иногда решить подобную задачу бывает забавно, но когда на вас выворачивают целый ушат их, это выдержать сможет далеко не каждый.Зато последняя часть посвящена теореме Гёделя о неполноте. Если кто не знает, теорема эта знаменует важнейшую границу. Общество без теоремы не может претендовать на звание по-настоящему цивилизованного. До Гёделя люди пытались познать конечную абсолютную истину, после -- оставь надежду, всяк сюда входящий. Любая теория бесконечна и потому неисчерпаема. Абсолютным критерием истины не может обладать даже гипотетический бог. Рано или поздно сложность любой теории превзойдёт возможности человека, какого угодно искусственного интеллекта и чего хотите другог…Далее

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