Mathematik hat unbeweisbare wahrheiten
Kurt Gödels Theoreme von 1931 bewiesen, dass selbst robuste mathematische Systeme wahre Aussagen enthalten. Diese können sie nicht beweisen. Dies zeigte grundlegende Grenzen der Logik und Berechnung auf.
1931 sorgte der Mathematiker Kurt Gödel für Aufsehen. Selbst die mächtigsten mathematischen Systeme können nicht jede wahre Aussage beweisen. Seine Unvollständigkeitssätze zeigten dies. Jedes konsistente System der Grundrechenarten hat wahre Aussagen. Diese kann es weder beweisen noch widerlegen. Das zerstörte den Traum eines vollständigen, konsistenten Mathematiksystems.
Es gibt mehr zu lesen — öffne die App, um weiterzulesen.
In der App Weiterlesen
1 weitere Absätze · plus ein 3-Fragen-Quiz