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

Dit artikel betoogt dat de interne normen van nauwkeurigheid in de theoretische fysica van het midden van de twintigste eeuw het mogelijk maken van concrete berekeningen prioriteit gaven boven abstracte waarheid, een stelling die wordt ondersteund door een historisch casestudy waaruit blijkt dat de cruciale vooruitgang in de ontwikkeling van de Wheeler-DeWitt-vergelijking (1962–1967) niet de oorspronkelijke formulering van de vergelijking was, maar de daaropvolgende "rigorisering" door de definitie van een inproduct.

De kern

Het Grote Idee: Wat is "Strenge Nauwkeurigheid" in de Fysica?

Stel je voor dat je een huis probeert te bouwen.

• Wiskundigen zijn als de architecten die eisen dat elke enkele baksteen tot op de micrometer wordt gemeten, dat het fundament perfect waterpas is, en dat de blauwdrukken strikte, onbreekbare wetten van de meetkunde volgen voordat er ook maar één spijker wordt geslagen.
• Theoretische fysici zijn als de meesterbouwers. Zij beginnen vaak met een ruwe schets. Zij kunnen zeggen: "Als we de muur op deze manier bouwen, zal hij het dak dragen, zelfs als we de spanning op elke enkele baksteen nog niet perfect hebben berekend."

Het artikel betoogt dat voor fysici "strenge nauwkeurigheid" niet betekent perfecte wiskundige perfectie. In plaats daarvan betekent het "werkt dit goed genoeg om ons de wiskunde te laten doen en het concept te begrijpen?"

De auteurs noemen dit "Endogene Strenge Nauwkeurigheid" (regels die van binnenuit de fysicagemeenschap komen) versus "Exogene Strenge Nauwkeurigheid" (regels die van buiten komen, zoals pure wiskunde).

De Ster van de Show: De "Verdoemde Vergelijking"

Het artikel richt zich op een beroemde (en frustrerende) vergelijking in de kwantumzwaartekracht, de Wheeler-DeWitt-vergelijking.

• Het Probleem: Al meer dan 50 jaar kijken wiskundigen naar deze vergelijking en zeggen: "Dit is kapot. Het is slecht gedefinieerd. Het is een puinhoop. Je kunt het eigenlijk niet goed oplossen."
• Het Paradox: Ondat het "wiskundig kapot" is, hebben fysici het behandeld als een hoeksteen van hun vakgebied. Waarom?

Het artikel vraagt zich af: Als het zo kapot is, waarom schrijven fysici John Wheeler en Bryce DeWitt dan het "ontdekken" ervan toe? En waarom dachten ze er destijds dat het een succes was?

Het Mysterie van de "Erkenning"

In de jaren zestig werkten veel slimme mensen aan hoe zwaartekracht en kwantummechanica te combineren.

• Het "Onduidelijke" Deel: Verschillende mensen (waaronder een fysicus genaamd Asher Peres) hadden al een vergelijking opgeschreven die er bijna exact hetzelfde uitzag als de Wheeler-DeWitt-vergelijking. Het was een simpele vertaling van een oud idee in een nieuwe taal.
• Het Geschil: Als de vergelijking slechts een simpele herschrijving was, waarom noemen we het dan de "Wheeler-DeWitt"-vergelijking? Waarom noemden ze het niet de "Peres"-vergelijking?

De auteurs betogen dat Wheeler en DeWitt geen erkenning kregen voor het opschrijven van de vergelijking. Zij kregen erkenning voor het maken ervan "voldoende streng" om te gebruiken.

De Echte Doorbraak: Het "Innere Product" (Het Meetlint)

Hier is de creatieve analogie voor de belangrijkste ontdekking van het artikel:

Stel je voor dat je een kaart hebt van een nieuw land (de vergelijking).

• De Vergelijking: Dit is de kaart zelf. Het toont de bergen en rivieren.
• Het Innere Product: Dit is de liniaal en het kompas. Zonder een liniaal is de kaart slechts een mooi plaatje. Je kunt afstanden niet meten, je kunt niet berekenen hoe ver het is naar de volgende stad, en je kunt niet navigeren.

Wat Wheeler en DeWitt deden:

