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 Luleai 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 – Érte