Gödel nemteljességi tételei

Kurt Gödel (1906-1978)

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 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 Luleai Műszaki Egyetemen tanított logikát és számítástechnikát. Híres sci-fi rajongóként tartották számon.