Vanuit drie logische eisen wordt bewezen dat de "bestaanskans" altijd de wiskundige vorm P = e⁻ˢ moet hebben. Alles wat stabiel is bestaat — maar niet met gelijk gewicht: e⁻ˢ geeft de paden met de minste weerstand (actie, complexiteit, stabiliteit) de voorkeur. Geen verbod op de rest, wél een voorkeur — en die voorkeur volgt uit de wet zelf, niet van buitenaf.
Deze hele pagina bestaat ook als leesversie in gewone taal, met per sectie een link terug naar het formele origineel. Naar Wiskunde in Woorden →
Voor de leek: deze pagina bouwt de wiskundige kern van EEML op vanaf drie minimale eisen, zonder iets uit de fysica als gegeven aan te nemen. De bekende Boltzmann-factor e−S volgt als theorema, niet als postulaat.
Voor de academicus: de afleiding is pre-fysisch in de zin dat ze geen thermodynamisch of kwantummechanisch kader vooronderstelt. Conventies: S is een reëelwaardige functionaal op een configuratieruimte 𝒞, variabelen zijn dimensieloos in natuurlijke eenheden (ℏ=c=1). Status per claim: afgeleid, gemotiveerd, open.
De formules hieronder zeggen, in gewone taal, precies dit:
Deze pagina formaliseert wat de filosofie-pagina conceptueel beschrijft. Naar filosofisch fundament →
Intuïtief: een "configuratie" is een complete beschrijving van hoe een mogelijk universum eruit ziet — met zijn geometrie, velden, en alle parameters. De verzameling van alle mogelijke configuraties is het speelveld waarop selectie plaatsvindt.
Zij 𝒞 een topologische ruimte waarvan de punten corresponderen met volledige specificaties van een fysisch systeem. Elk punt C ∈ 𝒞 wordt een configuratie genoemd. Op 𝒞 is een Borel-σ-algebra ℬ(𝒞) gedefinieerd, en een referentie-punt C0 ∈ 𝒞 kan gekozen worden zonder verlies van algemeenheid.
Een selectie-functionaal is een functie P: ℬ(𝒞) → [0, 1] die aan elke meetbare verzameling configuraties een selectie-waarschijnlijkheid toekent. Het centrale probleem van EEML: welke functionele vorm heeft P, gegeven minimale structurele eisen?
Voor de leek: drie eisen aan hoe "waarschijnlijkheid van bestaan" zich hoort te gedragen. Ze zijn zo basaal dat ze moeilijk te verwerpen zijn, maar ze zijn wel aannames — niet van zichzelf waar.
Voor onafhankelijke configuraties A, B (d.w.z. A ⊥ B in 𝒞):
P(A ⊕ B) = P(A) · P(B)
Onafhankelijkheid: er is geen informatie over A die iets zegt over B. Compositie ⊕: samenvoeging als disjuncte configuratie.
P: (𝒞, τ) → ([0,1], standaard topologie) is continu. Equivalent: voor elke convergente rij Cn → C geldt P(Cn) → P(C).
Er bestaat een reëelwaardige functionaal S: 𝒞 → ℝ ∪ {+∞}, de weerstand-actie, zodat voor onafhankelijke A, B:
S(A ⊕ B) = S(A) + S(B)
Onder axioma's A2, A3, A4 is er een unieke continue functie φ: ℝ → [0, 1] zodanig dat P(C) = φ(S(C)), en deze heeft noodzakelijkerwijs de vorm:
φ(s) = e−s (tot schaal-normalisatie)
Machinaal geverifieerd (13 augustus 2026): de kernstelling is geformaliseerd en goedgekeurd in Lean 4 tegen mathlib, inclusief het punt dat de monotonie niet aangenomen hoeft te worden maar uit het codomein volgt (P(s+t) ≤ P(s) omdat P(t) ≤ 1). Het bewijs steunt op precies de standaard-axioma's van Lean (propext, keuze, quotiënten): dezelfde drieslag als in de prijzentabel. Script gearchiveerd (Kern.lean).
Uit A2 + A4: φ(S(A)+S(B)) = φ(S(A))·φ(S(B)). Dit is de Cauchy multiplicatieve functionaalvergelijking:
f(x + y) = f(x) · f(y) voor alle x, y ∈ ℝ
Onder A3 (continuïteit) is de unieke familie van oplossingen f(x) = ecx voor een constante c ∈ ℝ (Aczél 1966, §2.1.2; stelling gaat terug op Cauchy 1821). De conventie P ≤ 1 met P maximaal bij S minimaal dwingt c = −1 af, tot een triviale normalisatie φ(0) = 1. ∎
Stelling 3.1 herbevestigt — in een pre-fysisch kader — de structuur die verschijnt in: Boltzmann's statistische mechanica (S = E/kBT), Feynman's padintegralen (S = klassieke actie), en Jaynes' maximum-entropie-formalisme (Shore & Johnson 1980). De exponentiële vorm is structureel noodzakelijk, niet conventioneel.
Omdat x ↦ e−x strikt monotoon dalend is, geldt: arg maxC ∈ 𝒞 P(C) = arg minC ∈ 𝒞 S(C). De configuratie met de minste weerstand heeft de hoogste voorkeur. Infinitesimale vorm:
δS = 0
Dit is het principe van minste actie — niet aangenomen maar afgeleid uit de drie axioma's. Let op de leessleutel: "hoogste voorkeur" is geen "enige mogelijke". Configuraties met meer weerstand houden gewicht (exponentieel minder), ze bestaan; δS = 0 wijst de voorkeur aan, niet een verbod op de rest. De verdeling over álle configuraties komt terug in Addendum 10.3.
De hoofdstelling heeft de continuïteits-aanname niet nodig. Omdat P per definitie in [0,1] ligt (Definitie 1.2), is h = ln φ een additieve functie die overal naar boven begrensd is, en een additieve functie die op een verzameling van positieve maat naar boven begrensd is, is lineair (Ostrowski 1929; de pathologische Hamel-oplossingen zijn op elke zulke verzameling onbegrensd). Met S ≥ 0 en niet-trivialiteit volgt P = e⁻ˢ direct uit A2 + A4 + het codomein. Het stelsel comprimeert daarmee van drie axioma's naar twee, en continuïteit degradeert van aanname naar gevolg: f(EE) = EE in de praktijk, de wet werd zelf eenvoudiger. Caveat: het S-bereik moet een interval bevatten; bij louter discreet bereik is e⁻ˢ de canonieke maar niet unieke interpolatie. Volledig bewijs: werkdocument kernwerk-12aug.
Intuïtief: de "totale actie" S van een configuratie valt uiteen in drie onafhankelijke bijdragen: hoe vanzelfsprekend de dynamica is (Sdyn), hoe eenvoudig de configuratie is te beschrijven (K), en hoe stabiel ze is onder perturbaties (I). Geen van de drie is te herleiden tot de andere.
Voor een voldoende gladde configuratie C ∈ 𝒞 bestaat er een decompositie
Seff(C) = Sdyn(C) + Kdesc(C) + Istruct(C)
overeenkomend met een splitsing van de raakruimte TC𝒞 in drie orthogonale deelruimtes:
onder de L²-inproduct-structuur op TC𝒞.
Wat er te bewijzen viel. Het decompositie-lemma telt drie soorten richtingen (stroom, gauge, transversaal), en de eerlijkheids-vraag was altijd: telt er niets dubbel? Dat is nu een stelling in drie delen, elk geformaliseerd en goedgekeurd in Lean 4 (Orthogonaliteit.lean, nul fouten). Eén: is S constant langs een gauge-orbit, dan annihileert dS de orbit-richting: ∇S ⊥ Tr, óveral, dus de gradiëntstroom staat loodrecht op de gauge-richtingen: A en K tellen disjunct. Twee: de orbit van een kritiek punt onder een S-invariante transformatie is geheel kritiek. Drie: op zo'n kritieke orbit annihileert de Hessiaan de orbit-richting: Hess S = 0 op Tr, dus K en I tellen disjunct.
Wat eruit volgt, en wat open blijft. Met Tt ⊥ Tr (deel één) en Th := (Tr ⊕ Tt)⊥ per constructie is de splitsing T = Tr ⊕ Tt ⊕ Th paarsgewijs L²-orthogonaal, en de Hessiaan is op kritieke punten blok-diagonaal over de splitsing (een symmetrische vorm die nul is op een deelruimte heeft er geen kruistermen mee). Voorwaarden, eerlijk benoemd: S invariant en differentieerbaar, de gauge-werking lineair (isometrisch voor de inproduct-lezing). En wat open blijft: de identificatie van de drie blokken met Sdyn, K en I is nog steeds [gemotiveerd]: bewezen is het geometrische hart (geen dubbeltelling), niet de naamgeving van de termen. De vier bewijzen steunen op de standaard-drieslag (propext, keuze, quotiënten).
αK = ln 2 per bit. De K-term weegt met e−αKK. Levins coderingsstelling zegt dat de universele semimaat samenvalt met 2−K en dat zij maximaal is: ze domineert elke andere semi-berekenbare maat. Elke andere basis (bijv. 4−K) decayt sneller, wordt gedomineerd en is dus niet-maximaal. Maximaliteit is precies de moeiteloosheids-eis: geen extra informatie binnensmokkelen bovenop de beschrijving zelf. Dus e−αKK = 2−K, ofwel αK = ln 2 wanneer K in bits telt (en 1 in nats): een eenheidskeuze, geen knop.
αI = ½. Leden zijn geen punten maar omgevingen: het gewicht van een configuratie is de integraal over haar fluctuatie-bekken. In de kwadratische (Laplace-)benadering geeft de Gauss-integraal per mode λ−1/2, samen det(Hess S)−1/2 = e−½ ln det Hess. Met de bestaande definitie I = ln det Hess volgt αI = ½ exact: de helft is de Gauss-integraal, niets anders.
Gevolg en voorwaarden. S = A + (ln 2)·K + ½·I heeft daarmee nul vrije wegingsparameters: het "alleen tekens vastgelegd" van de statuspagina is opgewaardeerd naar "waarden afgedwongen". Voorwaarden, eerlijk benoemd: K in bits met de maximaliteits-eis (Levin), geldigheid van de kwadratische benadering, en nulmodi die naar de gauge-sector verhuizen in plaats van naar I. [afgeleid, voorwaardelijk]
(i) Tt ⊥ Th: tijd-evolutie is tangentieel aan een oplossings-traject; Hessiaan-variatie is normaal op het extremaal-oppervlak. Deze zijn complementair per definitie van het stationariteitsprincipe.
(ii) Tt ⊥ Tr: fysische evolutie is invariant onder herparametrisatie (covariantie / diff-invariantie). Een variatie in parametrisatie verandert trajecten niet.
(iii) Th ⊥ Tr: Hessiaan-eigenwaarden zijn gauge-invariant; een gauge-variatie heeft Hessiaan-projectie nul.
Status: deze drie statements zijn fysisch overtuigend en worden routinematig gebruikt in BRST-formalismen, maar een geüniformeerd wiskundig bewijs vereist een expliciete keuze van metriek op 𝒞 (bijvoorbeeld de DeWitt-metriek op superspace). Strikt geformuleerd bewijs is een open onderzoeksdoel. ∎
Formuleer orthogonaliteit (i)–(iii) rigoureus in de DeWitt-metriek op superspace, of geef een tegenvoorbeeld waar deze orthogonaliteit faalt buiten het storingsregime.
Intuïtief: de klassieke actie. Gewone fysica.
Formeel: op een (pseudo-)Riemannse variëteit (M, g) met materievelden φ:
Sdyn[g, φ] = ∫M [R / (16πG) + ½ gμν∂μφ ∂νφ − V(φ)] √|g| d4x
Einstein-Hilbert plus materie-actie. Op Ricci-vlakke K3-compactificaties (Rμν = 0) reduceert dit tot de materie-bijdrage.
Status-update (augustus 2026): over eindige interne geometrieën is Sdyn selectie-vlak. De naïeve lezing waarin de kale vacuümterm meetelt zou per extra fermion-toestand ~(Λ/H0)⁴ kosten en wordt door het bestaan van ons eigen (deeltjesrijke) adres weerlegd; onder de gerenormaliseerde lezing (vacuümterm per lid naar de gemeten kosmologische constante) verschillen zelfconsistente kandidaten op vacuümniveau niet. Gevolg: bij de selectie over eindige spectrale triples (§12) draagt de descriptieve term K het volledige onderscheidende werk; er loopt geen verborgen route via de dynamica. Zie toetsingspagina, adres-boekhouding.
Onder de eisen: locale, covariante, diffeomorfisme-invariante actie met hooguit tweede-orde afgeleiden in g, is de Einstein-Hilbert-actie (eventueel met kosmologische constante) de unieke keuze tot op triviale randtermen (Lovelock 1971). Hogere-orde correcties zijn mogelijk maar onderdrukt met factoren van ΛUV.
De Euclidische Einstein-Hilbert-actie is niet van onderen begrensd op ongerestringeerde metrieken: onder een conforme transformatie g → Ω²g krijgt de conforme factor een kinetische term met verkeerd teken, zodat snel variërende Ω de actie willekeurig negatief maakt (Gibbons–Hawking–Perry 1978). Gevolg: het bestaan van een minimizer van Seff — nodig om "de geselecteerde configuratie" in Gevolg 3.2 welgedefinieerd te maken — is op kale superspace niet gegarandeerd; de coërciviteits-aanname van de directe methode is daar aantoonbaar geschonden.
Twee reparaties:
Status: dat de begrensdheid faalt is rigoureus; de reparaties zijn voorwaardelijk (rotatie) resp. hard-binnen-sector (restrictie). EEML's fysische claims lopen via de K3-sector, dus via de tweede route.
Intuïtief: hoeveel bits heeft het om een configuratie volledig te specificeren? Een simpele configuratie heeft lage K.
Voor een configuratie C = (M, φ) met variëteit M en velden φ:
K(C) = Ktopo(M) + Kmoduli(M) + Kfields(φ | M)
Ktopo(M) = log2|ℌn| waarbij ℌn de verzameling homeomorfie-klassen is van compacte oriënteerbare n-dimensionale variëteiten die voldoen aan de geïmposeerde structuur-condities (Ricci-vlak, simply-connected, Kähler voor K3-geval).
Kmoduli(M) = dimℝ(𝓜Einstein(M)) · log2(ΛUV/ΛIR) waarbij 𝓜Einstein de Einstein-moduli-ruimte is en de log-factor de bits-precisie tegen een natuurlijke schaal.
Kfields(φ|M) = Σi log2(1/εi) voor N onafhankelijke veld-parameters met resolutie εi.
Ktopo(K3) = log2(1) = 0 ← K3 uniek in klasse (Kodaira-Enriques) Kmoduli(K3) = 58 · log2(1015) ≈ 2890 bits ← dim 𝓜Einstein = 57 + volume Kfields(SM) = 19 · 50 ≈ 950 bits Ktotaal ≈ 3840 bits
Ter vergelijking: een CY3-fold met dim 𝓜 ~ 200 en 50% SUSY-breuk geeft K ≈ 12860 bits. ΔK ≈ 9020 bits → gewichtsverhouding 2−ΔK = e−6252.
Correctie (juli 2026): eerdere versies telden hier Kmoduli = 20·log₂(10¹⁵) ≈ 997 bits (alleen h1,1 = 20), in tegenspraak met de eigen definitie (dim 𝓜Einstein) en de K3-referentiekaart op de fysica-pagina (dim = 57+1). Ook stond de verhouding als e−ΔK/ln 2; juist is 2−ΔK = e−ΔK·ln 2. Beide hersteld; de kwalitatieve selectie (K3 ≪ CY3) verandert niet.
Gemeten (juli 2026): de spectrale beschrijvingskost is nu voor het eerst gemeten in plaats van geschat, uit het berekende Laplaciaan-spectrum (fysica-pagina 6.1): een generiek oppervlak heeft geen spectrale degeneraties (~7000 bits voor de eerste ~440 modes), de Fermat-K3 comprimeert door zijn symmetrie-multipletten tot ~400 à 1400 bits (factor 5 à 17), en T⁴ tot een formule van ~10 bits. Let op de volgorde: T⁴ is compressibeler dan K3 en wordt tóch hard geëlimineerd (π₁ ≠ 0) — compressibiliteit is niet de eerste poort; harde eliminatie gaat voor zachte weging.
De MDL-keuze is niet uniek. Alternatieven: Shannon-entropie van parameter-posterieuren (vereist prior), Kolmogorov-complexiteit (niet-berekenbaar), dimensie-tellingen (ruw). Onder deze alternatieven blijft het kwalitatieve ordening (K3 ≪ CY3, T⁴ ≤ K3) robuust. De kwantitatieve waardes van αK zijn keuze-afhankelijk.
Intuïtief: hoe stabiel is de configuratie onder verstoring? Instabiliteit (tachyonen) of fijnafstemming wordt bestraft.
Zij V: 𝒞 → ℝ de potentiaal-functionaal en HC := D²V|C de Hessiaan op configuratie C, met eigenwaarden {λi}i=1dim 𝒞. Definieer:
I(C) = Itach(C) + Ift(C)
Itach(C) = Σi: λᵢ < 0 τᵢ · |λᵢ| met τᵢ ~ 1/|λᵢ| vervaltijd
Ift(C) = Σi: 0 < |λᵢ| < Λ²nat log(Λ²nat / |λᵢ|)
waarbij Λnat de natuurlijke mass-schaal is van de theorie (bijv. MPl of v voor elektrozwakke sector).
(i) Als C een tachyonische richting heeft (λi < 0), dan I(C) > 0 en bij meerdere tachyonen divergerend.
(ii) Configuraties met ongeveer kritische eigenwaarden (|λ| ≪ Λnat²) worden straffen opgelegd die logaritmisch divergeren in de limiet λ → 0. Dit is een kwantitatieve uitdrukking van de intuïtie "fine-tuning is onnatuurlijk".
Voorbeeld T⁴ vs K3: plat-dimensionale T⁴ compactificatie heeft π1(T⁴) = ℤ4 ≠ 0, wat Goldstone-achtige massieve-nul-modi oplevert bij schaal 1/R (compactificatie-straal). Deze geven Hessiaan-eigenwaarden in het Ift-bereik, wat I(T⁴) ≫ I(K3) geeft onafhankelijk van de waarde van αI > 0.
Er zijn twee verschillende Hessianen in het spel, en ze mogen niet worden verward:
Omdat Istruct een functie is van spec(Hfys), bevat Seff tweede afgeleiden van V — structureel geldt dus Hsel ≠ Hfys. Implicaties in beide richtingen ("fysisch stabiel ⟹ selectie-attractor" of omgekeerd) zijn niet gegeven: ze gelden alleen als V en Seff dezelfde kritieke structuur delen. Dit is een zelfstandig open probleem (11.5). Stabiliteitsuitspraken op deze pagina over λi betreffen steeds Hfys, tenzij anders vermeld.
E[C] = αS · Sdyn(C) + αK · Kdesc(C) + αI · Istruct(C) Conventie: αS = 1. Natuurlijkheid: αK > 0, αI > 0.
Voor kwalitatieve ordeningen tussen topologische klassen of discrete structuur-parameters (zoals generatie-aantal), geldt dat de minimizer van E onafhankelijk is van de exacte waardes van αK, αI zolang αK, αI > 0 én de competitieve termen in dezelfde richting wijzen.
Zij C1, C2 twee configuraties. Noteer ΔE = E(C1) − E(C2) = αSΔS + αKΔK + αIΔI.
Als sgn(ΔS) = sgn(ΔK) = sgn(ΔI) (of sommige termen zijn nul), dan is sgn(ΔE) onafhankelijk van magnitude van αK, αI (zolang ze positief zijn). Selectie van arg min E is dan alleen afhankelijk van de tekens van de differenties, niet hun relatieve wegingen. ∎
Voor kwantitatieve voorspellingen (numerieke waardes van α, massaverhoudingen, exacte frequenties) zijn αK en αI nodig. Deze worden niet door EEML zelf vastgesteld. Zie sectie 11.
De waarnemer-geconditioneerde maat factoriseert per lid in structuur F (gewicht 2⁻ᴷ) en adres-coördinaten (conditionele dichtheid). Voor waargenomen data ontbindt de totale verrassing additief: −log₂ P = K(F) + typicaliteitsbits. Modelvergelijking op vaste data moet dus de sóm gebruiken: K is de prior, typicaliteit de likelihood, en de "gecombineerde boekhouding" van de toetsingspagina is niets anders dan Bayesiaanse modelvergelijking met de universele prior. Kale K-minimalisatie is het speciale geval van gelijke likelihoods. Daarmee is de methodologische regel van 12 augustus (en de axion-redenering die erop rust) een stelling in plaats van een afspraak.
Intuïtief: EEML past op zichzelf. Elke bouwsteen is zelf het minimum van een analoog selectie-probleem.
Elk bouwsteen van E is zelf een minimale keuze binnen zijn eigen categorie:
De functionaal E is dus zelf een minimum-complexity, minimum-instabiliteit, minimum-dynamische representatie van het selectieprincipe. f(EE) = EE is niet alleen filosofisch maar operationeel.
Voor de leek: als er meerdere paden van het begin naar het eind mogelijk zijn, dragen alle bij — maar paden met hogere actie dragen exponentieel minder bij. Dat is precies wat P = e−S zegt.
Propagatie tussen configuraties Cinit en Cfinal:
K(Cinit, Cfinal) = ∫𝒫 𝒟x e−Seff[x]/ℏ (Euclidische formulering)
Hier is 𝒫 = {x: [0,T] → 𝒞 | x(0) = Cinit, x(T) = Cfinal} en 𝒟x de formele maat op padruimte (rigoureuze definitie vereist Osterwalder-Schrader-axioma's of gelijkwaardig).
Klassieke limiet ℏ → 0: de integraal wordt gedomineerd door het stationaire pad (steepest-descent), hetgeen δS = 0 oplevert — consistent met Gevolg 3.2.
Negatief deel (rigoureus): deterministische gradiëntafdaling xt+1 = xt − η∇Seff(xt) implementeert arg min Seff niet. Onder de Łojasiewicz-eigenschap convergeert elk begrensd traject naar één kritiek punt (Łojasiewicz 1963; Absil–Mahony–Andrews 2005), maar de limiet is het lokale minimum van het bekken van het beginpunt; bij ≥ 2 geïsoleerde lokale minima hebben niet-globale bekkens positieve maat. "Realisatie" is dus gedefinieerd als de modus van P (Gevolg 3.2), bereikt via de maat hierboven — niet als limiet van een flow vanaf willekeurig beginpunt.
Positief deel (Laplace): voor eindig-dimensionale 𝒞, Seff ∈ C² coërcief met eindig veel niet-gedegenereerde globale minima C1*, …, Cm*, convergeert Pℏ = e−Seff/ℏ/Z zwak (ℏ → 0) naar Σk wk δCk* met
wk ∝ det(D²Seff|Ck*)−1/2
De limietmaat is dus niet uniform over globale minima: vlakkere minima (kleinere determinant) wegen zwaarder; uniform alleen bij gelijke determinanten (symmetrie). In veldentheorie wordt det de ζ-geregulariseerde functionaaldeterminant — precies de één-lus-prefactor, wat dit resultaat direct koppelt aan het heat-kernel-programma van 11.4.
Dynamische realisatie: de dynamica die arg min wél bereikt is ruis + annealing (Langevin-diffusie met stationaire maat ∝ e−Seff/ε en koelschema εt ~ c/log t; Geman–Hwang 1986). Rigoureus in ℝⁿ; de veldentheoretische versie (stochastische kwantisatie, Parisi–Wu) is kandidaat-kader voor open probleem 11.2.
Intuïtief: "wat bestaat", "met welk gewicht" en "wat is actueel" zijn drie verschillende vragen. Alle stabiele configuraties bestaan; de maat verdeelt de gewichten; en "welke is actueel?" blijkt alleen van binnenuit beantwoordbaar. Dit vervangt de onbewijsbare eis dat er maar één universum mogelijk zou zijn — de noodzaak zit niet in het ene universum, maar in de verdeling.
𝔄 := { C ∈ 𝒞 : Seff(C) < ∞, ∇Seff(C) = 0, D²Seff|C ⪰ 0 } existentie — veel μ(Ck) ∝ e−Seff(Ck)/ℏ · det′(D²Seff|Ck)−1/2 maat — gewichten (Stelling 10.2) x* ∈ 𝔄 actualiteit — indexicaal
De keten H ⊇ X ⊇ 𝔄 ∋ x* is precies de "Drie Bestaansmodi" van de filosofie-pagina: 𝔄 is modus A (stabiele subset), nu met exacte definitie. Er wordt geen convexiteit van Seff geëist; 𝔄 mag groot of oneindig zijn.
Zij 𝒪 de algebra van fysische observabelen op 𝒞 (functionalen bepaald door de structuur van Seff). Noem actualiteit causaal werkzaam als er een O ∈ 𝒪 bestaat waarvan de waarde afhangt van het actueel-zijn van C bovenop C's lidmaatschap van 𝔄. Dan geldt precies één van:
Bewijs: uitgesloten derde op "∃O ∈ 𝒪 die actualiteit onderscheidt"; de kostenposten volgen per tak. ∎
De HIER-ontologie stelt: geen buitenkant, geen externe conditie; f(EE) = EE verwijst niet buiten zichzelf. Een activatieveld a is precies zo'n verwijzing: het onderscheidt universa op een grond die niet uit Seff volgt, en zijn eigen selectie vergt een instantie buiten de zelf-consistente wet — het oneindig regres dat de filosofie-pagina als diskwalificerend behandelt. Onder de HIER-axioma's vervalt tak (a), dus:
actualiteit is indexicaal; de objectieve, noodzakelijke structuur is het paar (𝔄, μ)
De maat is berekenbaar: det′ is de ζ-geregulariseerde één-lus-determinant (heat-kernel-programma, 11.4). Wat verzwakt: "het énige mogelijke universum" wordt "de noodzakelijke verdeling over bestaande universa". Wat onveranderd blijft: "vrijheid = determinisme" (die claim gaat over de structuur van de wet, niet over het aantal minima). Ook lezing "x* = arg max μ" blijft beschikbaar als afgezwakte uniciteitsclaim — welgedefinieerd alleen bij een uniek maximum; bij symmetrie-ontaarding treedt spontane symmetriebreking op in plaats van "één".
Een derde lezing — x* = het bekken waarin de flow feitelijk viel — is consistent als wiskunde maar maakt actualiteit contingent op een beginconditie: precies de externe conditie die het intrinsieke determinisme uitsluit. Binnen EEML geen optie.
Vervangt: de impliciete aanname dat arg min Seff uniek is (convexiteits-achtige eis, onbewezen en voor compactificatie-landschappen vermoedelijk onwaar). Het open uniciteitsprobleem is hiermee niet opgelost maar ontbonden: het deel dat waar moest zijn (noodzaak) zit in μ; het deel dat niet te bewijzen was (uniciteit) blijkt niet nodig.
Open blijft (11.6): normaliseerbaarheid van μ over heel 𝔄; volumefactoren bij continue ontaarding (moduli-ruimtes); status van randconfiguraties (λmin = 0) in 𝔄 — gekoppeld aan 11.5.
Intuïtief: de stabiliteitsterm blijkt geen zelfstandige term. Tachyonen zijn geen strafpost maar een diskwalificatie (wat vervalt, bestaat niet — hoort niet in 𝔄), en fine-tuning is beschrijvingskost: een parameter tunen tot precisie ε kost log(1/ε) bits — dat mat K al (Def. 6.1, Kfields). Daarmee verdwijnt αI, en αK ligt vast op ln 2: één bit extra beschrijving = factor 2 minder voorkeur.
E[C] = Sdyn(C) + ln 2 · Kdesc(C) op 𝔄 := {Seff < ∞, δSdyn = 0, D²V ⪰ 0}
(a) Itach → lidmaatschap. Een straf op configuraties die zichzelf niet kunnen voortzetten is een categoriefout; uitsluiting uit 𝔄 (D²V ⪰ 0) is de juiste vorm. De τᵢ·|λᵢ|-heuristiek met vervaltijden vervalt.
(b) Ift → bits. Ift = Σ log(Λ²/|λ|) is exact de beschrijvingskost van bijna-kritische parameters: Ift = ln 2 · Σ log₂(Λ²/|λ|), een onderdeel van K. De oude vorm dubbeltelde.
(c) αK = ln 2. Prefix-vrije beschrijvingslengtes tellen op onder compositie (dus K kwalificeert onder axioma A4), en de kans-semantiek van een bit is een factor 2 — de universele-prior-structuur (Solomonoff 1964; Li & Vitányi 2008). Een andere αK is geen fysische vrijheid maar een herdefinitie van de log-basis.
(d) Correctie op de crossover in 11.3. Als bit-kost wordt de tuning-straf niet door 1/ℏ versterkt: gewicht van een platte mode ∝ (λ/Λ²)¹ · λ−1/2 = λ+1/2 → 0. De fine-tuning-straf wint robuust, bij elke ℏ; de eerdere αI* = ℏ/2-spanning was een artefact van de dubbeltelling.
(e) Gevolg voor 11.5. De twee Hessianen krijgen disjuncte banen: D²V beslist existentie (lidmaatschap 𝔄), D²Seff beslist gewichten (det′-prefactor in μ). Er hoeft niets samen te vallen, want selectie loopt via de maat, niet via een flow. De compatibiliteitsvraag degradeert van blokkerend naar een vraag over het optionele dynamische plaatje.
Open rest: de factorisatie e−Sdyn/ℏ · 2−K (kwantum-gewogen dynamica × prior-gewogen beschrijving) is een structurele aanname; en de MDL-keuze zelf blijft gemotiveerd (Def. 6.1).
Intuïtief: mag je wel over álle bestaande universa optellen, of ontploft de som? Antwoord: de complexiteitsterm zelf dwingt convergentie af. Eenvoud wordt exponentieel bevoordeeld, en dat is precies genoeg om een oneindig landschap onschadelijk te maken.
ΣC ∈ 𝔄disc e−Sdyn/ℏ · 2−K(C) · det′−1/2 ≤ D · e−B/ℏ · Σ 2−K ≤ D · e−B/ℏ < ∞
Prefix-vrije codes voldoen aan de Kraft-ongelijkheid Σ 2−K ≤ 1 (Kraft 1949; McMillan 1956; Cover & Thomas 2006, Th. 5.2.1). Met Sdyn ≥ B > −∞ op de sector (Caveat 5.1-R2, K3) en det′−1/2 ≤ D volgt de keten. Er zijn hoogstens 2K configuraties per beschrijvingslengte K — het landschap mag oneindig zijn zolang complexiteit onbegrensd groeit, en dat doet ze. ∎
Voorwaarden expliciet: prefix-vrije MDL-taal [gemotiveerd], sector-ondergrens op Sdyn [hard binnen K3-sector], begrensde prefactor [gekoppeld aan de rand λ→0].
Continu deel: moduli-integralen ∫𝓜 dvolWP zijn eindig voor brede klassen Calabi-Yau-moduli-ruimtes (Douglas & Lu 2005) — voorwaardelijk voor de K3-sector.
Filosofische lezing: "de verdeling is noodzakelijk" (Addendum 10.3) is houdbaar precies doordat het ingewikkelde niets weegt. De som over alles wat bestaat convergeert dankzij de voorkeur voor eenvoud — de leessleutel bovenaan draagt hier letterlijk het bewijs.
Intuïtief: wat betekent de verdeling μ voor óns? "Actueel" is indexicaal (Gevolg 10.5), en de vraag "welk universum is actueel?" kan alleen gesteld worden in een universum dat zichzelf voldoende representeert. Voorspellingen volgen dus uit μ, geconditioneerd op zelfrepresenterende universa, plus typicaliteit daarbinnen.
Definitie (zelfrepresentatie). C ∈ 𝔄 is zelfrepresenterend als C een deelsysteem σ bevat dat de wet van C codeert (vorm van Seff + parameters tot fysisch relevante precisie): K(wet(C) | σ) = O(1). Geen volledig micro-model — dat verbiedt de Gödel-limiet — maar een voldoende zelfmodel.
Leesregel (aanname, nu expliciet). Voorspellingen = verwachtingen onder μ( · | 𝔄self), met typicaliteit binnen 𝔄self := {C : C zelfrepresenterend}.
Stelling (halve): zelfrepresentatie ⟹ comprimeerbaarheid. Een zelfmodel moet bínnen C passen: K(wet(C)) ≤ capaciteit van σ < capaciteit van C. Een universum waarvan de wet meer bits vergt dan enig deelsysteem kan dragen, kan zichzelf niet representeren. Dus 𝔄self ⊆ {lage K}. ∎ [hard als AIT-ongelijkheid]
Vermoeden (convergentie). μ concentreert op lage K (Reductie 10.6), en zelfrepresentatie vereist lage K (de halve stelling). Vermoeden: conditioneren op 𝔄self verandert μ nauwelijks — de zelfbegrijpende universa zijn precies de μ-zware. Dan is de leesregel bijna gratis. Ontbrekende richting: lage K ⟹ generiek zelfrepresenteerbaar (vergt dat eenvoudige wetten universele berekening toestaan). [open — dit is de scherpe vorm van "het actuele universum begrijpt zichzelf": geen definitie van actualiteit, maar een convergentiestelling in wording]
De referee-vraag: hoe komt de asymmetrische, complexe fysieke realiteit voort uit een wiskundig perfect geoptimaliseerde wet? De drielaag geeft op beide helften een schoon antwoord.
Zij G een symmetriegroep die op 𝒞 werkt en Seff invariant laat. Als de voorkeursconfiguraties een G-baan vormen (ontaarding), dan is de maat μ exact G-symmetrisch: Seff en det′ zijn G-invariant, dus alle leden van de baan krijgen gelijk gewicht. Maar elk lid afzonderlijk breekt G. En omdat actualiteit indexicaal is (Gevolg 10.5), bewonen wij één gebroken lid — wij zien asymmetrie, terwijl de wet symmetrisch blijft. De waargenomen asymmetrie is dus geen inconsistentie van de optimalisatie maar een gevolg van de drielaag: symmetrie geldt de verdeling, breking het lid. Dit is spontane symmetriebreking, exact in het formaat "én-én met een adres" van de filosofie-pagina — en het is precies het geval waarin "de winnaar" een baan is in plaats van een punt (zie Addendum 10.3: symmetrie-ontaarding).
E = Sdyn + ln 2 · K minimaliseert de beschrijvingscomplexiteit van de wet en de configuratiedata — niet van het gedrag dat eruit volgt. Eenvoudige regels met rijk emergent gedrag zijn geen anomalie maar de norm (drielichamenprobleem, cellulaire automaten, Navier–Stokes), en voor EEML zelfs een vereiste: het convergentie-vermoeden 11.7 vraagt dat lage-K-wetten universele berekening toestaan — dus complex gedrag kúnnen dragen. "Simpele wet, complexe wereld" is daarmee een voorspelling van het raamwerk, geen spanning erin.
Status: beide argumenten gemotiveerd; de dynamica van de differentiatie (hoe structuur feitelijk uit het nulpunt emaneert) blijft open probleem 11.2.
De vraag. Waarom weegt een kwantumtak met |ψ|², en niet met |ψ| of |ψ|⁴? Dit is een beroemd open fundament (Everett, Gleason, Zurek, Deutsch-Wallace, Sebens-Carroll hebben elk een route). EEML's drielaag is structureel al veeltakkig-met-een-maat; de vraag is of de eigen axioma's de maat over takken vastleggen.
Stap 1 [afgeleid]: compositie dwingt een machtswet af. Voor onafhankelijke deelsystemen vermenigvuldigen amplitudes (ctotaal = c₁·c₂), en axioma A2 eist dat gewichten van onafhankelijke gebeurtenissen vermenigvuldigen. Dus f(|c₁||c₂|) = f(|c₁|)·f(|c₂|) op (0,1]: de multiplicatieve Cauchy-vergelijking. Met het codomein [0,1] en de logaritme-substitutie is dit exact de situatie van de A3-aanscherping: een additieve, naar boven begrensde functie is lineair (Ostrowski), dus f(x) = x^α: het gewicht van een tak is noodzakelijk een macht van zijn amplitude. Geen continuïteit nodig; zelfde stelling, derde toepassing (na e⁻ˢ en de complexe getallen).
Stap 2 [afgeleid, voorwaardelijk]: vertakkings-consistentie dwingt α = 2 af. Splitst een tak symmetrisch in twee gelijke subtakken (c → c/√2, c/√2), dan eist gewichtsbehoud 2·(|c|/√2)^α = |c|^α, en dat kan alleen bij α = 2. Algemener: Σ|ci|^α is alleen voor α = 2 invariant onder de unitaire dynamica: elke andere macht laat de totale kansmassa driften met de tijd of afhangen van hoe fijn je de takken snijdt. Gewichtsbehoud-onder-verfijning plus A2 geeft dus Born: P = |ψ|².
Eerlijke voorwaarden, met naam: (i) dat het gewicht alleen van |amplitude| afhangt steunt op decoherentie/envariantie (fasen van gedecohereerde takken zijn principieel ontoegankelijk; Zurek); (ii) de voorkeursbasis-vraag wordt door decoherentie beantwoord, niet door ons; (iii) gewichtsbehoud-onder-vertakking leek een echte aanname, maar is dezelfde avond ontbonden: zie hieronder. Binnen die voorwaarden is de Born-regel geen postulaat maar de derde output van dezelfde twee axioma's: één weegmachine, drie wetten: a-lokaal over de leden, lokaal per tak en per stap. Verhouding tot de literatuur: de ingrediënten zijn bekend (Everetts additiviteit, Gleasons uniciteit, Zureks envariantie); de bijdrage hier is de unificatie: dat exact de EEML-axioma's die de bestaans-maat vastlegden, ook de takken-maat vastleggen.
Aanvulling (dezelfde avond): de geen-drift-aanname ontbonden. Wat er nog als aanname stond, blijkt te ontbinden in drie dingen die het raamwerk al droeg. Ten eerste de tijdloze ontologie: gewichten leven op complete geschiedenissen, niet op momenten; elke tak-doorsnede op elk tijdstip partitioneert dezélfde verzameling geschiedenissen, dus er ís geen niveau waarop totale kansmassa zou kunnen driften: "drift" is tijd-taal toegepast op de tijdloze laag, dezelfde categorie-fout als bij het nulpunt (11.2). Ten tweede de additiviteit van de maat over disjuncte alternatieven: die stond al op axioma-niveau. Ten derde de decoherentie, die al voorwaarde (i) was: gedecohereerde takken zijn orthogonaal en hun amplitudes tellen dan pythagorisch op, |c|² = Σ|ci|², zonder interferentie-termen. En daarmee wordt stap 2 zelfs eleganter dan via de dynamica: additiviteit eist P(tak) = Σ P(subtakken), de machtswet geeft P = |c|^α, en Pythagoras verdraagt dat alléén voor α = 2. De macht twee is dus geen dynamisch feit maar het unieke punt waar de additiviteit van de maat en de meetkunde van orthogonale takken samenvallen. Wat eerlijk overblijft: decoherentie is bij benadering (interferentie is nooit exact nul), dus Born is exact in de gedecohereerde limiet; en de pythagorische structuur komt uit het inwendig product van de kwantum-kinematica zelf, dat wij gebruiken maar niet afleiden: geen circulariteit met de kansregel, wel een afhankelijkheid van de kinematica, zo benoemd.
Formeel bewijs van Tt ⊥ Th ⊥ Tr onder een gedefinieerde metriek op 𝒞. Kandidaat: DeWitt-metriek op superspace voor gravitationele sector.
Status-update (helft opgelost): voor de Euclidische formulering geeft Ebin's slice-theorema (Ebin 1970) rigoureus de orthogonale splitsing gauge-orbit ⊥ fysische richtingen (Tr ⊥ rest) t.o.v. de L²/DeWitt-metriek. Open blijft alleen de splitsing Tt vs Th bínnen de fysische slice — en onder Reductie 10.6 is dat de enige plek waar de orthogonaliteit nog iets moet dragen.
Status-update (augustus 2026): ontbonden. De vraag bevat een laag-fout uit het oude flow-beeld. Tussen leden is er geen proces van niets naar iets (existentie is niet exclusief; "eerst niets, toen iets" is tijd-taal buiten haar domein). Binnen een lid is wat als emanatie voelt de tijdpijl: elke geschiedenis comprimeert naar haar eenvoudigste slice, en terugkijken is kijken richting die bijna-lege doorsnede. Het oer-beeld "nothing does not exist, therefore it must be a point of everything" krijgt zo zijn formele tegenhanger: het nulpunt is geen oorsprong-gebeurtenis maar de comprimeerbare kant van elke geschiedenis. Zie werkdocument kernwerk-12aug, punt 5.
Formele dynamica van de overgang W=0 → W > 0 (ontstaan van differentiatie uit het nulpunt). Kandidaat-kader: stochastische kwantisatie met W als omgekeerde diffusie-coëfficiënt.
Exacte numerieke waardes van αK en αI. Voor de topologische selecties (K3, χ=24, N=3) voldoende dat αK, αI > 0, maar voor numerieke voorspellingen (α, massa-ratios) nodig.
Aanscherping (via Stelling 10.2): de det−1/2-weging beloont platte richtingen (kleine eigenwaarden → groter gewicht), terwijl Ift platheid straft. Speelgoedvergelijking — onder de aanname dat een platte richting met schaal λ in beide Hessianen vergelijkbaar verschijnt (zie Waarschuwing 7.2) — geeft per mode een gewicht ∝ λαI/ℏ − 1/2: platheid wordt gestraft ⟺ αI > ℏ/2. In de strikte limiet ℏ → 0 wint de fine-tuning-straf altijd; bij eindige ℏ ligt de crossover bij αI* = ℏ/2. De α-vraag is daarmee een concrete kwantitatieve vraag, geen vrije keuze.
Status-update (grotendeels opgelost via Reductie 10.6): αI is geëlimineerd (Itach → lidmaatschap van 𝔄; Ift → bit-kost binnen K), en αK = ln 2 ligt vast via de universele prior. De crossover hierboven was een artefact van dubbeltelling: als bit-kost wint de fine-tuning-straf robuust (mode-gewicht ∝ λ+1/2), bij elke ℏ. Open rest: de MDL-keuze zelf (gemotiveerd, Def. 6.1) en de factorisatie e−Sdyn/ℏ · 2−K.
Expliciete berekening van heat-kernel-coëfficiënt a6 op Fermat quartic K3 (x04 + ⋯ + x34 = 0 in ℂℙ³) via expliciete Laplacian-eigenwaarde-spectrum. Doelorde (met me-anker en RG-running): ζ'K3(0) ~ 103–104. Zie fysica-pagina.
Eerlijke aanscherping (het metriek-obstakel): van de Ricci-vlakke metriek op K3 is géén gesloten vorm bekend — Yau (1978) bewijst dat ze bestaat, maar het bewijs is niet-constructief. Het Laplaciaan-spectrum analytisch uitrekenen kan dus niet met bestaande technologie. De begaanbare route is numerieke spectraalmeetkunde: Donaldsons gebalanceerde-metriek-algoritme (Donaldson 2009), de numerieke Ricci-vlakke K3-metrieken van Headrick–Wiseman (2005), en recente machine-learned Calabi-Yau-metrieken. Dit degradeert 11.4 niet — het maakt het concreet: geen pen-en-papier-som maar een numeriek project met bekende methodologie, waarbij ζ'K3(0) met gecontroleerde numerieke fout komt. Na Reductie 10.6 zijn er bovendien geen vrije wegingsparameters meer, dus de keten geometrie → getal bevat geen ad-hoc knoppen.
Status-update (juli 2026): opgelost. Het numerieke project is uitgevoerd. Uitkomsten (Vol = 1, gevalideerd via exact volume, Gauss-Bonnet/c₂ = 24, ζ(0) = −11/15 en meervoudige seeds): ζ'K3(0) = +1,0 ± 0,1 en a₆ = −0,71 ± 0,02, via lokale krommingsintegralen met een Bianchi-reductie die derde afgeleiden vermijdt. Het oude doelvenster ~10³–10⁴ is daarmee definitief weerlegd; zie fysica-pagina 6.1 en criterium F2′ voor de gevolgen.
Onder welke voorwaarden delen V en Seff dezelfde kritieke structuur, zodat fysische stabiliteit (D²V ⪰ 0, Definitie 7.1) en attractor-zijn van de selectie-dynamica (D²Seff ≻ 0) samenvallen? Zie Waarschuwing 7.2. Aparte deelvraag: de rand λmin = 0 (moduli / platte richtingen) is niet-hyperbolisch — linearisatie beslist daar niet en center-manifold-analyse is nodig.
Status-update (ontbonden via Reductie 10.6): de twee Hessianen hoeven niet samen te vallen, want ze doen verschillend werk — D²V beslist existentie (lidmaatschap 𝔄), D²Seff beslist gewichten (det′-prefactor in μ). Selectie loopt via de maat, niet via een flow, dus de attractor-eigenschap is alleen nodig in het optionele relaxatie-plaatje. Restvraag (open, gedegradeerd): fysisch stabiele zadels van Seff in 𝔄 en hun behandeling buiten de Laplace-expansie; plus de rand λ → 0.
Is μ (Addendum 10.3) normaliseerbaar over heel 𝔄, d.w.z. Σk e−Seff(Ck)/ℏ det′−1/2 < ∞? Bij een oneindig landschap is dit een echte aanname. Deelvragen: volumefactoren ∫𝓜 dvol bij continue ontaarding (moduli-ruimtes), en de behandeling van nul-modi in det′ — beide gekoppeld aan 11.5.
Status-update (grotendeels opgelost via Stelling 10.7): het discrete deel convergeert via de Kraft-ongelijkheid — hard, gegeven prefix-vrije MDL, de sector-ondergrens op Sdyn en een begrensde prefactor. Het continue deel is voorwaardelijk op eindige Weil–Petersson-volumes (Douglas & Lu 2005). Open rest: de rand λ → 0 in det′.
Status-update (augustus 2026): opgewaardeerd. Naast de bestaande halve stelling (zelfrepresentatie ⟹ comprimeerbaarheid) nu ook een voorwaardelijke stelling de andere kant op: elk lid dat de waarnemer-poorten passeert bezit via zijn chemie een substraat voor universele berekening, waarin een codering van de wet tegen configuratie-kosten van orde K(wet) past; zelfrepresentatie is dus beschikbaar en wordt door de maat niet onderdrukt. De open restkern is kleiner geworden: of waarnemers de beschikbare zelfrepresentatie ook typisch benutten. Einsteins raadsel hangt alleen nog daaraan. Zie kernwerk-12aug, punt 3.
De leesregel (10.8) conditioneert μ op zelfrepresenterende universa. De halve stelling (zelfrepresentatie ⟹ lage K) is hard; open is de omgekeerde richting: impliceert lage K generiek zelfrepresenteerbaarheid (laten eenvoudige wetten universele berekening toe)? Zo ja, dan convergeren "μ-zwaar" en "begrijpt zichzelf" en is de conditionering bijna gratis — de scherpe vorm van "het actuele universum begrijpt zichzelf".
De minimalisatie van E[C] over configuraties C geeft de voorkeur aan (niet: verklaart als enig mogelijke — zie leessleutel):
Ricci-vlakheid (Sdyn-min) → Calabi-Yau structuur (Yau 1978)
Spinstructuur + simply-connected → K3 via Rokhlin's theorema (§fysica)
Modulaire invariantie → η(τ)24 uniek → χ = 24
K-minimalisatie + waarnemer- en dataconditie
→ SM + νR (uniek; aug 2026)
Correctie (augustus 2026): hier stond eerder "K + fine-tuning-straf → Ngen = 3". Dat was te sterk en is door eigen rekenwerk weerlegd: kale K-minimalisatie prefereert één generatie; het gemeten getal 3 is adres, met een gekwantificeerde prijs van 10 bits (toetsingspagina, adres-boekhouding). Wat er wél afleidbaar bleek is sterker dan de oude claim:
Maat. Over de Wedderburn-geclassificeerde eindige spectrale triples is de beschrijvingskost bevroren als KF = KA + Kdiag met prefix-vrije (Elias-gamma-achtige) codering; die telt op onder compositie en kwalificeert dus onder axioma A4, met weging ln 2 per bit conform Reductie 10.6.
Stelling S′ (eerste-orde-obstructie). In elk Krajewski-diagram waarin de leptonen uitsluitend als kleurcomponent van één fundamentele irrep van een simpele factor voorkomen (SU(4)- of SU(5)-inbedding), werkt elke toegestane Dirac-component als identiteit op de gedeelde index, en is quark-lepton-Yukawa-gelijkheid op de brekingsschaal afgedwongen. Bewijsgrond: de exacte conditie [[D,a],b°] = 0 staat per component alleen moduul-afbeeldingen toe; numeriek-exact geverifieerd via rangberekening.
Resultaat. Onder waarnemer-condities (er moet een elektron kunnen bestaan) en de metingen (neutrinomassa; bottom ≠ tau, wat via S′ alle inbeddingsklassen elimineert) is het standaardmodel met rechtshandige neutrino's de unieke KF-minimale overlever binnen het gedeclareerde universum, robuust tot matrixgrootte n = 5 en tegen vier bouwblokken. De hyperladingen volgen daarbij uit de anomalie-condities zelf. Volledige keten, criteria en scripts: toetsingspagina, sectie 2.
De splitsing overdraagt. Ook de wiskunde heeft meerdere consistente regelboeken (het verzamelingen-multiversum), en dezelfde wet/adres-scheiding blijkt te werken: alles wat elk rekenkunde-dragend stelsel afdwingt is wet; de beroemde onafhankelijke uitspraken (de continuümhypothese, de waarde van 2ℵ₀, V=L) zijn adres: de α's van de wiskunde. Honderd jaar "is CH nou waar?" krijgt hetzelfde antwoord als "waarom is α 1/137": categorie-fout van het adres-type, nu met een kader dat verklaart waarom die vragen onbeslisbaar móésten blijken.
De keuzeaxioma-geschiedenis als kloppende retrodictie. Keuze (AC) en determinatie (AD) kosten onder de maat exact evenveel (elk: de basisregels plus één axioma), dus besliste de praktijk-likelihood: AC won globaal (het comprimeert vrijwel de hele wiskunde), AD won lokaal in het ene deelgebied dat het opruimt, en het vak kocht uiteindelijk béíde compressies tegelijk via de grote-kardinalen-toren (die bewijst dat AD geldt in zijn eigen vleugel L(ℝ)). Dat is exact het Bayes-patroon van de weegschaal, en het is hoe het historisch ging.
En de likelihood is nu voor het eerst geméten. Over een geformaliseerd corpus van 439.764 stellingen (Lean/mathlib; steekproef 2000, zaad 137, alles reproduceerbaar): 90,5% hangt aan propositie-extensionaliteit, 83,7% aan quotiënten, 70,2% aan het keuzeaxioma [68,2-72,3]; de zuiver constructieve kern is 7,4%. En de verfijning die de vermenging van Diaconescu oplost (keuze levert in Lean óók de klassieke logica): echte getuige-extractie is hooguit 18,7% [14,3-23,1]; minstens 53,0% heeft alleen de uitgesloten derde nodig. Wie de klassieke logica opgeeft verliest dus ~72% van de bibliotheek; wie alleen echte keuze schrapt hooguit ~19%. Drie historische uitkomsten (het intuïtionisme verloor totaal, de AC-scepsis doofde uit, de constructieve wiskunde bleef een echte niche), drie kloppende getallen: het eerste empirische prijzenoverzicht van een axiomastelsel.
De volledige meetmethode en alle getallen (mathlib, Coq-stdlib, mathcomp), inclusief de kruismeting die de gereedschap-onafhankelijkheids-inzet liet sneuvelen, staan nu op een eigen pagina, ook bruikbaar los van EEML: Axiom-audit.
En vooruit geregistreerd. Dezelfde bevroren rubriek, geijkt op het V=L-geval (zij verwerpt het, precies zoals het vak deed), weegt de twee levende kandidaat-uitbreidingen: vandaag wint Martin's Maximum (volledig geconstrueerd, veertig jaar opbrengst) van Ultimate-L (superieure beslissingswinst, maar het bestaan hangt aan onbewezen vermoedens); de flip-trigger ligt vast (bewijs van de iterabiliteits-vermoedens kantelt het verdict) en de eigenlijke verwachting is synthese: het vak koopt uiteindelijk weer beide, zoals bij AC en AD. Toetsbaar tegen de komende decennia verzamelingenleer.
De kwantitatieve fysische voorspellingen worden op de fysica-pagina uitgewerkt.
— Stelling 3.1: P = e−S uit A2+A3+A4 (Cauchy, rigoureus)
— Gevolg 3.2: δS = 0 uit Stelling 3.1
— Stelling 8.2: kwalitatieve selecties robuust onder αK, αI > 0
— Stelling 9.1: zelfconsistentie op het niveau van elke bouwsteen
— Uitbreiding 10.1: padintegraal als kwantumextensie
— Stelling 10.2 (negatief deel): deterministische afdaling ≠ arg min; Laplace-gewichten det−1/2 (eindig-dim.)
— Stelling 10.4: causale dichotomie voor actualiteit (logisch)
— Stelling 10.7: normaliseerbaarheid discreet deel via Kraft (gegeven prefix-vrije MDL + sector-ondergrens)
— Leesregel 10.8, halve stelling: zelfrepresentatie ⟹ comprimeerbaarheid (AIT)
— 11.1, helft: gauge ⊥ fysisch via Ebin's slice-theorema
— Stelling S′ (§12): eerste-orde-conditie ⟹ quark-lepton-Yukawa-gelijkheid bij ingebedde leptonen (aug 2026)
— Selectieresultaat §12: SM + νR uniek waarnemer- en data-compatibel binnen het gedeclareerde universum (aug 2026)
— Lemma 4.1: decompositie-orthogonaliteit (rest: Tt vs Th binnen de slice)
— Definitie 6.1: MDL als specifieke keuze voor K
— Definitie 7.1: Hessiaan-spectrum (herleid via Reductie 10.6: Itach → lidmaatschap, Ift → bits)
— Caveat 5.1: reparatie conforme-factor-probleem (rotatie voorwaardelijk; K3-sectorrestrictie hard binnen sector)
— Stelling 10.2 (veldentheorie): det als ζ-geregulariseerde één-lus-determinant
— Gevolg 10.5: indexicale actualiteit (voorwaardelijk op de HIER-axioma's)
— Reductie 10.6: αI geëlimineerd, αK = ln 2 (gegeven MDL)
— Stelling 10.7, continu deel: moduli-volumes eindig (Douglas–Lu)
— Opmerking 10.9: symmetriebreking (wet symmetrisch, lid gebroken) en complexiteit (eenvoudige wet, rijk gedrag)
— 11.1 rest: Tt ⊥ Th binnen de fysische slice
— 11.2 Nulpunt-dynamica formeel (kandidaat: Langevin/annealing veldentheoretisch)
— 11.3 rest: factorisatie e−Sdyn/ℏ · 2−K
— 11.4 Heat-kernel a6 op K3 — opgelost juli 2026: a6 = −0,71 ± 0,02 (zie 11.4-kaart)
— 11.5 rest (gedegradeerd): stabiele zadels; rand λ = 0
— 11.6 rest: rand λ → 0 in det′
— 11.7 Convergentie-vermoeden: lage K ⟹ zelfrepresenteerbaar
— Aczél, J. (1966). Lectures on Functional Equations and their Applications. Academic Press.
— Cauchy, A.-L. (1821). Cours d'Analyse de l'École Royale Polytechnique, Ch. V.
— Connes, A. & Chamseddine, A. (1997). The spectral action principle. Comm. Math. Phys. 186, 731–750.
— Cover, T. & Thomas, J. (2006). Elements of Information Theory, 2e ed. Wiley.
— DeWitt, B. (1967). Quantum theory of gravity. Phys. Rev. 160, 1113.
— Douglas, M. R. & Lu, Z. (2005). Finiteness of volume of moduli spaces. arXiv:hep-th/0509224.
— Ebin, D. (1970). The manifold of Riemannian metrics. Proc. Symp. Pure Math. 15, 11–40.
— Absil, P.-A., Mahony, R. & Andrews, B. (2005). Convergence of the iterates of descent methods for analytic cost functions. SIAM J. Optim. 16, 531–547.
— Feynman, R. & Hibbs, A. (1965). Quantum Mechanics and Path Integrals. McGraw-Hill.
— Donaldson, S. (2009). Some numerical results in complex differential geometry. Pure Appl. Math. Q. 5, 571–618.
— Geman, S. & Hwang, C.-R. (1986). Diffusions for global optimization. SIAM J. Control Optim. 24, 1031–1043.
— Headrick, M. & Wiseman, T. (2005). Numerical Ricci-flat metrics on K3. Class. Quantum Grav. 22, 4931–4960.
— Gibbons, G. W., Hawking, S. W. & Perry, M. J. (1978). Path integrals and the indefiniteness of the gravitational action. Nucl. Phys. B 138, 141–150.
— Gilkey, P. (1995). Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem. CRC Press.
— Jaynes, E. T. (1957). Information theory and statistical mechanics. Phys. Rev. 106, 620.
— Lewis, D. (1970). Anselm and actuality. Noûs 4, 175–188.
— Lewis, D. (1986). On the Plurality of Worlds. Blackwell.
— Li, M. & Vitányi, P. (2008). An Introduction to Kolmogorov Complexity and Its Applications, 3e ed. Springer.
— Łojasiewicz, S. (1963). Une propriété topologique des sous-ensembles analytiques réels. Colloques du CNRS 117.
— Lovelock, D. (1971). The Einstein tensor and its generalizations. J. Math. Phys. 12, 498.
— Mazur, P. O. & Mottola, E. (1990). The path integral measure, conformal factor problem and stability of the ground state of quantum gravity. Nucl. Phys. B 341, 187–212.
— Rissanen, J. (1978). Modeling by shortest data description. Automatica 14, 465–471.
— Shore, J. & Johnson, R. (1980). Axiomatic derivation of the principle of maximum entropy. IEEE Trans. Inf. Theory 26, 26–37.
— Solomonoff, R. (1964). A formal theory of inductive inference. Inf. Control 7, 1–22, 224–254.
— Wallace, D. (2012). The Emergent Multiverse. Oxford UP.
— Yau, S.-T. (1978). On the Ricci curvature of a compact Kähler manifold. Comm. Pure Appl. Math. 31, 339–411.