Konstruktive Mathematik

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Der mathematische Konstruktivismus nimmt an dass es notwendig ist mathematisches Objekt zu finden bzw. zu konstruieren zu beweisen dass es existiert.

Nimmt man hingegen an dass ein Objekt nicht existiert und stellt einen Widerspruch dieser Annahme her so ist nach der des mathematischen Konstruktivismus die Existenz des Objekts bewiesen.

Der Konstruktivismus wird oft mit dem Intuitionismus verwechselt. Der Intuitionismus ist jedoch nur Art des Konstruktivismus. Der Intuitionismus hat die dass die Grundlagen der Mathematik durch die Intuition bestimmt wird also wesentlich in der Aktivität des Mathematikers liegt.

Der Konstruktivismus lässt dagegen auch eine Sicht der Mathematik zu.

Mathematiker die zum Konstruktivismus beigetragen haben

Leopold Kronecker
L.E.J. Brouwer
Errett Bishop

Zweige der konstruktivistischen Mathematik sind

Konstruktivistische Logik
Konstruktivistische Typentheorie
Konstruktivistische Analysis

Siehe auch:

Mathematischer Intuitionismus
Finitismus

Bücher zum Thema Konstruktive Mathematik

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Konstruktive_Mathematik.html">Konstruktive Mathematik </a>