Voveki nerazreshimoe

Kniga Rejmonda Smalliana «Voveki nerazreshimoe. Put′ k Gedelyu cherez zanimatel′nye zagadki» predstavlyaet soboj vvedenie v teoremy Gedelya posredstvom logicheskich zanimatel′nych problem s primeneniem matematicheskoj logiki. Argumentaciya Gedelya perenesena iz formal′noj oblasti matematicheskich sistem v oblast′ idej, bolee dostupnych obychnomu chitatelyu. Osnovnoj upor sdelan na sistemy ver i ich sootnosheniyu s matematikoj. Eto privodit k semantike vozmozhnych mirov, kotoraya igraet sushhestvennuyu rol′ v komp′yuternych issledovaniyach i iskusstvennom intellekte.