Voveki nerazrešimoe

Kniga Rėjmonda Smalliana «Voveki nerazrešimoe. Put′ k Gedelju čerez zanimatel′nye zagadki» predstavljaet soboj vvedenie v teoremy Gedelja posredstvom logičeskich zanimatel′nych problem s primeneniem matematičeskoj logiki. Argumentacija Gedelja perenesena iz formal′noj oblasti matematičeskich sistem v oblast′ idej, bolee dostupnych obyčnomu čitatelju. Osnovnoj upor sdelan na sistemy ver i ich sootnošeniju s matematikoj. Ėto privodit k semantike vozmožnych mirov, kotoraja igraet sučšestvennuju rol′ v komp′juternych issledovanijach i iskusstvennom intellekte.