That Damned Equation. Rigour, Credit Attribution, and the Wheeler-DeWitt Equation 1962-1967

Dieser Aufsatz vertritt die These, dass die internen Normen der Strenge in der theoretischen Physik der Mitte des 20. Jahrhunderts die Ermöglichung konkreter Berechnungen vor abstrakter Wahrheit priorisierten, eine These, die durch eine historische Fallstudie gestützt wird, welche zeigt, dass der entscheidende Fortschritt in der Entwicklung der Wheeler-DeWitt-Gleichung (1962–1967) nicht in ihrer ursprünglichen Formulierung bestand, sondern in ihrer nachfolgenden „Strengherstellung" durch die Definition eines Skalarprodukts.

Das Wesentliche

Die große Idee: Was ist „Strenge" in der Physik?

Stellen Sie sich vor, Sie versuchen, ein Haus zu bauen.

• Mathematiker sind wie Architekten, die verlangen, dass jeder einzelne Ziegel bis auf den Mikrometer gemessen wird, das Fundament perfekt waagerecht ist und die Baupläne strengen, unbrechbaren Gesetzen der Geometrie folgen, bevor ein einziger Nagel eingeschlagen wird.
• Theoretische Physiker sind wie erfahrene Bauleiter. Sie beginnen oft mit einer groben Skizze. Sie könnten sagen: „Wenn wir die Wand so bauen, wird sie das Dach tragen, auch wenn wir den Druck auf jeden einzelnen Ziegel noch nicht perfekt berechnet haben."

Das Papier argumentiert, dass für Physiker „Strenge" nicht perfekte mathematische Vollkommenheit bedeutet. Stattdessen bedeutet es: „Funktioniert das gut genug, damit wir die Mathematik betreiben und das Konzept verstehen können?"

Die Autoren nennen dies „Endogene Strenge" (Regeln, die von innen aus der Physik-Community kommen) im Gegensatz zu „Exogener Strenge" (Regeln, die von außen kommen, wie aus der reinen Mathematik).

Der Star der Show: Die „Verdammte Gleichung"

Das Papier konzentriert sich auf eine berühmte (und frustrierende) Gleichung in der Quantengravitation, die Wheeler-DeWitt-Gleichung genannt wird.

• Das Problem: Seit über 50 Jahren haben Mathematiker diese Gleichung betrachtet und gesagt: „Das ist kaputt. Sie ist schlecht definiert. Es ist ein Chaos. Man kann sie nicht wirklich ordentlich lösen."
• Das Paradoxon: Trotz des „mathematischen Defekts" haben Physiker sie als Eckpfeiler ihres Fachgebiets behandelt. Warum?

Das Papier fragt: Wenn sie so kaputt ist, warum schreiben Physiker John Wheeler und Bryce DeWitt die „Entdeckung" zu? Und warum hielten sie sie damals für einen Erfolg?

Das Rätsel des „Kredits"

In den 1960er Jahren arbeiteten viele kluge Leute daran, Gravitation und Quantenmechanik zu vereinen.

• Der „Offensichtliche" Teil: Mehrere Personen (darunter ein Physiker namens Asher Peres) hatten bereits eine Gleichung aufgeschrieben, die der Wheeler-DeWitt-Gleichung fast genau glich. Es war eine einfache Übersetzung einer alten Idee in eine neue Sprache.
• Der Streit: Wenn die Gleichung nur eine einfache Umschreibung war, warum nennen wir sie dann die „Wheeler-DeWitt-Gleichung"? Warum nannten sie sie nicht die „Peres-Gleichung"?

Die Autoren argumentieren, dass Wheeler und DeWitt nicht dafür Anerkennung erhielten, die Gleichung aufgeschrieben zu haben. Sie erhielten Anerkennung dafür, sie „strenge genug" gemacht zu haben, um sie zu nutzen.

Der eigentliche Durchbruch: Das „Skalarprodukt" (Das Maßband)

Hier ist die kreative Analogie für die Hauptentdeckung des Papiers:

Stellen Sie sich vor, Sie haben eine Karte eines neuen Landes (die Gleichung).

• Die Gleichung: Das ist die Karte selbst. Sie zeigt die Berge und Flüsse.
• Das Skalarprodukt: Das ist das Lineal und der Kompass. Ohne ein Lineal ist die Karte nur ein hübsches Bild. Sie können keine Entfernungen messen, nicht berechnen, wie weit es zum nächsten Ort ist, und Sie können sich nicht orientieren.

Was Wheeler und DeWitt taten:

1. Wheeler hatte eine große, intuitive Vision davon, wie die „Karte" aussehen sollte (ein Raum aller möglichen 3D-Formen des Universums).
2. DeWitt lieferte das Lineal (das „Skalarprodukt"). Er fand heraus, wie man den „Abstand" zwischen zwei verschiedenen Formen des Universums misst.

Warum das wichtig war:
Bevor DeWitt sein „Lineal" hinzugefügt hatte, war die Gleichung nur eine vage Idee. Man konnte damit keine tatsächlichen Berechnungen durchführen. Man konnte nicht fragen: „Wie hoch ist die Wahrscheinlichkeit, dass diese Form auftritt?", weil man keine Möglichkeit hatte, sie zu messen.

DeWitts Beitrag war eine spezifische Formel für diese Messung (das Skalarprodukt). Obwohl moderne Mathematiker sagen würden, DeWitts Lineal ist immer noch etwas „wackelig" (es ist nicht streng nach mathematischen Standards definiert), war es zu dieser Zeit das erste Mal, dass Physiker die Gleichung tatsächlich aufnehmen und Berechnungen durchführen konnten.

Die Geschichte vom „Flughafen-Treffen"

Das Papier verwendet eine historische Detektivgeschichte, um diesen Punkt zu beweisen.

• Der Mythos: Wheeler und DeWitt trafen sich an einem Flughafen, und DeWitt sagte: „Hier ist die Gleichung!" und beide wurden aufgeregt.
• Die Realität (basierend auf Notizbüchern): Wheeler war tatsächlich festgefahren. Er hatte die Gleichung, war aber frustriert, weil er nicht wusste, wie man damit Dinge misst. Er fragte: „Wie normiere ich das? Wie integriere ich über diesen Raum?"
• Der Brief: DeWitt sandte Wheeler einen Brief, bevor sie sich am Flughafen trafen. In diesem Brief gab DeWitt ihm nicht nur die Gleichung; er gab ihm die Formel für das Skalarprodukt.
• Die Reaktion: Als sie sich trafen, war Wheeler begeistert. Nicht wegen der Gleichung selbst (die war offensichtlich), sondern weil DeWitt ihm endlich das Werkzeug zum Berechnen gegeben hatte.

Der „Strenge Zauber" versus die „Verdammte Gleichung"

Das Papier stellt dies anderen berühmten Momenten in der Physik gegenüber, wie der Arbeit von Paul Dirac.

• Diracs Zauber: Dirac verwendete einige „magische" mathematische Tricks (wie die Delta-Funktion), die nicht streng definiert waren. Später kamen Mathematiker und „reparierten" sie und bewiesen, dass sie funktionierten. Dies wird als „Strenge Magie" bezeichnet.
• Der Wheeler-DeWitt-Fall: Das ist kein Zauber. Die Gleichung wurde von Mathematikern niemals repariert. Sie ist immer noch nach strengen mathematischen Standards „kaputt".
  • Der Punkt: Die Autoren argumentieren, dass wir Wheeler und DeWitt nicht nach dem „kaputten" Standard beurteilen sollten. Sie hatten Erfolg, weil sie den Standard des Physikers erfüllten: „Ermöglicht uns dies, zu berechnen und die Welt zu verstehen?" Ja, das tat es.

Das Fazit

Das Papier kommt zu dem Schluss, dass die Geschichte der Wissenschaft oft falsch liegt, wenn sie nach „perfekten" mathematischen Beweisen sucht.

• Der wahre Grund für den Kredit: Wheeler und DeWitt sind berühmt, nicht weil sie eine perfekte Gleichung aufschrieben, sondern weil sie die erste funktionierende Version lieferten, die es Physikern ermöglichte, aufhören, auf ein leeres Blatt zu starren, und mit Berechnungen zu beginnen.
• Die Lehre: In der Physik geht es bei „Strenge" nicht darum, perfekt zu sein. Es geht darum, nützlich zu sein. Es geht darum, die Barrieren zu beseitigen, die Sie davon abhalten, die Mathematik zu betreiben. Die „Verdammte Gleichung" ist „verdammt", weil sie mathematisch chaotisch ist, aber sie ist auch „gesegnet", weil sie es den Physikern endlich ermöglichte, das Gespräch über Quantengravitation zu beginnen.

Kurz gesagt: Sie erhielten keinen Kredit dafür, das Lied zu schreiben; sie erhielten Kredit dafür, die Gitarre zu stimmen, damit das Lied endlich gespielt werden konnte.

Technische Zusammenfassung

Technische Zusammenfassung: Strenge, Zuschreibung von Verdiensten und die Wheeler-DeWitt-Gleichung 1962–1967

Problemstellung
Der Artikel behandelt ein historiografisches und philosophisches Rätsel bezüglich der Zuschreibung von Verdiensten für die Wheeler-DeWitt-Gleichung, die definierende Gleichung der kanonischen Quantengravitation. Obwohl die Gleichung mathematisch schlecht definiert, singulär ist und es an einer rigorosen Maßzahl für ihr Skalarprodukt mangelt (ein Status, der mehr als ein halbes Jahrhundert nach ihrer Aufstellung bestehen bleibt), wird sie nach John Wheeler und Bryce DeWitt benannt. Standardgeschichtliche Narrative schreiben ihnen oft lediglich die Formulierung der funktionalen Differentialgleichung $\hat{H}\Psi = 0$ zu. Die Autoren stellen jedoch fest, dass die formale Struktur dieser Gleichung im Wesentlichen eine triviale Umschreibung der von Asher Peres 1962 hergeleiteten Einstein-Hamilton-Jacobi-Gleichung war und dass die schematische Form $\hat{H}\Psi = 0$ bereits in früheren Arbeiten von Dirac und Bergmann aufgetreten war.

Das zentrale Problem besteht darin, zu erklären, warum Wheeler und DeWitt die Hauptverdienste für eine Gleichung erhielten, die weder nach externen (mathematischen) Standards mathematisch wohldefiniert war noch eine neuartige funktionale Form darstellte. Die Autoren hinterfragen das „exogene" Verständnis von Strenge – die Vorstellung, physikalische Strenge sei lediglich die Anwendung mathematischer Strengestandards (Beweis, formale Definition) –, indem sie argumentieren, dass diese Sichtweise den Erfolg der Gleichung unerklärlich macht oder sie als „rigorose Magie" bezeichnet.

Methodik
Die Autoren wenden einen historischen Fallstudienansatz an, bei dem sie Archivmaterialien (unveröffentlichte Notizbücher, Briefe und Förderberichte aus den Jahren 1962–1967) zusammen mit veröffentlichten Aufzeichnungen analysieren. Sie stellen zwei konkurrierende Strengekonzepte gegenüber:

1. Exogene Strenge: Strenge, definiert durch mathematische Standards (formale Beweise, wohldefinierte Objekte). Die Autoren argumentieren, dass dies die Akzeptanz der Wheeler-DeWitt-Gleichung nicht erklären kann, da die Gleichung mathematisch schlecht definiert bleibt.
2. Endogene Strenge: Strenge, definiert durch die internen Normen der Praxis der theoretischen Physik. Die Autoren gehen davon aus, dass für Physiker Mitte des 20. Jahrhunderts Strenge nicht um ihrer selbst willen oder zur Befriedigung mathematischer Logik verfolgt wurde, sondern um Hindernisse für konkrete Berechnungen und klare Konzeptualisierungen zu beseitigen.

Der Artikel untersucht drei historische Fälle „rigoroser Magie" (Diracs Delta-Funktion, Bra-Ket-Notation und Dirac-Constraint-Quantisierung), bei denen heuristische Methoden später mathematisch präzisiert wurden. Er argumentiert, dass sich die Wheeler-DeWitt-Gleichung von diesen Fällen dadurch unterscheidet, dass sie nicht mathematisch präzisiert wurde, dennoch aber als gültiges physikalisches Modell akzeptiert wurde.

Hauptbeiträge und Analyse
Der primäre Beitrag des Artikels ist die Rekonstruktion des spezifischen historischen Kontexts, in dem die Wheeler-DeWitt-Gleichung entwickelt wurde, sowie die Identifizierung der spezifischen „endogenen" Rigorisierung, die ihre Akzeptanz und die Zuschreibung von Verdiensten rechtfertigte.

• Die Rolle des Skalarprodukts: Die Autoren belegen durch Archivmaterial (insbesondere DeWitts Brief an Wheeler von 1964 und die darauffolgenden Notizbucheinträge Wheelers), dass der entscheidende Schritt nicht die Herleitung der funktionalen Form der Gleichung war, sondern die Bereitstellung eines funktionalen Integralausdrucks für das Skalarprodukt.
• DeWitts Beitrag: DeWitt lieferte eine Vorschrift für das Skalarprodukt (analog zum Klein-Gordon-Skalarprodukt) und eine spezifische Operatorordnung. Obwohl diese mathematisch nicht streng waren (das Maß war nicht endlich, positiv oder für einen $L^2$-Raum wohldefiniert), erfüllten sie die endogenen Normen der Zeit, indem sie die Konzeptualisierung der Wellenfunktion auf dem „Superraum" (dem Raum der 3-Geometrien) ermöglichten und die Diskussion konkreter physikalischer Probleme, wie etwa des gravitativen Kollaps, zuließen.
• Wheelers Beitrag: Wheelers Notizbücher zeigen, dass sein „größtes Rätsel" das Fehlen eines Normierungsintegrals und die Unfähigkeit, Berechnungen durchzuführen, aufgrund der Ambiguität des Konfigurationsraums war (insbesondere, wie mit dem zeitlichen Freiheitsgrad innerhalb der 3-Geometrie umzugehen sei). DeWitts Skalarprodukt löste diese konzeptionelle Blockade.
• Neubewertung der Verdienste: Der Artikel argumentiert, dass Wheeler und DeWitt nicht dafür Verdienste zugeschrieben wurden, die Gleichung aufgeschrieben zu haben (was Peres und andere effektiv getan hatten), sondern dafür, sie im endogenen Sinne „rigorisiert" zu haben: Sie stellten die notwendigen formalen Werkzeuge (Skalarprodukt und Operatorordnung) bereit, um das Modell für den Zweck von Berechnungen und konzeptioneller Klarheit innerhalb der Physikergemeinschaft wohldefiniert zu machen.

Ergebnisse
Die Analyse ergibt folgende spezifische Ergebnisse:

1. Ablehnung von „Rigoroser Magie": Die Wheeler-DeWitt-Gleichung ist kein Beispiel für „rigorose Magie" (heuristischer Erfolg, der später durch Mathematik behoben wurde). Sie bleibt mathematisch schlecht definiert. Ihre Akzeptanz basierte auf ihrer Nützlichkeit bei der Beseitigung von Berechnungshindernissen, nicht auf ihrer mathematischen Gültigkeit.
2. Endogene Strenge als Treiber: Die erfolgte „Rigorisierung" war intern zur theoretischen Physik. Sie bestand darin, semi-formale Konstruktionen in Modelle zu überführen, die Größen von Interesse liefern konnten, anstatt externen mathematischen Beweisen zu genügen.
3. Historische Korrektur: Die Standardnarrative, die Wheeler und DeWitt die Entdeckung der Gleichung zuschreiben, sind falsch. Ihnen werden die Rigorisierung der Gleichung durch das Skalarprodukt und die Operatorordnung zugeschrieben, die eine heuristische Nebenbedingung in ein brauchbares (wenn auch mathematisch problematisches) physikalisches Modell verwandelten.
4. DeWitts eigene Sicht: Archivmaterial zeigt, dass DeWitt das Skalarprodukt selbst als seinen Hauptbeitrag ansah und in einem Förderbericht von 1964 festhielt, dass ohne den funktionalen Integralausdruck für das Skalarprodukt fundamentale Probleme der kanonischen Quantengravitation nicht in „konkreter Form" diskutiert werden könnten.

Bedeutung
Der Artikel beansprucht Bedeutung für die Philosophie und Geschichte der Wissenschaft durch:

• Neudefinition von Strenge: Er argumentiert, dass der für die theoretische Physik relevante Strengebegriff endogen ist und sich auf die Ermöglichung von Berechnungen und konzeptioneller Klarheit konzentriert, nicht auf mathematische Beweise. Dies stellt die Annahme in Frage, dass die Physik immer mathematischer Rigorisierung anstreben muss, um gültig zu sein.
• Erklärung der Verdienstzuschreibung: Er liefert eine kohärente Erklärung dafür, warum Wheeler und DeWitt trotz der mathematischen Mängel der Gleichung Verdienste erhielten, indem er das Erfolgsmaß von der mathematischen Wohldefiniertheit auf die endogene Nützlichkeit verschiebt und so das historiografische Rätsel löst.
• Kontextualisierung der Quantengravitation: Er hebt hervor, dass in Bereichen wie der Quantengravitation, in denen experimentelle Bestätigung derzeit unzugänglich ist, die internen Normen der Gemeinschaft (endogene Strenge) eine entscheidende Rolle dabei spielen, welche theoretischen Konstrukte akzeptiert und entwickelt werden.

Die Autoren schließen, dass die Wheeler-DeWitt-Gleichung eine erfolgreiche Anwendung endogener Strenge darstellt, wobei die „Rigorisierung" durch das Skalarprodukt der entscheidende Schritt war, der es der Physikergemeinschaft ermöglichte, sich mit dem Problem der Quantengravitation auseinanderzusetzen, obwohl die Gleichung nach externen Standards mathematisch „verdammt" bleibt.