Konstruktive Mathematik

Konstruktive Mathematik

Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den Standpunkt vertritt, dass mathematische Aussagen keine Beschreibung von ontologischen Objekten sind, die unabhängig von unserem Denken existieren, sondern dass diese lediglich über Objekte reden, die sich konstruieren lassen. Mathematische Aussagen der Form „Es gibt …“ (bspw.: „Es gibt irrationale Zahlen a, b, so dass ab rational ist.“) seien daher eine uneigentliche Ausdrucksweise und durch Sätze der Form „Wir können … konstruieren“ zu ersetzen.[1]

Inhaltsverzeichnis

Entwicklung

Erste Ansätze zur konstruktiven Mathematik stammen aus dem Intuitionismus von L. E. J. Brouwer. Weitere Ansätze wurden von Hermann Weyl, Andrei Nikolajewitsch Kolmogorow und Erret A. Bishop, Arend Heyting, Solomon Feferman, Paul Lorenzen, Michael J. Beeson und Anne Sjerp Troelstra entwickelt. Der insbesondere durch Weyl vertretene Konstruktivismus war eine der Positionen, die sich Anfang des 20. Jahrhundert im Grundlagenstreit der Mathematik gegenüberstanden, er konnte sich dabei aber nicht durchsetzen.

Theorie

In einem konstruktiven Beweis werden die mathematischen Objekte und Lösungen von Problemen tatsächlich konstruiert. Joseph Liouville lieferte zum Beispiel eine transzendente Zahl bei seinem Beweis, dass es transzendente Zahlen gibt. Georg Cantor dagegen führte den entsprechenden Beweis nicht-konstruktiv, also ohne ein Beispiel angeben zu müssen.[2]

Die konstruktive Mathematik vermeidet ausdrücklich nicht-konstruktive Beweise und kommt mit der intuitionistischen Logik aus, die keine nicht-konstruktiven Beweise zulässt. Wird etwa (wie in einem indirekten Beweis) aus der Falschheit einer negierten Behauptung diese Behauptung selbst gefolgert, so wird dabei eine logische Schlussform verwendet, die nicht zur Konstruktion zwingt.[3] Der wesentliche Kernpunkt des Konstruktivismus besteht also darin, nur jene Sätze zu formulieren, deren Objekte (und Problemlösungen) konstruierbar sind: Dieser Anspruch führt dazu, Anwendungen des Satzes vom ausgeschlossenen Dritten sowie des Auswahlaxioms abzulehnen, da mit beiden Sätzen[4] auch Aussagen über mathematische Objekte (bzw. Lösungen) hergeleitet werden können, ohne anzugeben, wie sie konstruiert werden.

In der Arithmetik lässt sich immer beides durchführen, konstruktive Beweise und nicht-konstruktive Beweise. Die eigentliche Diskussion um die Grundlagen der Mathematik tritt erst in der Analysis auf:

Reelle Zahlen lassen sich auf der Konvergenztheorie für Rationale Zahlen aufbauend, als Äquivalenzklassen einer geeignet gewählten Äquivalenzrelation auf den Rationalen Cauchyfolgen definieren. Eine irrationale Zahl ist dann also, ähnlich wie die ihnen zugrunde liegenden rationalen Zahlen, eine Menge.[5]

Beispiel:

a_1:=1,\quad a_{i+1}:=\frac{a_i}{2} + \frac{1}{a_i}

Die Folge (a_i)_{i\in \mathbb{N}} hat als rationale Zahlenfolge keinen Grenzwert. Sie ist aber eine Cauchyfolge. Die Menge der zu (a_i)_{i\in \mathbb{N}} Äquivalenten rationalen Cauchyfolgen, [(a_i)_{i\in \mathbb{N}}], wird mit dem Symbol \sqrt{2} bezeichnet, ersteinmal ohne dass die Wurzel eine Bedeutung hätte. Für Äquivalenzklassen werden dann die Verknüpfungen + und  \cdot eingeführt und es zeigt sich, dass tatsächlich  \sqrt{2}  \cdot \sqrt{2} = [2] gilt.

So lassen sich als Grundlage für eine konstruktivistische Analysis alle nötigen reellen Zahlen bestimmen. Da eine Menge mit ausschließlich konstruierten reellen Zahlen nie alle reellen Zahlen enthalten kann, betrachten Konstruktivisten immer nur konstruierbare Teilmengen der Menge aller reellen Zahlen \mathbb{R} oder benutzen indefinite Quantoren (das Wort alle wird dann nicht wie in der konstruktiven Logik benutzt) zur Bestimmung von \mathbb{R}.

