Mathematische Logik


Mathematische Logik

Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Es gibt aber auch Teile der mathematischen Logik, welche nicht mit Grundlagenfragen verbunden sind.

Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit die Stärke solcher Systeme zu messen besteht darin, festzustellen was damit bewiesen oder definiert werden kann.

Früher wurde die mathematische Logik auch symbolische Logik (als Gegensatz zur philosophischen Logik) oder Metamathematik genannt. Der erste Ausdruck wird immer noch verwendet (z. B. in Association for Symbolic Logic), der letztere wird mittlerweile nur noch für gewisse Aspekte der Beweistheorie verwendet.

Inhaltsverzeichnis

Geschichte

Der Begriff mathematische Logik wurde von Giuseppe Peano für symbolische Logik benutzt. Diese ist in ihrer klassischen Version mit der Logik von Aristoteles vergleichbar, wird aber mit Hilfe von Symbolen anstelle von natürlicher Sprache formuliert. Mathematiker mit einem philosophischen Hintergrund, wie Leibniz oder Lambert versuchten bereits früh, die Operationen der formalen Logik mit einem symbolischen oder algebraischen Ansatz zu behandeln, aber ihre Arbeiten blieben weitgehend isoliert und unbekannt. In der Mitte des neunzehnten Jahrhunderts präsentierten George Boole und Augustus de Morgan einen systematischen Weg, die Logik zu betrachten. Die traditionelle, aristotelische Doktrin der Logik wurde reformiert und vervollständigt und daraus erwuchs ein angemessenes Instrument, um die Grundlagen der Mathematik zu untersuchen. Es wäre irreführend, zu behaupten, dass sämtliche grundlegenden Kontroversen aus der Zeit von 1900 bis 1925 geklärt sind, aber die Philosophie der Mathematik wurde durch die neue Logik zu großen Teilen bereinigt.

Während die griechische Entwicklung der Logik großen Wert auf Argumentationsformen legte, kann man die heutige mathematische Logik als kombinatorisches Studium von Inhalten bezeichnen. Darunter fallen sowohl das Syntaktische (die Untersuchung von formalen Zeichenketten als solchen) als auch das Semantische (die Belegung solcher Zeichenketten mit Bedeutung).

Historisch bedeutende Publikationen sind die Begriffsschrift von Gottlob Frege, Studies in Logic von Charles Peirce, Principia Mathematica von Bertrand Russell und Alfred North Whitehead, und Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I von Kurt Gödel.

Formale Logik

Die mathematische Logik beschäftigt sich häufig mit mathematischen Konzepten, welche durch formale logische Systeme ausgedrückt werden. Am weitesten verbreitet ist das System der Prädikatenlogik der ersten Stufe sowohl auf Grund seiner Anwendbarkeit im Bereich der Grundlagen der Mathematik als auch wegen seiner Eigenschaften wie Vollständigkeit und Korrektheit. Die Aussagenlogik, stärkere klassische Logiken wie Prädikatenlogik der zweiten Stufe oder nicht-klassische Logiken wie intuitionistische Logik werden ebenfalls untersucht.

Teilgebiete der mathematischen Logik

Das Handbook of Mathematical Logic (1977) unterteilt die mathematische Logik in folgende vier Gebiete:

  • Beweistheorie ist das Studium von formalen Beweisen und verschiedenen logischen Deduktionssystemen. Beweise werden als mathematische Objekte dargestellt, um sie mittels mathematischer Techniken untersuchen zu können. Frege beschäftigte sich mit mathematischen Beweisen und formalisierte den Begriff des Beweises.
  • Modelltheorie ist das Studium der Modelle von formalen Theorien. Die Menge aller Modelle einer bestimmten Theorie nennt man elementare Klasse. Die klassische Modelltheorie versucht, die Eigenschaften von Modellen einer bestimmten elementaren Klasse zu bestimmen, oder ob bestimmte Klassen von Strukturen elementar sind. Die Methode der Quantorenelimination wird benutzt, um zu zeigen, dass die Modelle von gewissen Theorien nicht zu kompliziert sein können.
  • Rekursionstheorie, auch Berechenbarkeitstheorie genannt, ist das Studium von berechenbaren Funktionen und den Turinggraden, welche die nicht berechenbaren Funktion nach dem Grad ihrer Nicht-Berechenbarkeit klassifizieren. Weiterhin umfasst die Rekursionstheorie auch das Studium von verallgemeinerter Berechenbarkeit und Definierbarkeit.