1. Wheeler had een groot, intuïtief visioen van hoe de "kaart" eruit moest zien (een ruimte van alle mogelijke 3D-vormen van het universum).
2. DeWitt leverde de liniaal (het "innere product"). Hij bedacht hoe je de "afstand" tussen twee verschillende vormen van het universum moest meten.

Waarom dit belangrijk was:
Voordat DeWitt zijn "liniaal" toevoegde, was de vergelijking slechts een vaag idee. Je kon er geen echte berekeningen mee doen. Je kon niet vragen: "Wat is de waarschijnlijkheid dat deze vorm gebeurt?" omdat je geen manier had om het te meten.

De bijdrage van DeWitt was een specifieke formule voor deze meting (het innere product). Hoewel moderne wiskundigen zouden zeggen dat DeWitts liniaal nog steeds een beetje "wankel" is (het is niet perfect gedefinieerd volgens strikte wiskundige standaarden), was het op dat moment de eerste keer dat fysici de vergelijking daadwerkelijk konden oppakken en berekeningen konden beginnen.

Het Verhaal van de "Luchthavenvergadering"

Het artikel gebruikt een historisch detectiveverhaal om dit punt te bewijzen.

• De Mythe: Wheeler en DeWitt ontmoetten elkaar op een luchthaven, en DeWitt zei: "Hier is de vergelijking!" en ze werden allebei enthousiast.
• De Realiteit (gebaseerd op notitieboeken): Wheeler zat eigenlijk vast. Hij had de vergelijking, maar hij was gefrustreerd omdat hij niet wist hoe hij er dingen mee moest meten. Hij vroeg zich af: "Hoe normaliseer ik dit? Hoe integreer ik over deze ruimte?"
• De Brief: DeWitt stuurde Wheeler een brief voordat ze elkaar ontmoetten op de luchthaven. In die brief gaf DeWitt hem niet alleen de vergelijking; hij gaf hem de formule voor het innere product.
• De Reactie: Toen ze elkaar ontmoetten, was Wheeler opgetogen. Niet vanwege de vergelijking zelf (die was voor de hand liggend), maar omdat DeWitt hem eindelijk het gereedschap om te berekenen had gegeven.

De "Strenge Magie" versus de "Verdoemde Vergelijking"

Het artikel zet dit af tegen andere beroemde momenten in de fysica, zoals het werk van Paul Dirac.

• Diracs Magie: Dirac gebruikte wat "magische" wiskundige trucs (zoals de Delta-functie) die niet strikt gedefinieerd waren. Later kwamen wiskundigen en "repareerden" ze ze, en bewezen dat ze werkten. Dit wordt "Strenge Magie" genoemd.
• Het Wheeler-DeWitt-geval: Dit is geen magie. De vergelijking is nooit gerepareerd door wiskundigen. Het is nog steeds "kapot" volgens strikte wiskundige standaarden.
  • Het Punt: De auteurs betogen dat we Wheeler en DeWitt niet moeten beoordelen volgens de "kapotte" standaard. Ze slaagden omdat ze voldeden aan de standaard van de fysicus: "Laat dit ons de wereld berekenen en begrijpen?" Ja, dat deed het.

De Conclusie

Het artikel concludeert dat de geschiedenis van de wetenschap het vaak fout heeft door te zoeken naar "perfecte" wiskundige bewijzen.

• De Echte Reden voor Erkenning: Wheeler en DeWitt zijn beroemd niet omdat ze een perfecte vergelijking schreven, maar omdat ze de eerste werkende versie leverden die fysici in staat stelde te stoppen met staren naar een blanco pagina en te beginnen met berekeningen.
• De Les: In de fysica gaat "strenge nauwkeurigheid" niet over perfect zijn. Het gaat over bruikbaar zijn. Het gaat over het wegnemen van de barrières die je ervan weerhouden de wiskunde te doen. De "Verdoemde Vergelijking" is "verdoemd" omdat het wiskundig rommelig is, maar het is ook "gezegend" omdat het fysici eindelijk in staat stelde het gesprek over kwantumzwaartekracht te beginnen.

Kortom: Ze kregen geen erkenning voor het schrijven van het lied; ze kregen erkenning voor het stemmen van de gitaar zodat het lied eindelijk gespeeld kon worden.

Technische samenvatting

Technische Samenvatting: Nauwkeurigheid, Toekenning van Credits en de Wheeler-DeWitt-vergelijking 1962-1967

