|
|
|
Книги Смаллиан Рэймонд М.
|
«В этой книге Рэймонд Смаллиан, великий визирь логической головоломки, вместе с Шахразадой, очаровательной молодой женщиной, обладающей «фантастическим логическим остроумием», дают нам 1001 час для удовольствия от решения трудных задач. Шахразада опять попала в беду, и грозный царь намерен отрубить ей голову. Однако находчивая красавица заставляет царя откладывать казнь, задавая ему удивительно сложные математические и логические загадки. Царь размышляет над ними в течение многих ночей, пока не минует роковой час, и Шахразада спасает свою жизнь. В книге 225 прекрасных древних анекдотов и оригинальных головоломок. Среди них логические шутки, игры с числами, метазагадки (загадки о загадках), задачи о лжецах и рыцарях, головоломки и ставящие в тупик парадоксы. Под мудрым руководством Шахразады читатель совершит путешествие в открытую Смаллианом удивительную новую страну «принуждающей» логики, где решение задачи может реально изменить судьбу того, кто ее задал. Эта книга абсолютно необходима всем любителям загадок, от учеников средней школы до искушенных математиков или специалистов в области компьютерной науки. Рэймонд Смаллиан — известный математик и логик, почетный профессор философии университета Индианы, почетный профессор Нью-Йоркского городского университета, Лехмановского колледжа и Центра образования. В число его трудов входят шесть книг по логическим и математическим проблемам: «Как называется эта книга?», «Принцесса или тигр?», «Алиса в стране загадок», «Передразнить пересмешника», «Неразрешимо навечно» и «Сатана, Кантор и бесконечность»; два исследования по дедуктивной логике в шахматах: «Шахматные тайны Шерлока Холмса» и «Шахматные тайны арабских царей», а также три сборника философских эссе и афоризмов: «Тао безмолвствует», «Этой книге не нужно название» и «5000 лет до нашей эры».» |
|
«В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость». Эта книга для тех, кто желает: — не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда; — блеснуть в компании интеллектуалов своим нестандартным пониманием сути знаменитых результатов из области математической логики, известных как теоремы Геделя о неполноте и теорема Леба; — решая увлекательные задачи, познакомиться с серьезной научной дисциплиной, именуемой «символическая логика»; — познакомиться с модальной логикой в форме «возможных миров» — миров человеческих мнений или убеждений; понять, какие трудности подстерегают нас при доказательстве непротиворечивости наших рассуждений и в рассуждениях о непротиворечивости наших доказательств.» |
|
Загадки о рыцарях и лжецах (о людях, говорящих только правду и тех, кто всегда лжет) стали очень популярными и среди молодежи и среди взрослых. Поэтому загадкам такого типа автор посвятил восемь первых глав этой книги. Они упорядочены по степени сложности: от элементарных до очень тонкой метазагадки об Источнике Молодости. (Тот, кто разгадает эту загадку, достоин королевских почестей!) Остальная часть книги имеет совершенно другую направленность и касается больших логических глубин. Здесь вы найдете нечто завораживающее из области комбинаторной логики. Эта замечательная научная дисциплина сейчас играет важную роль в компьютерной науке и разработках искусственного интеллекта; так что данная книга вполне своевременна. Несмотря на глубину данной темы, изучить ее не труднее, чем курс алгебры или геометрии в институте. Комбинаторная логика — это абстрактная научная дисциплина, имеющая дело с объектами называемыми комбинаторами. В качестве своих комбинаторов автор выбрал птиц. Сделано это было в память о профессоре Хаскеле Карри, который был и великим комбинаторным логиком и страстным любителем птиц. Главная причина, по которой он сделал комбинаторную логику основной темой этой книги, заключается не в многочисленных практических приложениях такой логики, а в ее большой привлекательности. Эта область считается сугубо технической, тем не менее, она доступна широкой публике; она полным-полна материалом, из которого можно извлечь развлекательные загадки. В то же время она связана с фундаментальными вопросами современной логики. Что может быть лучше для книги логических загадок? |
|
