Logik und Weisheit: Zeit und Ewigkeit Berlin, 22.April 2022 Gödels Unvollständigkeitssatz Es war der Mathematiker Kurt Gödel[1], der 1931 die Unvollständigkeit[2] von formal logischen Systemen erkannte und darüber in seinem berühmten Aufsatz ‚Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I‘ feststellte: „Es liegt daher die Vermutung nahe, daß diese Axiome und Schlußregeln dazu ausreichen, alle mathematischen Fragen, die sich in den betreffenden … Gottesbeweis VIII weiterlesen