|
|
libcats.org
Forever undecided, a puzzle guide to GodelRaymond SmullyanA challenging puzzle collection and an instructive and entertaining introduction to Kurt Godel's famous theorems, including incompleteness and undecidability. Much of the action of the book takes place on an imaginary and magical island, the Island of Knights and Knaves, where knights always make true statements, knaves always make false statements, and every inhabitant is either a knight or a knave. Here we meet an amazing array of characters, visitors to the island, seeking to determine the natives' true identities. Among them are the census-taker McGregor; a philosopher-logician in search of his flighty bird-wife Oona; and a regiment of Reasoners. By following the Reasoners through brain-tingling exercises and adventures - including journeys into the "other possible worlds" of Kripke semantics - even the most illogical of us should come to understand Godel's theorems, some of their philosophical and mathematical implications and why we, like Godel himself, must remain forever undecided! The book is intended for puzzle fans of every age and ability - from the high-school whizz to the seasoned mathematician, logician or computer scientist.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Errata Some Revisionary Proposals About Belief and Believing 2Автор: Marcus Ruth BarcanКатегория: fiction
Размер книги: 44 Kb
|
|
|