Алиса в стране смекалки

Вашему вниманию предлагается издание "Король Артур в поисках своей собаки и другие занимательные истории".

Книги признанного мастера в области математической логики, американского ученого Рэймонда Смаллиана пользуются невероятной популярностью во всем мире. Его книги по занимательной математике "Как же называется эта книга?", "Принцесса или тигр?", "Алиса в Стране Смекалки" известны и в России. В новой книге Смаллиана "Сатана, Кантор и Бесконечность" собраны развивающие загадки и головоломки, героями которых являются Чародей и его ученики... "Книга начинается с новой серии головоломок про праведников...

Книга Рэймонда Смаллиана «5000 до Р.Х. и другие философские фантазии: загадки и парадоксы, загадки и рассуждения» не является записью фантазий философа. Она полна различных наблюдений, тонких и в чем-то автономных (некоторые из них автобиографичны), шуток, головоломок и парадоксов. Хотя по духу эта книга почти противоположна учебнику, большую часть материала можно успешно использовать во вводных курсах по философии. Многие из традиционных философских вопросов излагаются с разных точек зрения и...

В этой книге Рэймонд Смаллиан, великий визирь логической головоломки, вместе с Шахразадой, очаровательной молодой женщиной, обладающей "фантастическим логическим остроумием", дают нам 1001 час для удовольствия от решения трудных задач. Шахразада опять попала в беду, и грозный царь намерен отрубить ей голову. Однако находчивая красавица заставляет царя откладывать казнь, задавая ему удивительно сложные математические и логические загадки. Царь размышляет над ними в течение многих ночей, пока не...

В книге "Блуждания по моей библиотеке" Рэймонд Смаллиан предлагает тур по отрывкам из произведений своих любимых авторов. В процессе "блуждания" он разделяет их мысли, комментирует, рассказывает о них истории, анекдоты и интересные случаи. За счет этого книга является комбинацией антологии, эссе, воспоминаний, набросков мыслей и автобиографии - и всё это преподнесено в форме забавной игры.

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями...