Logizismus vs. Formalismus
Was ist die Zahl?
Seit Pythagoras' „Alles ist Zahl“ ringt die Philosophie um die Natur der Zahl. Frege und Hilbert geben zwei berühmte, unvereinbare Antworten: Ist die Zahl ein objektiver logischer Gegenstand – oder bloß ein Zeichen, mit dem wir nach Regeln spielen?
🔊 Anhören — als Streitgespräch mit zwei Stimmen
Gottlob Frege
Eine Zahl ist kein Strich auf Papier und keine Vorstellung im Kopf. Sie ist ein logischer Gegenstand – objektiv und unsinnlich. Eine Zahlangabe ist in Wahrheit eine Aussage über einen Begriff: „Es gibt acht Planeten“ sagt etwas über den Begriff Planet. Die Anzahl ist der Umfang aller mit ihm gleichzahligen Begriffe.
David Hilbert
Mir genügen die Zeichen selbst. Am Anfang steht das Zeichen: der Strich, dann zwei Striche, dann drei. Die Mathematik ist ein Spiel mit solchen Zeichen nach festen Regeln. Ich brauche keine geheimnisvollen „logischen Gegenstände“ in einem überhimmlischen Reich – ich brauche nur Widerspruchsfreiheit.
Gottlob Frege
Aber ein Zeichen ohne Bedeutung ist leer. Wenn „2 + 2 = 4“ wahr ist, muss es von etwas handeln. Deine Striche sind vergänglich, mit Kreide gemalt und weggewischt – die Zahl Zwei aber ist immer dieselbe, ob jemand sie hinschreibt oder nicht. Wahrheit ist nicht das Befolgen einer Spielregel.
David Hilbert
Und doch: Deine logischen Gegenstände stürzten ein. Russells Antinomie traf dein Grundgesetz V mitten ins Herz. Die finite Manipulation der Zeichen aber ist anschaulich sicher; sie blieb stehen, als deine Begriffsumfänge sich in Widersprüche verwickelten.
Gottlob Frege
Die Antinomie traf mein fünftes Grundgesetz – nicht den Gedanken, dass Zahlen objektive Gegenstände sind. Ein Steinschlag am Fundament widerlegt nicht, dass das Haus aus Stein ist. Und sag selbst: Wenn die Zahl nur ein Zeichen wäre – was unterscheidet dann die wahre Arithmetik von einem beliebigen anderen Regelspiel?
David Hilbert
Die Zweckmäßigkeit und die Widerspruchsfreiheit. Existenz in der Mathematik heißt nichts weiter als: widerspruchsfrei. Beweise ich, dass das System nie auf „0 = 1“ führt, so haben seine Zahlen volles Bürgerrecht – ganz ohne platonischen Himmel.
Gottlob Frege
Doch woher weißt du, dass „0 = 1“ falsch ist, wenn nicht aus einer Einsicht in das, was Null und Eins sind? Dein Kalkül setzt die Wahrheit voraus, die er zu ersetzen vorgibt. Die Zahl wird gedacht, nicht gemacht.
David Hilbert
Wir müssen wissen, wir werden wissen – aber wissen heißt: streng beweisen. Lass uns die Striche zählen und die Beweise prüfen; das Übrige ist Metaphysik. Vielleicht trennt uns am Ende weniger die Zahl als das, was wir „Sein“ nennen wollen.
Fazit
Es ist der Grundstreit der Mathematikphilosophie: Logizismus gegen Formalismus. Beide Programme wurden verwundet – Russells Antinomie traf Freges Logik, Gödels Unvollständigkeitssatz Hilberts Formalismus. Die Frage, ob Zahlen Gegenstände, Zeichen oder bloße Strukturen sind, treibt die Philosophie bis heute (Strukturalismus, Neologizismus). Pythagoras' „Alles ist Zahl“ hallt nach – nur weiß niemand sicher, was eine Zahl ist.