Welcher deutsche Mathematiker bewies 1931 mit seinem Unvollständigkeitssatz, dass jedes hinreichend mächtige formale System unentscheidbare Aussagen enthält?
Ein Ergebnis, das die Grundlagen der Mathematik im 20. Jahrhundert erschütterte und bis heute Logik, Informatik und Philosophie prägt.
Anoniem stemmen is mogelijk. Registreer voor een profiel en score.
