Ein Forschungsprogramm und eine Relation, die mathematische Theoreme dadurch klassifizieren, dass die schwächsten Untersysteme der Zweitordnungsarithmetik identifiziert werden, die über einer schwachen Basistheorie äquivalent zu diesen Theoremen sind; untersucht wird, welche Axiome notwendig und hinreichend sind, um bestimmte Resultate zu beweisen.

Prinzip

Das ordnende Prinzip ist Äquivalenz über einer Basistheorie (typischerweise RCA_0): Für ein gegebenes Theorem T findet man ein Untersystem S, so dass T aus S beweisbar ist und S aus T über der Basis beweisbar ist, wodurch die übliche Bewegrichtung »umgekehrt« wird, um minimale axiomatische Stärke zu bestimmen.

Demonstration

Eine Standarddemonstration zeigt, dass viele gewöhnliche mathematische Sätze in eine kleine Hierarchie fallen: etwa sind manche kombinatorischen oder analytischen Aussagen über der Basis äquivalent zu WKL_0 oder ACA_0, was bedeutet, dass jedes dieser Prinzipien aus dem anderen im gewählten Rahmen folgt.

Fehlanwendung

Die reverse-mathematical Klassifikation anzuwenden, ohne eine klare Basistheorie zu fixieren, oder Äquivalenz fälschlich als kontextunabhängig anzusehen (es ist Äquivalenz über der gewählten Basis), oder anzunehmen, das Programm messe ontologische Verpflichtungen statt beweistheoretischer bzw. axiomatischer Stärke in diesem formalen Rahmen.

Konsequenz

Reverse Mathematics liefert eine Taxonomie von Theoremen nach ihren beweistheoretischen Anforderungen, macht klar, welche Axiome für Standardresultate nötig sind, und informiert Grundlagenfragen, indem gezeigt wird, dass viele Theoreme nur schwache Untersysteme benötigen, während andere stärkere Komprehensions- oder Wahlprinzipien erfordern.

Umkehrung

Die Umkehr des Ansatzes zur gewöhnlichen vorwärtsgerichteten Grundlagenanalyse ist das übliche Projekt, Theoreme aus gewählten Axiomen zu beweisen; Reverse Mathematics kehrt dies um, indem sie fragt, welche Axiome sich aus dem Theorem selbst ableiten lassen, und macht das Theorem zum Ausgangspunkt der axiomatischen Charakterisierung.

Abgrenzung

Wirkt innerhalb des Rahmens der Zweitordnungsarithmetik (oder einer gewählten Variante) relativ zu einem spezifizierten Basissystem; schließt Schlussfolgerungen über Notwendigkeit in informeller Mathematik ohne formale Übersetzung aus und ist empfindlich gegenüber Kodierungs- und Formulierungsentscheidungen.

Semantische Spannung

Reverse Mathematics steht im Spannungsfeld zu anderen fundierenden Programmen, die andere Maße betonen (Mengensexistenzaxiome, kategorientheoretische Rahmen, modelltheoretische Interpretierbarkeit); es gibt Debatten darüber, ob die wenigen zentralen Untersysteme die philosophische Bedeutung von Theoremen außerhalb arithmetischer Codierungen erfassen.

Synthese

Reverse Mathematics ist die Methode, minimale formale Axiome für Theoreme zu bestimmen, indem zweiseitige Äquivalenzen über einem Basissystem bewiesen werden; so entsteht eine strukturierte Hierarchie, die die exakte axiomatische Stärke offenlegt, die für weite Klassen mathematischer Resultate erforderlich ist.