Probleemstelling
Het artikel behandelt een historiografisch en filosofisch raadsel met betrekking tot de toekenning van credits voor de Wheeler-DeWitt-vergelijking, de bepalende vergelijking van canonieke kwantumzwaartekracht. Ondanks dat de vergelijking wiskundig slecht gedefinieerd, singulier is en ontbreekt aan een rigoureuze maat voor haar inproduct (een status die meer dan een halve eeuw na haar voorstel blijft bestaan), wordt zij vernoemd naar John Wheeler en Bryce DeWitt. Standaard historische verhalen schrijven hen vaak alleen de formulering van de functionele differentiaalvergelijking $\hat{H}\Psi = 0$ toe. De auteurs merken echter op dat de formele structuur van deze vergelijking in wezen een triviale herschrijving was van de door Asher Peres in 1962 afgeleide Einstein-Hamilton-Jacobi-vergelijking, en dat de schematische vorm $\hat{H}\Psi = 0$ al eerder was verschenen in werk van Dirac en Bergmann.

Het centrale probleem is uit te leggen waarom Wheeler en DeWitt de primaire credits ontvingen voor een vergelijking die niet wiskundig goed gedefinieerd was volgens externe (wiskundige) standaarden, en ook geen nieuw functioneel vorm was. De auteurs daagden het "exogene" begrip van nauwkeurigheid uit – het idee dat fysieke nauwkeurigheid simpelweg de toepassing is van wiskundige nauwkeurigheidsstandaarden (bewijs, formele definitie) – en betogen dat dit standpunt het succes van de vergelijking onverklaarbaar maakt of het labelt als "nauwkeurige magie".

Methodologie
De auteurs hanteren een historische casestudie-aanpak, waarbij ze archiefmateriaal (ongepubliceerde notitieboeken, brieven en subsidieverslagen uit 1962–1967) analyseren naast gepubliceerde verslagen. Ze vergelijken twee concurrerende opvattingen van nauwkeurigheid:

1. Exogene Nauwkeurigheid: Nauwkeurigheid gedefinieerd door wiskundige standaarden (formele bewijzen, goed gedefinieerde objecten). De auteurs betogen dat dit faalt om de acceptatie van de Wheeler-DeWitt-vergelijking te verklaren, aangezien de vergelijking wiskundig slecht gedefinieerd blijft.
2. Endogene Nauwkeurigheid: Nauwkeurigheid gedefinieerd door de interne normen van de theoretisch-fysische praktijk. De auteurs stellen dat voor fysici halverwege de 20e eeuw nauwkeurigheid niet om haar eigen wil werd nagestreefd of om te voldoen aan wiskundige logica, maar om barrières te verwijderen voor concrete berekening en duidelijke conceptualisering.

Het artikel onderzoekt drie historische gevallen van "nauwkeurige magie" (Diracs delta-functie, bra-ket-notatie en Dirac-beperking-kwantisatie) waar heuristische methoden later wiskundig werden gepreciseerd. Het betoogt dat de Wheeler-DeWitt-vergelijking verschilt van deze gevallen omdat deze niet wiskundig is gepreciseerd, en toch werd geaccepteerd als een geldig fysiek model.

Belangrijkste Bijdragen en Analyse
De primaire bijdrage van het artikel is de reconstructie van de specifieke historische context waarin de Wheeler-DeWitt-vergelijking werd ontwikkeld, waarbij de specifieke "endogene" verfijning wordt geïdentificeerd die haar acceptatie en de toekenning van credits rechtvaardigde.

