Heisenberg: Börja från observabler
År 1925 tog Werner Heisenberg en radikal metodologisk ståndpunkt: han skulle bygga en teori med endast storheter som kunde mätas direkt — spektrallinjefrekvenser och intensiteter. Han skulle inte spekulera om elektronbanor som inte kunde observeras.
Spektrallinjer kommer i par: en foton som emitteras i en övergång från energinivå m till nivå n har frekvensen ν(m,n). Heisenberg representerade dessa frekvenser som en tvådimensionell array — en matris. Ekvationerna som styr hur dessa arrayer kombineras visade sig vara reglerna för matrismultiplikation.
Resultat: matrismekanik. Fysikaliska observabler blir matriser. Tillstånd blir vektorer. Rörelseekvationen är en matrisekvation. Väteatomens energinivåer framträder som egenvärden för Hamiltonmatrisen.
Hammings inramning: Heisenbergs tillvagagångssätt är en lektion i vetenskaplig metod — om ett begrepp inte kan mätas, bör det kanske inte förekomma i teorin.
Schrödinger: Börja från vågor
Erwin Schrödinger närmade sig från en helt annan utgångspunkt. Louis de Broglie hade föreslagit att partiklar har en tillhörande våglängd λ = h/p (rörelsemängd p, Plancks konstant h). Schrödinger frågade: om elektroner är vågor, vad är vågsekvationen?
Han fann Schrödinger-ekvationen (tidsunabhängig form):
Ĥψ = Eψ
där Ĥ är Hamiltonoperatorn, ψ är vågfunktionen, och E är energin. Lösningar ψ som tillfredsställer denna ekvation vid specifika energivärden E bildar stående vågor — elektronens 'orbitaler.'
Energinivåernas kvantisering — de diskreta spektrallinjerna — framträder från randvillkoren på vågfunktionen. Endast vågfunktioner som förblir ändliga och kontinuerliga överallt är fysikaliska. Dessa begränsningar tillåter endast specifika E-värden: egenvärden.
Den matematiska föreningen
Paul Dirac (och oberoende von Neumann) visade att både matrismekanik och vågmekanik är representationer av samma abstrakta matematiska struktur: Hilbertrum.
Ett Hilbertrum H är ett inre produktrum som också är fullständigt (varje Cauchysekvens konvergerar). Kvantillstånd är enhetsvektorer i H. Observabler är hermitiska operatorer på H — linjära avbildningar från H till H som är lika med sin egen adjungerad.
Egenvärden och egentillstånd: om en observabel  har egentillståndet |a⟩ med egenvärde a:
Â|a⟩ = a|a⟩
Mätning av observabel A på ett system i egentillståndet |a⟩ returnerar alltid värde a med säkerhet.
Superposition: ett allmänt tillstånd |ψ⟩ är en linjär kombination (superposition) av egentillstånd:
|ψ⟩ = Σᵢ cᵢ|aᵢ⟩
där cᵢ är komplexa amplituder som uppfyller Σᵢ |cᵢ|² = 1 (normalisering).
Born-regeln
Max Born föreslog den probabilistiska tolkningen: när observabel A mäts på ett system i tillståndet |ψ⟩ = Σᵢ cᵢ|aᵢ⟩, är sannolikheten att få egenvärde aᵢ lika med den kvadrerade modulen av dess amplitud:
P(aᵢ) = |cᵢ|² = |⟨aᵢ|ψ⟩|²
Efter mätning kollapserar tillståndet till motsvarande egentillstånd |aᵢ⟩. Efterföljande mätningar av A kommer att returnera aᵢ med säkerhet tills systemet utvecklas igen.
Ett qubit-tillstånd i beräkningsbasis: |ψ⟩ = α|0⟩ + β|1⟩, med |α|² + |β|² = 1.
Hamming som matematisk rådgivare
Hamming beskrev sin roll när han arbetade med fysiker: han skulle finna klassen av matematiska funktioner att använda genom att fråga fysikern vad de ansåg var relevant, och sedan anpassa det matematiska problemet till deras övertygelser.
> Jag finner i allmänhet klassen av funktioner att använda genom att fråga personen med problemet, och sedan använder jag de fakta de tycker är relevanta — allt med hopp att jag därmed någon gång kommer att producera en betydande insikt från deras sida.
Detta är en medveten pedagogisk strategi. Hamming påtvingade inte ett matematiskt ramverk — han väckte fram fysikerens intuitioner och formaliserade dem. Målet: fysikern gör insikten, inte Hamming.
Den djupare lektionen: kvantmekanik är filosofiskt otillfredsställande (vad betyder vågfunktionskollaps verkligen? vad är kvantillståndet egentligen?) men beräkningsmässigt framgångsrik. Agera-som-om-principen: behandla formalismen som verklig — använd den som om tillståndsvektor, operatorer och egenvärden är faktiska drag av världen — när den ger korrekta förutsägelser, oavsett om du kan förklara vad det betyder.
När agera-som-om är motiverad
Agera-som-om-principen är inte intellektuell lättja. Det är ett specifikt epistemiskt val: prioritera beräkningsmässig tillförlitlighet framför metafysisk klarhet när de två skiljer sig åt.
QM ger det tydligaste exemplet: Born-regeln har verifierats experimentellt med extraordinär precision. Den filosofiska frågan om varför Born-regeln håller, eller vad 'vågfunktionskollaps' motsvarar fysikaliskt, förblir genuint löst. Hammings föreskrift: använd Born-regeln, agera som om kollaps händer, bygg teknologin, gör förutsägelserna.