Heisenberg: Begin met waarneembare grootheden
In 1925 nam Werner Heisenberg een radicale methodologische positie in: hij zou een theorie opbouwen met alleen grootheden die direct konden worden gemeten — spectrale lijnfrequenties en intensiteiten. Hij zou niet speculeren over elektronenbanen die niet konden worden waargenomen.
Spectrale lijnen komen in paren: een foton dat wordt uitgezonden bij een overgang van energieniveau m naar niveau n heeft frequentie ν(m,n). Heisenberg stelde deze frequenties voor als een tweedimensionale reeks — een matrix. De vergelijkingen die bepalen hoe deze reeksen combineren bleken de regels van matrixvermenigvuldiging te zijn.
Resultaat: matrixmechanica. Fysische waarneembare grootheden worden matrices. Toestanden worden vectoren. De bewegingsvergelijking is een matrixvergelijking. De energieniveaus van het waterstofatoom ontstaan als eigenwaarden van de Hamiltoniaan-matrix.
Hamming's insteek: Heisenberg's benadering is een les in wetenschappelijke methode — als een concept niet kan worden gemeten, moet het misschien niet in de theorie voorkomen.
Schrödinger: Begin met golven
Erwin Schrödinger benaderde het van een heel ander startpunt. Louis de Broglie had voorgesteld dat deeltjes een bijbehorende golflengte λ = h/p hebben (momentum p, Planck's constante h). Schrödinger vroeg zich af: als elektronen golven zijn, wat is de golfvergelijking?
Hij vond de Schrödinger-vergelijking (tijdonafhankelijke vorm):
Ĥψ = Eψ
waarbij Ĥ de Hamiltoniaan-operator is, ψ de golffunctie is, en E energie is. Oplossingen ψ die deze vergelijking bij specifieke energiewaarden E voldoen vormen staande golven — de elektron 'orbitalen.'
De kwantisatie van energieniveaus — de discrete spectrale lijnen — ontstaat uit de randvoorwaarden op de golffunctie. Alleen golffuncties die overal eindig en continu blijven zijn fysisch. Deze beperkingen geven alleen specifieke E-waarden toe: de eigenwaarden.
De wiskundige vereniging
Paul Dirac (en onafhankelijk von Neumann) toonden aan dat zowel matrixmechanica als golfmechanica vertegenwoordigingen zijn van dezelfde abstracte wiskundige structuur: Hilbertruimte.
Een Hilbertruimte H is een inproductruimte die ook volledig is (elke Cauchy-rij convergeert). Kwantumtoestanden zijn eenheidsvectoren in H. Waarneembare grootheden zijn Hermitische operatoren op H — lineaire afbeeldingen van H naar H die gelijk zijn aan hun eigen adjunct.
Eigenwaarden en eigentoestanden: als een waarneembare  eigentoestand |a⟩ heeft met eigenwaarde a:
Â|a⟩ = a|a⟩
Meting van waarneembare A op een systeem in eigentoestand |a⟩ geeft altijd waarde a met zekerheid.
Superpositie: een algemene toestand |ψ⟩ is een lineaire combinatie (superpositie) van eigentoestanden:
|ψ⟩ = Σᵢ cᵢ|aᵢ⟩
waarbij de cᵢ complexe amplitudes zijn die voldoen aan Σᵢ |cᵢ|² = 1 (normalisatie).
De Born-regel
Max Born stelde de probabilistische interpretatie voor: wanneer waarneembare A wordt gemeten op een systeem in toestand |ψ⟩ = Σᵢ cᵢ|aᵢ⟩, is de waarschijnlijkheid om eigenwaarde aᵢ te krijgen gelijk aan het kwadraat van de modulus van zijn amplitude:
P(aᵢ) = |cᵢ|² = |⟨aᵢ|ψ⟩|²
Na meting stort de toestand in naar de overeenkomstige eigentoestand |aᵢ⟩. Volgende metingen van A geven aᵢ met zekerheid tot het systeem opnieuw evolueert.
Een qubit-toestand in de rekenkundige basis: |ψ⟩ = α|0⟩ + β|1⟩, met |α|² + |β|² = 1.
Hamming als wiskundig adviseur
Hamming beschreef zijn rol bij het werken met fysici: hij zou de klasse van mathematische functies vinden door de fysicus te vragen wat zij relevant vonden, en dan het wiskundige probleem aan hun overtuigingen aan te passen.
> Ik vind over het algemeen de klasse van functies om te gebruiken door te vragen aan de persoon met het probleem, en dan de feiten die zij relevant achten te gebruiken — allemaal in de hoop dat ik daardoor op een dag een significant inzicht aan hun kant zal produceren.
Dit is een doelbewuste pedagogische strategie. Hamming legde geen wiskundig raamwerk op — hij haalde de intuïties van de fysicus op en formaliseerde ze. Het doel: de fysicus maakt het inzicht, niet Hamming.
De diepere les: kwantummechanica is filosofisch ontevredenstellend (wat betekent toestandsinstorting echt? wat is de kwantumtoestand echt?) maar rekenkundig succesvol. Het act-as-if principe: behandel het formalisme als reëel — gebruik het alsof toestandsvectoren, operatoren, en eigenwaarden werkelijke kenmerken van de wereld zijn — wanneer het juiste voorspellingen geeft, ongeacht of je kunt uitleggen wat het betekent.
Wanneer Act-As-If gerechtvaardigd is
Het act-as-if principe is niet intellectuele luiheid. Het is een specifieke epistemische keuze: geef voorrang aan rekenkundige betrouwbaarheid ten opzichte van metafysische duidelijkheid wanneer de twee uit elkaar gaan.
QM biedt het duidelijkste voorbeeld: de Born-regel is experimenteel geverifieerd met buitengewone precisie. De filosofische vraag van waarom de Born-regel geldt, of waar 'toestandsinstorting' fysiek aan correspondeert, blijft echt onopgelost. Hamming's voornemen: gebruik de Born-regel, handelen alsof instorting gebeurt, bouw de technologie, maak de voorspellingen.