Da jede Konstruktionsanweisung eine endliche Folge von Anweisungen aus einer endlichen Menge Σ ist, gibt es eine bijektive Funktion f: \Sigma^* \rightarrow \mathbb N. Also sind diese konstruktivistischen Mengen reeller Zahlen abzählbar. Aus Cantors Diagonalbeweis folgt, dass die jeweilige Menge konstruktivistisch-reeller Zahlen eine niedrigere Kardinalität hat als die Menge aller reellen Zahlen und somit eine echte Teilmenge von ihr ist. Konstruktivisten vertreten den Standpunkt, dass man nur konstruierbare reelle Zahlen für Anwendungen braucht und fassen die cantorschen Diagonalargumente als Konstruktionsvorschrift auf, Mengen reeller Zahlen abzählbar zu erweitern.[6]

Standpunkt der Mathematiker

Traditionell sind die meisten Mathematiker misstrauisch, wenn nicht sogar kritisch gegenüber dem mathematischen Konstruktivismus eingestellt, größtenteils wegen der Einschränkungen, welche die konstruktive Analysis fordert. Diese Ansichten wurden von David Hilbert deutlich zur Sprache gebracht: „Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.“ Mit dem Paradies war die Mengenlehre gemeint, die trotz ihrer Paradoxien eine besondere Bereicherung der theoretischen Mathematik darstellte und Aspekte beinhaltet, die eine weit über die konstruktive Mathematik hinausgehende Grundlage der modernen Mathematik schuf. Die konstruktivistische Mathematik enthält nicht den ganzen Satzbestand der Mathematik.

Insbesondere in der Analysis halten die meisten Mathematiker die Einschränkungen der konstruktiven Mathematik für unnötig und haben Ende des 20. Jahrhunderts die Analysis um etliche Gebiete erweitert, die nicht konstruktiv rekonstruierbar sind. Mathematische Konstruktivisten wie Bishop und Lorenzen versuchten dagegen, möglichst die konstruktive Analysis zu retten. Errett Bishop strebte 1967 in seinem Buch Foundations of Constructive Analysis an, Zweifel durch die Entwicklung eines großen Teils der Analysis nach konstruktivistischen Prinzipien zu entkräften. Auch der deutsche Mathematiker und Philosoph Paul Lorenzen zeichnete die klassische Analysis konstruktiv nach.[7] Lorenzen begann zunächst mit einer operativen Mathematik und Logik und führte später die so genannte Abstraktion in den Aufbau (Hugo Dingler) der Mathematik ein. Terme werden zum Beispiel nach Lorenzen durch Abstraktion (von den Unterschieden) zu Funktionen. Diesem mathematisch-philosophischen Ansatz, der auch in den Erlanger Konstruktivismus einfloss, geht es um einen Aufbau der Mathematik durch die ausübende und kalkulierende Tätigkeit des Mathematikers.

Unabhängig von konstruktiven Ausarbeitungen sehen jedoch nahezu alle Mathematiker keine Notwendigkeit, sich auf konstruktivistische Verfahren zu beschränken.

Siehe auch

Schriften konstruktiver Mathematiker

  • du Bois-Reymond, Paul: Allgemeine Functionentheorie. Tübingen 1882
  • Beeson, Michael: Foundations of Constructive Mathematics. Springer-Verlag, Heidelberg 1985
  • Bishop, Errett: Foundations of Constructive Analysis. McGraw-Hill, New York 1967
  • Bridges, D., and Richman, F.: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97, Cambridge: Cambridge University Press 1987.
  • Kronecker, Leopold: Vorlesungen über die Theorie der einfachen und der vielfachen Integrale. Hrsg: Netto, Eugen, Leipzig Teubner 1894
  • Martin-Löf, P.: Notes on Constructive Analysis. Almquist & Wixsell, Stockholm 1968.
  • Lorenzen, Paul: Maß und Integral in der konstruktiven Analysis. Mathematische Zeitung 54: 275
  • Lorenzen, Paul: Einführung in die operative Logik und Mathematik. Berlin/Göttingen/Heidelberg 1955
  • Lorenzen, Paul: Metamathematik. Mannheim 1962
  • Lorenzen, Paul: Differential und Integral. Eine konstruktive Einführung in die klassische Analysis. Frankfurt 1965
  • Lorenzen, Paul: Konstruktive Wissenschaftstheorie. Frankfurt 1974
  • Lorenzen, Paul: Lehrbuch der konstruktiven Wissenschaftstheorie. Zürich 1987, Stuttgart 2000 ISBN 3-476-01784-2
  • Lorenzen, Paul: Elementargeometrie als Fundament der Analytischen Geometrie. Mannheim/Zürich/Wien 1983, ISBN 3-411-00400-2
  • Zahn, Peter: Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis. (Broschiert) 1978, ISBN 3534077679

