Logical Dependence of Physical Determinism on Set-theoretic Metatheory

De verborgen code achter het universum

Stel je voor dat je de toekomst van een complex systeem probeert te voorspellen, zoals een kolkende sterrenstelsel, een stuiterende bal of een computerchip. In de natuurkunde gaan we er meestal van uit dat als we de regels en de beginpositie kennen, de toekomst vaststaat. Dit wordt determinisme genoemd. Het is het idee dat het universum als een gigantische, perfect werkende klokmachine is: je wind hem op, en hij loopt elke keer precies hetzelfde.

Maar om deze voorspellingen te doen, vertrouwen natuurkundigen op een verborgen fundament genaamd verzamelingenleer. Zie verzamelingenleer als het ultieme regelboek voor hoe we dingen tellen, groeperen en meten. Het is de wiskunde achter de wiskunde. Lange tijd dachten wetenschappers dat dit regelboek slechts een saaie, abstracte tool was die er niet toe deed voor de echte wereld. Ze geloofden dat het niet uitmaakte welke versie van het regelboek je gebruikte voor hoe een zwart gat draait of hoe een magneet afkoelt. Deze overtuiging wordt de "insulariteitsthese" genoemd—het idee dat de diepe, stoffige hoeken van de wiskunde geïsoleerd zijn van de chaotische, opwindende wereld van de natuurkunde.

Er zit echter een addertje onder het gras. Sommige van de meest geavanceerde vragen in de wiskunde gaan over "oneindigheid" op complexe manieren. Er zijn twee hoofdwijzen om het regelboek voor oneindigheid te schrijven. Eóén versie, genaamd V=L, is zeer strikt en minimalistisch; het zegt dat er geen "extra" oneindige verzamelingen zijn buiten de verzamelingen die we stap voor stap kunnen opbouwen. De andere versie, LC/PD, is genereuzer; deze staat enorme, mysterieuze oneindige structuren toe die de wiskunde meer vloeiend en voorspelbaar maken. Decennialang discussieerden wiskundigen over welke versie van het regelboek "waar" was, maar natuurkundigen negeerden het debat grotendeels, in de veronderstelling dat het hun werk niet zou beïnvloeden.

De grote ontdekking van het artikel

Dit artikel, geschreven door Justin Clarke-Doane, daagt die aanname uit. De auteur stelt dat de "insulariteitsthese" onjuist is. De auteur suggereert dat de keuze tussen deze twee wiskundige regelboeken (V=L vs. LC/PD) er daadwerkelijk voor kan zorgen of het universum deterministisch is of niet.

Om dit te begrijpen, stel je voor dat je een detective bent die een mysterie probeert op te lossen. Je hebt een set aan aanwijzingen (de natuurwetten) en een verdachte (de begintoestand van het universum). In een normaal detectives verhaal zouden de aanwijzingen moeten leiden tot één duidelijke oplossing. Maar Clarke-Doane laat zien dat in sommige gevallen de "aanwijzingen" zelf afhangen van welk regelboek je gebruikt om ze te lezen.

Het artikel verkent dit via drie verschillende "lagen" van detectivewerk:

1. De "Coherentie"-laag: Is de aanwijzing überhaupt echt?
Soms vraagt een natuurwet je om iets te berekenen op basis van een specifieke vorm of patroon. In het strikte regelboek (V=L) kan dat patroon zo vreemd en grillig zijn dat het geen gedefinieerde grootte of "maat" heeft. Het is alsoast proberen het gewicht te bepalen van een wolk die van vorm verandert elke keer als je ernaar kijkt. Als het patroon niet "meetbaar" is, stort de wiskunde in en wordt de wet incoherent. Maar in het genereuze regelboek (LC/PD) is datzelfde patroon glad en meetbaar, waardoor de wet perfect werkt. Het artikel laat zien dat voor bepaalde wiskundige opstellingen de wet geldig is in het ene universum van de wiskunde, maar gebroken is in het andere.

2. De "Uniciteit"-laag: Eén antwoord of vele?
Determinisme betekent meestal dat er slechts één toekomst is. Maar het artikel laat zien dat voor sommige systemen het aantal mogelijke toekomsten afhangt van het regelboek. In het strikte regelboek kan een systeem twee verschillende stabiele uitkomsten hebben (zoals een bal die naar links of naar rechts kan rollen). In het genereuze regelboek kan hetzelfde systeem slechts één uitkomst hebben (de bal rolt alleen naar links). De wiskunde verandert de fysieke opstelling niet; het verandert hoeveel oplossingen de opstelling toestaat.

