GoDeliani pusleraamat

Need täiesti uued meelelahutuslikud loogikamõistatused pakuvad meelelahutuslikke variatsioone Güdeli mittetäielikkuse teoreemidest, andes välja geniaalseid väljakutseid, mis on seotud lõpmatuse, tõesuse ja tõestatavuse, otsustamatuse ja muude mõistetega. Kuulsa loogiku Raymond Smullyani loodud mõistatused ei vaja formaalse loogika eelteadmisi ja pakuvad rõõmu igas vanuses lugejatele.
Kaheosaline mõistatuste ja paradokside valik algab lõpmatuse olemuse ja mõnede G√∂deli teoreemiga seotud huvitavate süsteemide uurimisega. II osa esimesed kolm peatükki sisaldavad üldistatud G√∂deli teoreeme. Sümboolne loogika on edasi lükatud viimase kolme peatükini, mis annavad selgitusi ja näiteid esimese järgu aritmeetikast, Peano aritmeetikast ja G√∂deli kuulsa tulemuse täielikust tõestusest, mis hõlmab väiteid, mida ei saa tõestada ega ümber lükata. Raamat sisaldab ka elavat pilku otsustusteooriale, paremini tuntud kui rekursiooniteooria, millel on arvutiteaduses oluline roll.