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.
Meer in Wetenschap
Trending vandaag
123
Sollte es in Deutschland eine Pflicht für USB-C als Ladestandard auch für E-Bikes und Werkzeuge geben?
💻 Technik · 26 Stimmen
Sollten deutsche Spitzensportler verpflichtet werden, einen Teil ihrer Preisgelder in Schulsport zu investieren?
⚽ Sport · 26 Stimmen
Welche Schauspielerin spielte in Ridley Scotts 'Alien' (1979) die Hauptrolle der Ellen Ripley?
🎥 Filme & Serien · 25 Stimmen