Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03641.jsonl.gz/833

Kurt Gödel
Die sogenannten Grundlagen der Mathematik sind keineswegs so unumstritten wie es ein Laie vielleicht vermuten könnte. Es gibt durchaus im Widerstreit liegende Sichtweisen, die aber im praktischen Mathematikalltag kaum zur Diskussion gelangen. Nur bei Fragen der Mengentheorie, der Topologie, besonders aber in der Beweistheorie oder der Theorie der Berechenbarkeit und Entscheidbarkeit sind Gödels Überlegungen von Bedeutung.
In der neuesten Entwicklung der Mathematik, vor allem durch die Entstehung der mathematischen Logik, hat der Algorithmenbegriff Bedeutung erlangt, weil sich mit seiner Hilfe die grundlegenden Begriffe der Entscheidbarkeit und Axiomatisierbarkeit einer formalisierten Theorie definieren lassen.
Kurt Gödel, einer der wohl berühmtesten Mathematiker und Logiker des 20. Jahrhunderts, publizierte 1931 ("Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik, 38 (1931), S.173-198) den Unvollständigkeitssatz. Er ist heute jedem Mathematiker zumindest vom Ansatz her bekannt. Worum geht es in diesem Satz?
Vor seinen Arbeiten war der von Hilbert begründete Formalismus seit 1880 in der Mathematik und in den Naturwissenschaften vorherrschend. Der Wunsch gewisse Widersprüche und Ungereimtheiten der Mathematik der vorangehenden Dekaden zu klären (nichteuklidische Geometrie, Mengenlehre) war vorhanden. Die Mathematik sollte in Rahmen logischer Kalküle beschrieben werden und ein Kalkül ist ein in sich geschlossenes formales System. Die Idee des Formalismus - kurz gesagt - ist es also, die "Gewissheit" über mathematische Aussagen dadurch zu erlangen, dass diese aus (möglichst wenigen) vorher fixierten Axiomen durch logisch korrekte Umformungen abgeleitet werden können.
Die zweite Richtung wurde von L.E.J. Brouwer ins Leben gerufen und wird als Intuitionismus bezeichnet. Hier werden nicht alle logischen Schlussweisen zugelassen. Die Zeit 1931-1947 war durch diese Strömung gekennzeichnet.
Solche Aussagen heissen unentscheidbar
Weitere Infos zu diesem Satz (in Englisch)
Der Gödelsche Beweis
E. Nagel, J.R. Newman