libcats.org
Главная

Gödel's incompleteness theorems

Обложка книги Gödel's incompleteness theorems

Gödel's incompleteness theorems

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Мэри-Роуз Хейз. Аметист (Том 1)

Автор:
Размер книги: 348 Kb

Dynamical Oceanography

Автор:
Категория: Geophysics
Размер книги: 11.02 Mb

Пень

Автор:
Категория: Посвящения

Жизнь секретутки 6

Автор:
Категория: Эротика
Размер книги: 7 Kb

Holy of Holies

Автор:
Размер книги: 537 Kb

The First Bride

Автор:
Категория: fiction
Размер книги: 244 Kb

Steinbrenner: The Last Lion of Baseball

Автор:
Категория: fiction
Размер книги: 1.06 Mb