Handytarife

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

• Formalisierte Theorie
• Axiom
• Metamathematik
• Beweistheorie
• Modelltheorie
• Metalogik

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