Axiomatisierung

aus Wikipedia, der freien Enzyklopädie

Keine Version gesichtet.

„Unter der Axiomatisierung einer Theorie versteht man ihre Darstellung in der Weise, dass gewisse Sätze dieser Theorie, die Axiome, an den Anfang gestellt werden und weitere Sätze durch logische Deduktion aus ihnen abgeleitete werden.“^[1]

[Bearbeiten] Axiomatisierung allgemein

„In einer ersten Annäherung besteht die Axiomatisierung darin, dass man in die Menge der Aussagen, die in einem bestimmten Gebiet gelten, Ordnung bringt. Diese Ordnung besteht darin, dass man eine möglichst kleine Teilmenge aller dieser wahren Aussagen zu isolieren versucht, die die Eigenschaft hat, dass die anderen Aussagen aus ihnen logisch folgen; in dieser (kleinen) Teilmenge von Aussagen, den Axiomen, ist dann das ganze Wissen über das Gebiet repräsentiert.“^[2]

„Die axiomatische Darstellung eines Gebiets liefert dreierlei: einmal eine ökonomische Darstellung des Wissens über das Gebiet, dann eine Klärung der Abhängigkeitsverhältnisse zwischen den Aussagen des Gebiets, und schließlich eine klare Festlegung der Begründungspflichten, die man mit der Behauptung von Aussagen in dem Gebiet übernimmt.“^[3] Die Axiomatisierung einer Theorie fördert ihre "Überschaubarkeit und Überprüfbarkeit.“^[4].

„Eine der wichtigsten Konsequenzen der Axiomatisierung ist die Begriffsbestimmung“.^[5] Für den Aufbau einer deduktiven Wissenschaft muss man von undefinierten Grundbegriffen ausgehen, deren Bedeutung nicht erklärt werden. Gleichzeitig darf ein neuer Begriff nicht eingeführt werden, ohne auf die Grundbegriffe zurückgeführt oder anderweitig expliziert zu werden.^[6]

Die Axiomatisierung wird auch als Methode angesehen, die - um bei der Bestimmung von Grundbegriffen für einen Forschungsbereich den unendlichen Regreß zu vermeiden - eine kleine Gruppe von Ausdrücken auswählt und sie undefiniert verwendet, alle übrigen Ausdrücke jedoch nur dann verwendet, wenn sie mit Hilfe dieser ausgewählten Grundbegriffe oder Axiome bestimmt sind.

[Bearbeiten] Axiomatisierung in der Mathematik

Axiomatisierung bezeichnet den Versuch, mathematische Sachverhalte auf Axiome zurückzuführen. Historisch geht dieser Prozess einher mit einer zunehmenden Formalisierung. Im Gefolge kommt es zum neuzeitlichen Universalienstreit.

Während Axiome seit der Antike benutzt wurden, gab es erst ab Ende des 19. Jahrhunderts ernsthafte Bemühungen, die komplette Mathematik auf eine axiomatische Basis zu stellen. David Hilbert nahm dieses Ziel in seine Liste von 23 ungelösten Problemen auf und initiierte 1920 das Hilbertprogramm zur Erstellung eines solchen Axiomensystems.

Ab 1934 unternahm die französische Mathematikergruppe Bourbaki den Versuch einer systematischen Axiomatisierung der gesamten Mathematik.

1931 zeigte der österreichische Mathematiker Kurt Gödel, dass die gesamte Mathematik nicht axiomatisiert werden kann (Unvollständigkeitstheorem).