Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
Книга представляет собой размышления, инспирированные китайской философией, видного американского математического логика Р. Смаллиана, знакомого русскому читателю по серии книг по занимательной математике и логике («Как же называется эта книга», «Принцесса и тигр», «Алиса в стране смекалки»). Смаллиан, восхитительно умный и превосходный писатель, показывающий пределы абстрактной формальной логики (но не разума!). В книге фундаментальные философские вопросы изложены в форме занимательных...
Книга, состоит из трёх частей, каждую из которых можно читать независимо от двух других. Первая из них содержит объяснения по поводу религии. Во второй, на примере дневников американского философа Р. В. Эмерсона и его эссе обсуждается одно из современных философских течений, называемое трансцендентализмом. В третьей части выражено мнение автора о концепции Космического Сознания, порождённой книгой канадского психиатра Р. М. Баке. Все три части наполнены анекдотам, историям и...