1930 erschüttert der Wiener Mathematiker Kurt Gödel mit seinen Unvollständigkeitssätzen die Grundlagen der Mathematik. Er weist nach, dass es in jedem formal-logischen System Probleme gibt, die nicht lösbar und entscheidbar sind. Die Wahrheit ist der Beweisbarkeit überlegen. Zwischen 1978 und...