• De Rol van het Inproduct: De auteurs tonen via archiefbewijs (specifiek DeWitts brief uit 1964 aan Wheeler en Wheeters daaropvolgende notitieboekvermeldingen) aan dat de cruciale stap niet de afleiding van de functionele vorm van de vergelijking was, maar het verschaffen van een functionele integraaluitdrukking voor het inproduct.
• DeWitts Bijdrage: DeWitt leverde een voorschrift voor het inproduct (analoog aan het Klein-Gordon-inproduct) en een specifieke operatorordening. Hoewel deze niet wiskundig rigoureus waren (de maat was niet eindig, positief of goed gedefinieerd voor een $L^2$-ruimte), voldeden ze aan de endogene normen van die tijd door het mogelijk te maken het golfvenster te conceptualiseren op "superruimte" (de ruimte van 3-geometrieën) en het bespreken van concrete fysieke problemen, zoals gravitationele ineenstorting.
• Wheeler's Bijdrage: Wheeler's notitieboeken onthullen dat zijn "grootste verbijstering" lag in het ontbreken van een normalisatie-integraal en het onvermogen om berekeningen uit te voeren vanwege de ambiguïteit van de configuratieruimte (specifiek, hoe om te gaan met de temporele vrijheidsgraad binnen de 3-geometrie). DeWitts inproduct loste deze conceptuele blokkade op.
• Herwaardering van Credits: Het artikel betoogt dat credits werden toegekend aan Wheeler en DeWitt niet voor het opschrijven van de vergelijking (wat Peres en anderen effectief hadden gedaan), maar voor het "verfijnen" ervan in de endogene zin: het verschaffen van de nodige formele hulpmiddelen (inproduct en ordening) om het model goed gedefinieerd te maken voor het doel van berekening en conceptuele helderheid binnen de fysicagemeenschap.

Resultaten
De analyse levert de volgende specifieke resultaten op:

1. Afwijzing van "Nauwkeurige Magie": De Wheeler-DeWitt-vergelijking is geen voorbeeld van "nauwkeurige magie" (heuristisch succes dat later door wiskunde wordt opgelost). Ze blijft wiskundig slecht gedefinieerd. Haar acceptatie was gebaseerd op haar nuttigheid in het verwijderen van barrières voor berekening, niet op haar wiskundige geldigheid.
2. Endogene Nauwkeurigheid als Drijvende Kracht: De "verfijning" die plaatsvond, was intern aan de theoretische fysica. Het ging om het omzetten van semi-formele constructies in modellen die grootheden van belang konden opleveren, in plaats van het voldoen aan externe wiskundige bewijzen.
3. Historische Correctie: Het standaardverhaal dat Wheeler en DeWitt credits toekent voor de ontdekking van de vergelijking is onjuist. Ze krijgen credits voor de verfijning van de vergelijking via het inproduct en de operatorordening, wat een heuristische beperking transformeerde in een bruikbaar (zij het wiskundig problematisch) fysiek model.
4. DeWitts Eigen Visie: Archiefbewijs toont aan dat DeWitt zelf het inproduct zag als zijn belangrijkste bijdrage, en in een subsidieverslag uit 1964 opmerkte dat zonder de functionele integraaluitdrukking voor het inproduct fundamentele kwesties in canonieke kwantumzwaartekracht niet in "concrete vorm" konden worden besproken.

Betekenis
Het artikel claimt betekenis voor de filosofie en geschiedenis van de wetenschap door:

• Nieuwe Definitie van Nauwkeurigheid: Het betoogt dat het begrip nauwkeurigheid dat relevant is voor theoretische fysica endogeen is, gericht op het mogelijk maken van berekening en conceptuele helderheid in plaats van wiskundig bewijs. Dit daagt de aanname uit dat fysica altijd moet streven naar wiskundige verfijning om geldig te zijn.
• Uitleg van Credits-toekenning: Het biedt een samenhangende verklaring voor waarom credits werden gegeven aan Wheeler en DeWitt ondanks de wiskundige tekortkomingen van de vergelijking, door het historiografische raadsel op te lossen door de maatstaf voor succes te verschuiven van wiskundige goed gedefinieerdheid naar endogene nuttigheid.
• Contextualisering van Kwantumzwaartekracht: Het benadrukt dat in gebieden zoals kwantumzwaartekracht, waar experimentele bevestiging momenteel ontoegankelijk is, de interne normen van de gemeenschap (endogene nauwkeurigheid) een beslissende rol spelen bij het bepalen welke theoretische constructies worden geaccepteerd en ontwikkeld.

De auteurs concluderen dat de Wheeler-DeWitt-vergelijking een succesvolle toepassing vertegenwoordigt van endogene nauwkeurigheid, waarbij de "verfijning" via het inproduct de cruciale stap was die de fysicagemeenschap in staat stelde zich te bezighouden met het probleem van kwantumzwaartekracht, zelfs al blijft de vergelijking volgens externe standaarden wiskundig "verdoemd".