Welcher deutsche Mathematiker bewies 1931 die Existenz unentscheidbarer Sätze in formalen Systemen?
Ein Ergebnis, das die mathematische Logik des 20. Jahrhunderts grundlegend erschütterte.
Anoniem stemmen is mogelijk. Registreer voor een profiel en score.
Meer in Wetenschap
Trending vandaag
123
Sollten Kinos in Deutschland günstigere Tickets für Filme unter 90 Minuten anbieten?
🎥 Filme & Serien · 28 Stimmen
Was ist dir lieber?
🤔 Dilemma · 27 Stimmen
Welcher französische Chemiker entdeckte 1747 den Zucker in der Runkelrübe und legte damit den Grundstein für die deutsche Rübenzuckerindustrie?
🍽️ Essen & Trinken · 26 Stimmen