🔬 physics

A formal theory of experimentation

Dit artikel presenteert een formele theorie die de noodzakelijke en voldoende voorwaarden vaststelt waaraan een wereld moet voldoen om de toepassing van de wetenschappelijke methode toe te staan.

Oorspronkelijke auteurs: Eric Tesse

Gepubliceerd 2026-02-02

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Eric Tesse

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Een Regelboek voor de Werkelijkheid Bouwen

Stel je voor dat je een architect bent die een gebouw probeert te ontwerpen. Voordat je ook maar één baksteen legt, moet je de wetten van de fysica kennen: de zwaartekracht moet naar beneden trekken, materialen moeten gewicht kunnen dragen, en ruimte moet bestaan.

Eric Tesse doet precies hetzelfde, maar dan voor de wetenschap zelf. Hij bestudeert niet een specifiek experiment (zoals het laten vallen van een bal of het meten van een ster); hij probeert de "Grondwet" te schrijven voor hoe een universum eruit moet zien zodat de Wetenschappelijke Methode überhaupt kan werken.

Zijn doel is om de vraag te beantwoorden: Wat zijn de absolute minimale regels waar een wereld aan moet voldoen zodat we experimenten kunnen uitvoeren, gegevens kunnen verzamelen en dingen kunnen leren?

Deel 1: Het Podium en de Acteurs (Dynamische Systemen)

Om een experiment te begrijpen, moet je eerst het "podium" begrijpen waarop het plaatsvindt. Tesse noemt dit een Dynamisch Systeem.

De Metafoor: Denk aan een film. Het "systeem" is de film zelf. De "toestand" (state) is een enkele frame van de film. De "parameter" is tijd.
De Regels: Tesse definieert tijd niet alleen als een klok, maar als een wiskundige structructuur die kan worden opgeteld (zoals 1 uur + 1 uur = 2 uur). Hij creëert een strikte definitie van een "pad" door de tijd.
Het Concept "Kennis": Dit is een cruciaal idee. Tesse suggereert dat de huidige toestand van een systeem als een geheugenbank werkt.
- Als je naar de huidige toestand van een systeem kijkt, "kent" het zijn verleden omdat dat verleden is gecodeerd in de huidige vorm (zoals een litteken op je huid je vertelt waar je gewond bent geraakt).
- Echter, de huidige toestand kent de toekomst meestal niet. Net zoals een filmframe niet weet wat er in de volgende scène gebeurt, dicteert het heden de toekomst niet. Dit verklaart waarom we kunnen leren van de geschiedenis (het verleden is vastgelegd) maar moeite hebben met het voorspellen van de toekomst (die is nog niet geschreven).

Deel 2: Het Experiment als een Machine (De Shell)

Hoe formaliseren we nu een experiment? Tesse introduceert het concept van een Experimentele Shell.

De Metafoor: Stel je een black box voor met een startknop en een stoplicht.
- De Shell: De box bevat zowel het ding dat je test (het systeem) als de machine die het test (de omgeving).
- De Start (Initiële Toestand): Je drukt op de knop. De machine is klaar.
- De Run: Het systeem verandert in de loop van de tijd binnen de box.
- De Stop (Finale Toestand): De machine zet een lampje aan. Het experiment is voltooid.
De Regels van de Shell:
1. Herhaalbaar: Je moet de box kunnen resetten en de run opnieuw kunnen uitvoeren.
2. Duidelijke Start/Stop: Je kunt niet halverwege een experiment zitten. Het is ofwel nog niet begonnen, of het is afgerond.
3. Geen "Ghost" Starts: Je kunt het experiment niet per ongeluk twee keer starten voordat het is voltooid.
4. De "Weten"-regel: Wanneer het lampje aangaat (de finale toestand), moet de machine "weten" dat er net een experiment heeft plaatsgevonden. Het kan niet zomaar in een willekeurige toestand zijn; het moet een toestand zijn die signaleert: "Ik heb zojuist iets gemeten."

Deel 3: De Recorder (De Waarnemer)

Binnen de shell hebben we het Systeem (wat we bestuderen) en de Omgeving (het meetapparaat). Tesse noemt de omgeving een Recorder.

Het Probleem: Soms kan een recorder in de war raken. Misschien registreert het dat een deeltje "Spin Omhoog" is, maar vergeet het later dat detail en onthoudt alleen "Spin Omhoog of omlaag". Dit creëert ambiguïteit. Had het deeltje daadwerkelijk een specifieke spin (intrinsieke onzekerheid), of hebben we gewoon de data verloren (extrinsieke onzekerheid)?
De Oplossing: Ideale Recorders. Tesse definieert een perfecte recorder met twee superkrachten:
1. Alles-onthoudend (All-reet): Het vergeet nooit. Als het een detail zag aan het begin, dan is dat detail nog steeds onderdeel van het eindresultaat. Het is als een camera die een foto maakt en nooit de pixels verwijdert, zelfs niet als je later uitzoomt.
2. Boolean: Het geeft duidelijke, onderscheidende antwoorden. Het geeft je geen wazig "misschien". Het zegt "Ja" of "Nee", en deze antwoorden overlappen elkaar nooit op een verwarrende manier.

