Der Gödelsche Beweis, Fachbücher von Ernest Nagel, James R. Newman

Spätestens seit Douglas R. Hofstadters "Gödel, Escher, Bach" ist der Name Gödel auch bei Nichtmathematikern bekannt geworden. 1931 hatte Kurt Gödel unter dem Titel "Über formal unterscheidbare Sätze der Principia Mathematica und verwandter Systeme" seinen Unvollständigkeitssatz publiziert. Nagel und Newman haben das Wesentliche an Gödels Ergebnissen für Nichtfachleute dargestellt. Die vorliegende 9. Auflage ist ein unveränderter Nachdruck der längst klassisch gewordenen Ausgabe von 1958.