A kombinatorikus logika és Gödel tétle Raymond Smullyan-nek hála remek fejtörőkön keresztül is megismerhető. Sokan nem csak a funkcionális programozási nyelvek és a típuselmélet alapját látják ebben, hanem mint Hofstadter vagy éppen Mérő László, úgy gondolják, nagyon húsba vágó következményei is vannak ennek. Mi nem teszünk igazságot, de felhívjuk pár rendkívül szórakoztató könyvre a figyelmet.

Az adatok világában egyre nagyobb teret nyernek a funkcionális programozási nyelvek. Első sorban a Scala népszerűsége növekszik töretlenül, nem kis részben a Spark-nak köszönhetően, de egyre több Haskell, Clojure és Ocaml fejlesztőt keresnek napjainkban. Közhely, hogy a Python is sokat átvett a funkcionális nyelvek eszköztárából (bár ezek jelentős részét azért annyira nem szokás használni) és a típusosság irányába is nyitott a nyelv. Ha valaki szeretne elmélyülni a funkcionális programozás, a típusosság és a Spark rejtelmeiben, annak a Functional Programming in Scala Specialization-t ajánljuk a Coursera kínálatából (ingyenesen is elvégezhető). Azonban bármennyire is próbál kezdőbarát lenni ez a kurzus, feltételezi hogy valamennyire már tud programozni az aki belevág ebbe és találkozott már formálisabb elméletekkel logikai, matematikai vagy számítástudományi tanulmányai során. Pl. a fixpont elméletet egy másfél perces videóban magyarázzák el, ami lehet elsőre kicsit kevés.

A csúfolórigó nyomában, Egy lebilincselő kaland a kombinatorikus logika világában a Smullyan-től megszokott stílusú fejtörőkön keresztül mutatja be a logika ezen szegletét. Ebből a könyvből a fixpontokról könnyen kaphatunk egy intuitív képet, ami nem is áll messze a formálisan megfogalmazottól!

Ha valaki jobban elmélyedne Gödel nemteljességi tételeiben, akkor Smullyan rövid kis könyvét ajánljuk. Itt nem csak fejtörőkkel találkozhatunk, hanem formális bizonyításokkal is – de nagyon elegáns és elemi logikai ismeretekkel is könnyen követhető formában.

Gödel tételeiről sokan hallottak. Forradalminak, mindent felforgatónak, stb. is nevezték már. “Közismert” a zennel való kapcsolata is. Dougls Hofstadter Gödel, Escher, Bach, vagy éppen Mérő László Észjárások című munkái a nemteljességi tételek matematikán és logikán messze túlmutató jelentősségét emelik ki. Torkel Franzén Gödel nemteljességi tételei, Értelmezések és félreértések című munkája igyekszik az tételeket a helyükön kezelni és eloszlatni a félreértéseket. Nekünk leginkább a számításelméleti következményeket taglaló rész tetszett.

Ha másért nem, hát a remek kikapcsolódás miatt érdemes ezeket a könnyen beszerezhető, jó magyar fordításban elérhető könyveket forgatni. De talán az sem árt, ha néha az ember elgondolkozik az általa használt eszközök mögött rejlő elméleti alapokon és azok esetleges következményein.

A borítókép forrása itt található.