3. De "Identiteit"-laag: Is het dezelfde startpositie?
Dit is het lastigste deel. Stel je voor dat je een recept hebt voor een taart. In het ene regelboek beschrijft het recept een specifieke taart. In het andere beschrijft exact dezelfde tekst een compleet andere taart (of misschien helemaal geen taart). Het artikel betoogt dat de "beginsgegevens" voor een fysisch systeem niet hetzelfde ding kunnen zijn in beide regelboeken. Dus zelfs als je denkt dat je met dezelfde condities begint, begin je in werkelijkheid misschien met andere condities, wat leidt tot verschillende toekomsten.

De "Robuustheidstest": Houdt het stand?

Het artikel gaat dieper dan alleen deze gedachte-experimenten. Het kijkt naar hoe natuurkundigen determinisme in de echte wereld daadwerkelijk gebruiken. Natuurkundigen geven niet alleen om perfecte, theoretische scenario's; ze geven om robuustheid. Ze willen weten: "Als ik de manier waarop ik dingen meet verander, of als ik een iets ander raster gebruik om het antwoord te berekenen, blijft het resultaat dan hetzelfde?"

De auteur bewijst dat wanneer je deze "robuustheidsvragen" stelt, de antwoorden vaak terechtkomen in een wiskundige zone genaamd $\Sigma^1_2$. Dit is een chique manier om te zeggen dat de vragen complex genoeg zijn dat het standaard wiskundige regelboek (ZFC) het antwoord niet kan beslissen. Het is als een rechter die zegt: "Ik heb niet genoeg wetten om deze zaak te beslechten."

Het artikel presenteert twee belangrijke "coderingstheorema's" om dit punt te bewijzen:

• De Ising-magneet casus: De auteur construeert een specifiek model van een magneet (met behulp van een rooster van spins) met een vaste set regels. De auteur laat zien dat de vraag of deze magneet tot een voorspelbaar patroon leidt, een vraag is die het standaard wiskundige regelboek niet kan beantwoorden. Als je het strikte regelboek gebruikt, is het patroon dat het gedrag van de magneet beschrijft niet-meetbaar (wat betekent dat het de regelmaat mist die nodig is voor standaard waarschijnlijkheid). Als je het genereuze regelboek gebruikt, is datzelfde patroon universeel meetbaar (wat betekent dat het goed gedrag vertoont en regelmatig is). De magneet zelf is niet veranderd; alleen de wiskundige "gladheid" van de beschrijving is veranderd.

• De Zwarte Gat casus: Het artikel kijkt naar de binnenkant van een draaiend zwart gat (een Kerr-zwart gat). Natuurkundigen proberen te achterhalen of de natuurwetten breken bij de "Cauchy-horizon" (een grens binnenin het zwarte gat). Het artikel laat zien dat het probleem van het kiezen van een "standaard" manier om de ruimte daar te beschrijven, een wiskundige puzzel is die niet opgelost kan worden zonder een regelboek te kiezen. In het strikte regelboek (V=L) kun je een standaard beschrijving (een selector) kiezen, maar deze is rommelig en onregelmatig. In het genereuze regelboek (LC/PD) bestaat er geen standaard beschrijving die op een redelijke manier definieerbaar is; de regels verbieden dat een dergelijke selector bestaat.

Wat dit betekent (en wat het niet betekent)

Het artikel is zeer voorzichtig in wat het claimt. Het zegt niet dat het universum definitief anders werkt afhankelijk van welk wiskundig regelboek we kiezen. Het zegt niet dat we een nieuwe natuurwet hebben gevonden.

In plaats daarvan bewijst het een logische mogelijkheid. Het laat zien dat als we de manier waarop natuurkundigen daadwerkelijk over determinisme praten (met alle vereisten voor robuustheid, typischheid en meting) toepassen op bepaalde wiskundige modellen, de resultaten afhangen van de achterliggende wiskunde.

De auteur noemt dit veld "reverse physics", vergelijkbaar met "reverse mathematics". Net zoals reverse mathematics de vraag stelt: "Welke wiskundige axioma's hebben we nodig om dit theorema te bewijzen?", vraagt reverse physics: "Welke wiskundige axioma's hebben we nodig om deze natuurkundige theorie werkend te krijgen?"

Het artikel concludeert dat de "insulariteitsthese" twijfelachtig is. De diepe, abstracte debatten over oneindigheid zijn niet alleen voor wiskundigen. Ze kunnen verstrengeld zijn met de fundamenten van hoe we de fysieke wereld begrijpen. Als een natuurkundige theorie steunt op concepten die onbeslisbaar zijn in de standaard wiskunde, dan moeten we misschien zoeken naar nieuwe natuurwetten of nieuwe wiskundige axioma's om de knoop door te hakken. Het artikel laat ons achter met een fascinerende vraag: Is het determinisme van het universum een feit van de natuur, of hangt het af van het onzichtbare regelboek dat we gebruiken om het te lezen?