Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики.Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
Eta kniga predstavljaet soboj vvedenie v teoremy Gedelja posredstvom logicheskikh zanimatelnykh problem s primeneniem matematicheskoj logiki.Argumentatsija Gedelja perenesena iz formalnoj oblasti matematicheskikh sistem v oblast idej, bolee dostupnykh obychnomu chitatelju. Osnovnoj upor sdelan na sistemy ver i ikh sootnosheniju s matematikoj. Eto privodit k semantike vozmozhnykh mirov, kotoraja igraet suschestvennuju rol v kompjuternykh issledovanijakh i iskusstvennom intellekte.