Die Grenzen zwischen diesen Gebieten und auch zwischen der mathematischen Logik und anderen Bereichen der Mathematik sind nicht immer genau definiert. Zum Beispiel ist der Unvollständigkeitssatz von Gödel nicht nur in der Rekursionstheorie und der Beweistheorie von größter Bedeutung, sondern er führte auch zum Satz von Löb, welcher in der Modallogik wichtig ist. Die Kategorientheorie benutzt ebenfalls viele formale, axiomatische Methoden, die denen der mathematischen Logik sehr ähnlich sind. Allerdings wird Kategorientheorie üblicherweise nicht als Teil der mathematischen Logik angesehen.

Verbindungen zur Informatik

Es gibt viele Verbindungen zwischen der mathematischen Logik und der Informatik. Teile der mathematischen Logik werden im Bereich der theoretischen Informatik behandelt. Viele Pioniere der Informatik, wie etwa Alan Turing, waren ebenfalls Mathematiker und Logiker.

Wichtige Resultate

  • Das Löwenheim-Skolem-Theorem (1919) besagt, dass eine Theorie in einer abzählbaren Sprache der ersten Ordnung, die ein unendliches Modell besitzt, Modelle jeder unendlichen Kardinalität besitzt.
  • Der Vollständigkeitssatz (1929) (von Gödel) zeigte die Äquivalenz von semantischem und syntaktischem Folgern in der klassischen Prädikatenlogik der ersten Stufe.
  • Der Unvollständigkeitssatz (1931) (von Gödel) zeigte, dass kein genügend starkes formales System seine eigene Konsistenz beweisen kann.
  • Die algorithmische Unlösbarkeit des Entscheidungsproblems, von Alan Turing und Alonzo Church 1936 unabhängig entdeckt, zeigte, dass kein Computerprogramm benutzt werden kann, um korrekt zu entscheiden, ob eine beliebige mathematische Aussage wahr ist.
  • Die Unabhängigkeit der Kontinuumshypothese von ZFC zeigte, dass ein elementarer Beweis oder Widerlegung der Hypothese unmöglich ist. Die Tatsache, dass ZFC zusammen mit der Kontinuumshypothese konsistent ist (falls ZFC konsistent ist), wurde von Gödel 1940 erbracht. Die Tatsache, dass die Negation der Kontinuumshypothese zusammen mit ZFC ebenfalls konsistent ist (falls ZFC konsistent ist) wurde 1963 von Paul Cohen bewiesen.
  • Die algorithmische Unlösbarkeit von Hilberts zehntem Problem wurde 1970 von Juri Matijassewitsch gezeigt. Er hat bewiesen, dass es kein Computerprogramm gibt, welches korrekt entscheidet, ob ein Polynom in mehreren Variablen mit ganzzahligen Koeffizienten ganzzahlige Nullstellen hat.

Literatur


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • mathematische Logik — mathematische Logik,   im weiteren Sinn die formale Logik, wobei unterstellt wird, dass formales Operieren immer mathematischer Natur sei; im engeren Sinn diejenigen Teilgebiete der formalen Logik, die sich mit für die Mathematik methodologisch… …   Universal-Lexikon

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

  • Logik höherer Stufe — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… …   Deutsch Wikipedia

  • Logik — Lo̲·gik die; ; nur Sg; 1 eine Denkweise, bei der jeder Gedanke sinnvoll oder notwendigerweise zum nächsten führt <eine strenge, konsequente Logik>: In dem Satz ,,Er aß sehr viel, weil er keinen Hunger hatte fehlt die Logik 2 die… …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

  • Mathematische Zeichen — Mathematische Zeichen, in der Mathematik übliche Abkürzungen. Die gebräuchlichsten sind: = gleich; ≡ identisch gleich, kongruent (in der Zahlentheorie); > größer als; < kleiner als; oder =|= nicht gleich; ähnlich; ≅… …   Lexikon der gesamten Technik

  • mathematische Linguistik — mathematische Linguịstik,   linguistische Teildisziplin, die Methoden der Mathematik (z. B. Gruppentheorie, Automatentheorie) und der formalen Logik zur expliziten Darstellung einer natürlichen Sprache und aller in ihr möglichen Kombinationen… …   Universal-Lexikon

  • Mathematische Notation — Als Notation bezeichnet man in Mathematik, Logik und Informatik die Schreibweise von Formeln und Ausdrücken mittels mathematischer Symbole. Die mathematische Notation entspricht einer Sprache, die formaler ist als viele natürliche Sprachen und… …   Deutsch Wikipedia

  • Mathematische Strenge — Aristoteles, Begründer der Logik Unter mathematischer Strenge (in etwas anderem Zusammenhang oft auch mathematischer Präzision) wird eine klare logische Vorgehensweise innerhalb der Mathematik verstanden. Sie umfasst zum einen die axiomatische… …   Deutsch Wikipedia

  • Mathematische Grundlagen — Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die… …   Deutsch Wikipedia