Formalismus (Mathematik)

Formalismus (Mathematik)

Der Formalismus ist eine von David Hilbert gegründete Schulrichtung der Grundlagenforschung in der Mathematik.

Zentral ist dabei die Frage wie eine mathematische Folgerung oder Implikation aufzufassen ist. Das Anliegen bestand darin, allein von der Form her die Vollständigkeit und Widerspruchsfreiheit der Axiomensysteme der Mathematik zu beweisen.

In den 1920er Jahren stand der Formalismus (Göttinger Mathematiker) im Grundlagenstreit der Mathematik dem Intuitionismus (Brouwer und Berliner Mathematiker) und dem Logizismus (Gottlob Frege und Bertrand Russell) gegenüber.

Als der Gödelsche Unvollständigkeitssatz zeigte, dass es kein Axiomensystem gibt, welches der formalistischen Aufgabenstellung (Hilbertprogramm) genügt, erlitt der Formalismus eine schwere Niederlage. Andererseits kann man sagen, dass heute fast alle Mathematiker formalistische Axiomatiker sind.

Siehe auch

Literatur

  • David Hilbert/Paul Bernays: Grundlagen der Mathematik, I-II, Berlin/Heidelberg/New York 1968/1970
  • Rosemarie Rheinwald: Der Formalismus und seine Grenzen. Untersuchungen zur neueren Philosophie der Mathematik, Hain, Königstein/Ts. 1984

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • Formalismus — steht für allgemein eine Betonung der äußeren Form unter Vernachlässigung des Inhalts einer Sache in der Mathematik eine Theorie, deren Aussagen durch einen Kalkül gewonnen werden, siehe Formalisierte Theorie eine Richtung im Grundlagenstreit der …   Deutsch Wikipedia

  • Formalismus — For|ma|lịs|mus 〈m.; ; unz.〉 1. Überbetonung der Form, des Formalen, der Äußerlichkeiten 2. Betrachtungsweise, für die die Mathematik nur aus formalen Strukturen besteht, also gewissermaßen ein Spiel mit Symbolen ist * * * For|ma|lịs|mus, der; …   Universal-Lexikon

  • Mathematik — Rechenkunde; Mathe (umgangssprachlich); Rechnen (umgangssprachlich) * * * Ma|the|ma|tik [matema ti:k], die; : Wissenschaft, die sich mit den Beziehungen zahlenmäßiger oder räumlicher Verhältnisse beschäftigt: Mathematik studieren. Zus.:… …   Universal-Lexikon

  • Formalismus — For|ma|lịs|mus 〈m.; Gen.: ; Pl.: unz.〉 1. Überbetonung der Form, des Formalen, der Äußerlichkeiten 2. 〈Math.〉 Betrachtungsweise, für die die Mathematik nur aus formalen Strukturen besteht, also gewissermaßen ein Spiel mit den Symbolen ist …   Lexikalische Deutsches Wörterbuch

  • Formalismus — For|ma|lis|mus der; , ...men <zu ↑...ismus (2 u. 5)>: 1. a) (ohne Plur.) Bevorzugung der Form vor dem Inhalt, Überbetonung des rein Formalen, übertriebene Berücksichtigung von Äußerlichkeiten; b) etwas mechanisch Ausgeführtes; c) (ohne Plur …   Das große Fremdwörterbuch

  • Grundlagenkrise der Mathematik — Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Beginn des 20. Jahrhunderts, die mit der Publikation der Russellschen Antinomie 1903 begann und um das Jahr 1930 endete. In den 20er Jahren… …   Deutsch Wikipedia

  • Grundlagenstreit der Mathematik — Die Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Beginn des 20. Jahrhunderts, die mit der Publikation der Russellschen Antinomie 1903 begann und um das Jahr 1930 endete. In den 20er Jahren… …   Deutsch Wikipedia

  • Philosophie der Mathematik — Die Philosophie der Mathematik ist ein Bereich der theoretischen Philosophie, der anstrebt, Voraussetzungen, Gegenstand, Methode und Natur der Mathematik zu verstehen und zu erklären. Inhaltsverzeichnis 1 Ausgangspunkt 2 Realismus, Platonismus 3… …   Deutsch Wikipedia

  • Grundlagen der Mathematik — Die Grundlagen der Mathematik sind einerseits Teil der Mathematik, andererseits bilden sie einen wichtigen Gegenstand erkenntnistheoretischer Reflexion, wenn diese sich mit den allgemeinen Grundlagen der menschlichen Erkenntnisgewinnung befasst.… …   Deutsch Wikipedia

  • Formalismen — Formalismus steht für allgemein eine Betonung der äußeren Form unter Vernachlässigung des Inhalts einer Sache in der Mathematik eine Theorie, deren Aussagen durch einen Kalkül gewonnen werden, siehe Formalisierte Theorie eine Richtung im… …   Deutsch Wikipedia

Share the article and excerpts

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