V roce 1931 publikoval teprve 25letý Kurt Gödel, rodák z Brna, revoluční článek, v němž se kriticky vypořádal s určitými předpoklady tvořícími základ tradičního zkoumání v matematice a logice. V současnosti je jeho průzkum této terra incognita jedním z důležitých příspěvků moderní vědě. Knížka Gödelův důkaz je nově redakčně přehlédnuta, je rozšířena a aktualizována. Představuje svého druhu první čtivý výklad hlavních myšlenek Gödelova důkazu i některých z něj plynoucích důsledků. Kniha je určena studentům, vědcům, učitelům, odborníkům v mate- matice, kybernetice, logice, filozofii.
