Apropos: Kurt Gödel

Notizen aus meinem Zettelkasten: Der geniale Mathematiker Kurt Gödel erschütterte mit seinen "Unvollständigkeitssätzen" die Grundlagen der modernen Mathematik. In jedem formal logischen System tauchen "Probleme" auf, die nicht lösbar und entscheidbar sind. Die Wahrheit ist der Beweisbarkeit überlegen.