Literatur

Weblinks

Einzelnachweise

  1. Douglas Bridges: Constructive Mathematics, in: Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)
  2. Beispiel siehe Konstruktivismus in: Serres, Michel; Nayla Farouki: Thesaurus der exakten Wissenschaften. Zweitausendeins, Frankfurt am Main 2001, 508
  3. Zum Verhältnis von Konstruktivismus und Intuitionismus siehe auch Matthias Baaz and Rosalie Iemhoff: Konstruktivismus und Intuitionismus! In: Internationale Mathematische Nachrichten 201 (2006)
  4. Vgl.: Bridges, l. c.! Ohnehin benutzt bereits das Auswahlaxiom den Satz von ausgeschlossenen Dritten: N. D. Goodman, J. Myhill (1978): Choice Implies Excluded Middle. In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 24, 461.
  5. Bei Paul Lorenzen wird dagegen eine irrationale Zahl durch Abstraktion bestimmt. Von den Unterschieden zweier Folgen wird abgesehen, wenn ihre Differenz eine Nullfolge ist.
  6. vergleiche: Paul Lorenzen, Elementargeometrie
  7. P.Lorenzen, Differential und Integral

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • konstruktive Mathematik — konstruktive Mathematik,   Konstruktivismus …   Universal-Lexikon

  • Konstruktive Wissenschaftstheorie — Der Erlanger Konstruktivismus – auch als Konstruktivismus der „Erlanger Schule“ und neuerdings Methodischer Konstruktivismus bezeichnet – ist als ein methodenkritischer Ansatz in der Wissenschaftstheorie bekannt geworden. Als Schule wurde er von… …   Deutsch Wikipedia

  • Konstruktive Interferenz — Interferenz zweier Kreiswellen: Wellenlänge von oben nach unten zunehmend, Abstand der Zentren zunehmend nach rechts. In den dunklen Bereichen (um die Interferenzminima) liegt destruktive und in den hellen (Maxima) konstruktive Interferenz vor …   Deutsch Wikipedia

  • Konstruktivistische Mathematik — Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den Standpunkt vertritt, dass mathematische Aussagen keine Beschreibung von ontologischen Objekten sind, die unabhängig von unserem Denken existieren,… …   Deutsch Wikipedia

  • Intuitionistische Mathematik — Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als freie, rein intuitive Tätigkeit des exakten Denkens angesehen wird und die den… …   Deutsch Wikipedia

  • Geschichte der Mathematik — Die Geschichte der Mathematik reicht zurück bis ins Altertum. Inhaltsverzeichnis 1 Mathematik der alten Ägypter und Babylonier 1.1 Ägypten 1.2 Babylon 2 Mathem …   Deutsch Wikipedia

  • Beweis (Mathematik) — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… …   Deutsch Wikipedia

  • Span (Mathematik) — In der linearen Algebra ist die lineare Hülle einer Teilmenge A (eines K Vektorraums V) die Menge aller Linearkombinationen mit Vektoren aus A und Skalaren des Körpers K. Die lineare Hülle bildet einen Untervektorraum. Dieser ist gleichzeitig der …   Deutsch Wikipedia

  • Menge (Mathematik) — Die Menge ist eines der wichtigsten und grundlegenden Konzepte der Mathematik. Man fasst im Rahmen der Mengenlehre einzelne Elemente (beispielsweise Zahlen) zu einer Menge zusammen. Eine Menge muss kein Element enthalten (diese Menge heißt die… …   Deutsch Wikipedia

  • Intuitionismus (Logik und Mathematik) — Der Intuitionismus ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als Tätigkeit des exakten Denkens angesehen wird, die ihre eigenen Objekte hervorbringt und nicht voraussetzt. Wahrheit… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”