Rekreációs logika és számítástudomány mindenkinek

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.

Source: Wikimedia

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ó.

One-Time
Monthly
Yearly

Make a one-time donation

Make a monthly donation

Make a yearly donation

Choose an amount

$5.00
$15.00
$100.00
$5.00
$15.00
$100.00
$5.00
$15.00
$100.00

Or enter a custom amount

$

Your contribution is appreciated.

Your contribution is appreciated.

Your contribution is appreciated.

DonateDonate monthlyDonate yearly

Do you like our visualizations? Buy them for yourself!

Visit our shop on Society6 to get a printout of our vizs.