Wanneer een recorder zowel "All-reet" als "Boolean" is, is het een Ideale Recorder. Dit is de gouden standaard. Als een universum geen Ideale Recorder kan ondersteunen, stelt Tesse dat de Wetenschappelijke Methode daar niet kan functioneren, omdat je daar niet systematisch met experimentele fouten of onzekerheid kunt omgaan.

Deel 4: De Vertakkende Boom (Ideale Partities)

Hoe splitsen deze experimenten de werkelijkheid in verschillende uitkomsten?

De Metafoor: Stel je een boom voor.
- De stam is het begin van het experiment.
- De takken zijn de verschillende mogelijke uitkomsten.
- Tesse bewijst dat voor een Ideale Recorder de boom niet zomaar willekeurig splitst. Het splitst op een zeer specifieke, ordelijke manier die Ideale Partities wordt genoemd.
- Denk aan een "Kies je eigen avontuur"-boek. Op elke pagina (elk moment in de tijd) splitst het verhaal zich in verschillende paden. Een Ideale Partitie zorgt ervoor dat zodra je een pad hebt gekozen, je niet per ongeluk in een ander pad kunt glippen, en dat het boek precies weet op welk pad je je bevindt.

Deel 5: De Kansberekening (De Odds)

Ten slotte kijkt Tesse naar de wiskunde van toeval.

