Бог логіки

Гігант логіки ХХ століття, чудовий мислитель, Курт Гедель був оголошений в 1999 році журналом Time математиком століття. Його ім’я назавжди пов’язане з відкриттям відомої теореми про неповноту, але його дослідження варіюються від логіки до космології, філософії та навіть теології. Не випадково в Принстоні Ейнштейн цінував компанію Геделя, з якою він обговорював науку, політику та філософію під час щоденних прогулянок.

У «Бозі логіки» П’єрджорджі Одіфредді пропонує задокументовану та сувору презентацію життя та творчості Геделя, але посипану смачними анекдотами та відступами, які доповнюють його образ. Інтелектуальна пригода колишнього учасника Віденського кола, генія математичної логіки з блискучою академічною кар'єрою, таким чином подвоюється особистим життям, повним диваків, позначеним до кінця страхами та параноїчними нав'язливими ідеями.

---