Занимательная философия. О формально неразрешимых Principia Mathematica и родственных систем

В начале этой книги популярно излагается «Критика чистого разума» Иммануила Канта. Затем кантовская концепция свободной человеческой воли развивается на современной научной базе, и предлагается гипотетическая модель взаимодействия свободной воли и законов природы. Эта модель существенно опирается на знаменитую статью Курта Геделя 1931 года, содержащую доказательство существования недоказуемых истин. Приводится популярный вариант этого доказательства. Второе произведение сборника — полный русский перевод упомянутой статьи Курта Геделя, одобренный его наследниками.