De Regels: Hij laat zien dat voor een enkel experiment de regels van de kansberekening de standaardregels zijn (als je een munt opgooit, is Kop + Munt = 100%).
De Twist: Wanneer je naar een collectie van verschillende experimenten kijkt (zoals het meten van positie versus het meten van snelheid), worden de regels ingewikkeld.
- In onze alledaagse wereld is het de som van alle mogelijkheden gelijk aan 1.
- In de kwantummechanica (waar Tesse's theorie ook over gaat) is dit niet altijd waar voor groepen experimenten. Je kunt een situatie hebben waarbij de kans op "A of B" niet simpelweg de som is van "A" plus "B".
De Constructie: Tesse bouwt een wiskundige structuur die hij een Dynamische Waarschijnlijkheidsruimte noemt. Denk aan een enorme archiefkast.
- Elke lade is een ander experiment.
- De papieren binnenin zijn de uitkomsten.
- Hij bewijst dat zelfs als de laden niet perfect op elkaar aansluiten (wat gebeurt in de kwantumfysica), je de hele kast nog steeds kunt organiseren in een consistent systeem genaamd een Eenvoudige Gegeneraliseerde Waarschijnlijkheidsruimte. Dit stelt wetenschappers in staat om kansen te berekenen, zelfs wanneer de experimenten vreemd zijn of niet perfect bij elkaar passen.

De Conclusie: Wat maakt een Wereld "Wetenschappelijk"?

Tesse komt tot een diepzinnige conclusie:

Als een universum bestaat uit Dynamische Systemen (dingen die veranderen), Ideale Recorders (machines die meten zonder te vergeten of te verwarren) en Consistente Waarschijnlijkheden (manieren om kansen te berekenen), dan is dat universum wetenschappelijk begrijpelijk.

In andere woorden: als je een machine kunt bouwen die een experiment uitvoert, het resultaat perfect onthoudt en je de kansen kunt laten berekenen van wat er is gebeurd, dan volgt dat universum de regels van de wetenschap. Als een universum deze zaken niet kan ondersteunen, dan kan de Wetenschappelijke Methode daar simpelweg niet bestaan.

Kortom: Tesse heeft niet alleen beschreven hoe wij wetenschap bedrijven; hij heeft de wiskundige blauwdruk gebouwd voor hoe een universum eruit moet zien om ons überhaupt wetenschap te laten bedrijven.

Technische Samenvatting: Een Formele Theorie van Experimentatie

Probleemstelling

Het artikel behandelt de behoefte aan een rigoureus formeel kader dat de noodzakelijke en voldoende voorwaarden definieert waaraan een fysieke wereld moet voldoen om de toepassing van de wetenschappelijke methode toe te laten. Hoewel wetenschappelijke theorieën vaak experimenten beschrijven, formaliseren ze zelden de structuur van de experimentatie zelf. De auteur streeft ernaar een theorie te ontwikkelen die voldoende algemeen is om zowel klassieke als kwantumsystemen te omvatten, waarbij specifieke aannames voor een enkele fysieke theorie (zoals de vereiste dat toestandsruimten manifolden zijn) worden vermeden. De kernuitdaging is het formaliseren van hoe dynamische systemen veranderen over de tijd, hoe experimenten informatie over deze veranderingen registreren, en hoe kansen consistent kunnen worden toegewezen aan experimentele uitkomsten over verschillende experimentele opstellingen heen.

Methodologie

Het artikel maakt gebruik van een constructieve, axiomatische benadering die geworteld is in de verzamelingenleer en de theorie van dynamische systemen. De methodologie verloopt in vier afzonderlijke fasen:

Formalisering van Parameters en Dynamica: De auteur definieert "parameters" (tijdachtige structuren) via axioma's die ordening, optelling en dichtheid reguleren, en categoriseert deze in vier klassen die isomorf zijn aan standaard getalsystemen ( $\mathbb{N}, \mathbb{Z}, \mathbb{R}, \mathbb{R}^+$ ). Dynamische systemen worden vervolgens gedefinieerd als verzamelingen van "paden" (functies van een parameterrum naar een toestandsruimte). Het artikel introduceert operaties voor het snijden en samenvoegen van paden, waarbij "dynamische ruimten" worden gedefinieerd als systemen die gesloten zijn onder samenvoeging, waarbij de huidige toestand alle noodzakelijke informatie bevat om toekomstige paden te bepalen.
Formalisering van Experimenten (Shells): Experimenten worden gemodelleerd als "shells" (omhulsels), triples $(D, I, F)$ bestaande uit een dynamische ruimte $D$ , een verzameling initiële toestanden $I$ , en een verzameling finale toestanden $F$ . De auteur legt axioma's op om te garanderen dat experimenten reproduceerbaar zijn, een gedefinieerd begin en einde hebben, en dat de finale toestand "weet" dat het experiment heeft plaatsgevonden. Dit kader wordt verfijnd tot "omgevingsshells", die het systeem ontbinden in een "systeem"-component en een "omgeving" (apparaat)-component.
Verfijning van Recorders: Om de ambiguïteit tussen intrinsieke onzekerheid (systeemdynamica) en extrinsieke onzekerheid (omgevingsstaat) aan te pakken, introduceert de auteur "recorders" (registratoren). Deze worden verfijnd via twee eigenschappen:
- All-reet: De recorder vergeet nooit informatie die over het systeem is verzameld.
- Boolean: De recorder bepaalt een partitie van paden in plaats van slechts een dekking, wat ervoor zorgt dat onderscheidende uitkomsten wederzijds uitsluitend zijn.
  De intersectie van deze eigenschappen levert "ideale recorders" op, die een zuivere formele weergave bieden van experimentele uitkomsten.
Formalisering van Kansrekening: Het artikel breidt het deterministische kader uit naar kansen door "Experimental Probability Spaces" (eps) en "Dynamic Probability Spaces" (dps) te definiëren. Het introduceert "Generalized Probability Spaces" (gps) en de constructie $(X_\omega, T_\omega, P_\omega)$ om de algebraïsche structuur van kansen te behandelen, met name in gevallen waar traditionele optelbaarheid faalt (zoals in de kwantummechanica). Het artikel onderzoekt voorwaarden voor "convergentie" (aftelbare optelbaarheid) binnen dit gegeneraliseerde kader.

Belangrijkste Bijdragen

1. Het Concept van de Ideale Recorder

De centrale bijdrage van het artikel is de definitie van de ideale recorder. Door te eisen dat een experimentele opstelling "zwak onbevooroordeeld" is (de omgeving beïnvloedt de systeemdynamica niet onredelijk voor ongedifferentieerde paden), "all-reet" (geen informatieverlies) en "Boolean" (uitkomsten vormen een partitie), creëert de auteur een formeel object dat de vereisten van de wetenschappelijke methode perfect vastlegt.

Resultaat: Het artikel bewijst dat een dekking van een dynamische verzameling door een ideale recorder wordt bepaald dan en slechts dan als het een ideale partitie is.
Structuur van Ideale Partities: Een belangrijk theorema stelt dat ideale partities precies die zijn die zich ontvouwen als "vertakkende sequenties van momentpartities". Dit betekent dat elke geldige experimentele uitkomst kan worden gedecomposeerd in een sequentie van instantane metingen (momenten) die de verzameling mogelijke paden opsplitsen.

2. Formalisering van Kennis en Asymmetrie

Het artikel formaliseert "kennis" als de verzameling paden die consistent zijn met een huidige toestand. Het toont een fundamentele asymmetrie aan: de huidige toestand van een systeem codeert informatie over het verleden (wat er is gebeurd), maar niet noodzakelijkerwijs over de toekomst. Dit wordt geformaliseerd door de notatie $S \to X$ (wat bekend is over het verleden gegeven toestand $X$ ) versus $S X \to$ (wat bekend is over de toekomst). De theorie stelt dat experimenten betrouwbaar zijn omdat ze gebeurtenissen uit het verleden registreren, wat aansluit bij de afhankelijkheid van de wetenschappelijke methode van geregistreerde gegevens.

3. Gegeneraliseerde Kansruimten

Het artikel gaat verder dan de standaard Kolmogorov-kansrekening om systemen te accommoderen waarbij kansen mogelijk niet optelbaar zijn over willekeurige unies (een kenmerk van de kwantummechanica).

Dynamic Probability Spaces (dps): Gedefinieerd als collecties van consistente experimentele kansruimten.
Generalized Probability Spaces (gps): Een bredere structuur $(X, T, P)$ waarbij $X$ een verzameling partities is en $T$ een verzameling deelverzamelingen.
De $(X_\omega, T_\omega, P_\omega)$ Constructie: De auteur construeert een "eenvoudige" gegeneraliseerde kansruimte die de unieke uitbreiding is van elke initiële kansverdeling. Deze structuur maakt het mogelijk om met niet-optelbare kansen om te gaan terwijl de consistentie over verschillende experimentele contexten behouden blijft.

4. Onbevooroordeelde Condities

Het artikel maakt een onderscheid tussen sterk onbevooroordeelde condities (waarbij de omgeving het systeem nooit beïnvloedt) en zwak onbevooroordeelde condities (waarbij de omgeving het systeem alleen kan beïnvloeden nadat paden zijn gedifferentieerd in aparte uitkomsten). Dit onderscheid is cruciaal voor het modelleren van experimenten waarbij de keuzes van metingen afhangen van tussenliggende resultaten (bijv. sequentiële metingen in de kwantummechanica).

Resultaten

Theorema 39 & 40: Er is een één-op-één correspondentie tussen ideale partities en de uitkomsten die door ideale recorders worden bepaald. Elke ideale partitie kan worden bepaald door een ideale recorder, en elke ideale recorder bepaalt een ideale partitie.
Theorema 49: Ideale partities zijn structureel equivalent aan vertakkende bomen van momentpartities. Dit biedt een geometrische interpretatie van hoe experimentele uitkomsten in de loop van de tijd evolueren.
Theorema 61: Als een gegeneraliseerde kansruimte convergent is (voldoet aan aftelbare optelbaarheid), dan is de uitbreiding $(X_\omega, T_\omega, P_\omega)$ een eenvoudige convergente gegeneraliseerde kansruimte. Dit zorgt ervoor dat de wiskundige machinerie voor het afhandelen van oneindige sequenties van gebeurtenissen robuust blijft, zelfs in niet-standaard kanscontexten.
Consistentie: Het artikel demonstreert dat collecties experimenten gerepresenteerd kunnen worden als een enkele dynamische kansruimte indien en slechts indien zij consistent zijn (overeenstemmen bij overlappende uitkomsten).

Betekenis en Claims

Het artikel claimt een formele theorie van experimentatie te bieden die onafhankelijk is van specifieke natuurwetten. De betekenis ligt in:

Het Definiëren van de Omvang van Wetenschap: Het stelt dat een wereld wetenschappelijk begrijpelijk is indien en slechts indien deze de constructie van ideale recorders en de toewijzing van consistente kansen toelaat. Als een universum niet in staat is aan deze axioma's te voldoen, kan de wetenschappelijke methode er niet op worden toegepast.
Het Overbruggen van Klassiek en Kwantum: Het kader is ontworpen om zowel voor klassieke als kwantum-kansrekening toepasbaar te zijn. Het neemt de kwantummechanica niet aan, maar biedt de formele structuur die nodig is om kwantumachtige verschijnselen (zoals niet-optelbare kansen en contextualiteit) binnen een rigoureus logisch systeem te beschrijven.
Het Verhelderen van Experimentele Fouten: De auteur merkt op dat een universum dat ideale recorders toestaat, een universum is waar experimentele fouten systematisch kunnen worden afgehandeld. De formalisering scheidt het "systeem" van het "apparaat" op een manier die de identiteit van het onderzochte systeem behoudt terwijl het de registratieprocedure meeneemt in de rekening.

Het artikel blijft bescheiden in zijn fysieke claims en stelt dat, hoewel het de structuur van experimenten formaliseert, het niet de specifieke dynamica van enige fysieke theorie dicteert. Het dient als een meta-theorie die de noodzakelijke voorwaarden vaststelt voor elke theorie om een geldige wetenschappelijke beschrijving te zijn van een wereld die in staat is tot experimentatie.