Gödel nemteljességi tételei

Összefoglaló

Kevés tétele van a tiszta matematikának, amely a matematikán kívül is komoly ismertségnek örvend. Meglehetősen nyugodtan kijelenthető, hogy nem-matematikus körökben egyetlen matematikai tételt sem övez komolyabb érdeklődés, mint Gödel 1931-ben megjelent nemteljességi tételét. Mi lehet a mentség egy újabb könyvre, amely Gödel nemteljességi tételeit a művelt nagyközönség számára kívánja megvilágítani? A következő: nincs olyan könyv, amely a tételt nem csupán matematikai többek között a bizonyításelméleti szempontból mutatja be, de sorra veszi azt a meglehetősen sokféle álláspontot is, amelyeket a tételek matematikán kívüli jelentőségével kapcsolatban fogalmaztak meg. Torkel Franzén (1950-2006) a stockholmi egyetemen, Dag Prawitz vezetése mellett végezte a PhD-tanulmányait,majd a Lulei Műszaki Egyetemen tanított logikát és számítástudományt.Híres sci-fi rajongóként tartották számon.Két könyve jelent meg, mindkettő Gödel nemteljességi tételeiről szól.A Gödel nemteljességi tételei Értelmezésekés félreértések a szélesebb közönséget célozza, és nem csupán a nevezetes tételeket mutatja be kitérve többek között a nemteljesség és a kiszámíthatóság-, illetve a bonyolultság elméletkapcsolatára is,de segít eloszlatni az eredmények körüli filozófiai, pszichológiai, teológiai vagy éppen posztmodern félreértéseket is.