🔢 mathematics

A Foundation for the Core Mathematician

Dit artikel stelt een nieuwe axiomatische grondslag en een definitief model voor de kernwiskunde voor, gebaseerd op de reële getallen, met als doel de onbepaaldheid van de traditionele verzamelingenleer op te lossen door elke uitspraak uit de kernwiskunde een unieke waarheidswaarde toe te kennen.

Oorspronkelijke auteurs: David Mumford, Sy-David Friedman

Gepubliceerd 2026-05-06

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: David Mumford, Sy-David Friedman

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

Stel je wiskunde voor als een enorme, torenhoge wolkenkrabber. Decennia lang hebben de meeste wiskundigen het erover eens dat de fundering van dit gebouw een specifieke reeks regels is genaamd ZFC (Zermelo-Fraenkel verzamelingstheorie met het Axioma van Keuze). Ze geloven dat deze fundering stevig genoeg is om elke verdieping te dragen, van de kelder van eenvoudige getallen tot de penthouse van complexe theorieën.

De auteurs van dit artikel, David Mumford en Sy-David Friedman, betogen echter dat ZFC weliswaar werkt voor de "penthouse", maar voor de "begane grond" – het deel van de wiskunde dat zich bezighoudt met reële getallen, tijd, ruimte en de fysieke wereld – eigenlijk wat wankel is en vol zit met vreemde, onverklaarbare eigenaardigheden. Zij stellen een nieuwe, stevigere fundering voor die specifiek is ontworpen voor de "kernwiskundige" die werkt met de realiteit.

Hier is de uiteenzetting van hun argument met behulp van eenvoudige analogieën:

1. Het Probleem: De "Magische Truc"-fundering

De huidige fundering (ZFC) steunt zwaar op een regel genaamd het Axioma van Keuze. Stel je dit axioma voor als een magische mogelijkheid om één item te kiezen uit een oneindig aantal dozen, zelfs als je niet naar binnen kunt kijken of kunt beschrijven hoe je hebt gekozen.

Het Probleem: Hoewel deze magische truc wiskundigen helpt om dingen te bewijzen over abstracte, oneindige structuren, creëert het "geesten". Het staat het bestaan toe van verzamelingen die zo vreemd en chaotisch zijn dat ze geen enkele connectie hebben met de realiteit (zoals het Banach-Tarski-paradox, waarbij je een bal in stukken kunt snijden en ze opnieuw kunt assembleren tot twee ballen van dezelfde grootte).
Het Resultaat: Vanwege deze "geesten" kunnen wiskundigen niet 100% zeker zijn dat elke vraag die ze stellen een enkel, definitief "Waar" of "Onwaar" antwoord heeft. De fundering voelt minder als een stevige vloer en meer als een mistig landschap waar op verschillende plaatsen verschillende regels gelden.

2. Het Voorstel: Een Fundering Gebaseerd op Realiteit

De auteurs suggereren dat we stoppen met proberen een fundering te bouwen voor alles (inclusief de geesten) en in plaats daarvan een fundering bouwen die specifiek is voor de Kern van de Wiskunde: de Reële Getallen ( $\mathbb{R}$ ), de Hele Getallen en de structuren die daaruit zijn opgebouwd.

Zij stellen drie hoofdpijlers voor voor deze nieuwe fundering:

Pijler A: De Realiteit is Real. Ze behandelen de verzameling reële getallen (zoals de getallen op een liniaal) als een "gegeven" feit, net zoals we accepteren dat we appels kunnen tellen. Ze proberen de reële getallen niet van scratch op te bouwen; ze zeggen gewoon: "Hier zijn ze, ze bestaan."
Pijler B: Gooi de Magie weg, Behoud de Willekeur. Ze verwerpen het "Axioma van Keuze" omdat het die vreemde geesten creëert. In plaats daarvan nemen ze Freilings Axioma over.
- De Analogie: Stel je twee mensen voor die darten gooien op een bord in de ruimte. Als ze ze op exact hetzelfde moment gooien vanaf verschillende planeten (zodat er geen signaal snel genoeg tussen hen kan reizen om te valsspelen) en ze hun plekken volledig willekeurig kiezen, is er geen manier waarop de plek van de ene werper "voorspelbaar" zou kunnen zijn op basis van die van de ander.
- Deze intuïtie leidt tot een regel die zegt: "Als je twee willekeurige getallen kiest, mogen ze niet vastzitten in een vreemd, vooraf bepaald patroon." Deze regel doodt op natuurlijke wijze het "Axioma van Keuze" en de vreemde verzamelingen die het creëert.
Pijler C: Stop de Oneindige Ladder. In standaardwiskunde kun je voor altijd grotere en grotere oneindigheden blijven bouwen. De auteurs zeggen: "Stop." Zij stellen een model voor waarbij we alleen zo hoog gaan als nodig is om de reële getallen en hun deelverzamelingen te behandelen, maar we stoppen voordat we de "onwereldse" oneindigheden bereiken die geen fysieke betekenis hebben.

3. De Twee Modellen: Het "Standaard" en het "Minimalistische"

Het artikel beschrijft twee manieren om deze nieuwe fundering te visualiseren:

Model 1: Het "Realiteits"-Model. Dit is een versie van wiskunde waarin de reële getallen precies zijn wat we denken dat ze zijn. In deze wereld gedraagt elke verzameling reële getallen zich netjes (ze zijn allemaal "meetbaar", wat betekent dat je hun grootte/oppervlakte kunt berekenen zonder paradoxen). Het is een schone, logische wereld waar elk wiskundig probleem een definitief antwoord heeft.
Model 2: Het "Minimalistische" Model. Dit is een slimme truc met een concept uit de fysica en logica. Stel je een klein, aftelbaar universum voor dat denkt dat het enorm is. Binnen dit kleine universum lijken de "reële getallen" een oneindige, overaftelbare oceaan. Maar van buitenaf weten we dat het eigenlijk gewoon een kleine, eindige lijst is.
- Waarom dit doen? Dit model is "volledig". In standaardwiskunde (ZFC) bewees Gödel dat er altijd vragen zijn die je niet kunt beantwoorden. In dit minimalistische model, omdat het universum zo strak gecontroleerd is, heeft elke enkele vraag een definitief antwoord. Het is als een puzzel waarbij elk stuk perfect past en er geen ontbrekende stukken zijn.

4. Waarom Dit Belangrijk Is

De auteurs proberen niet te veranderen hoe fysici of ingenieurs hun werk doen. Ze bieden een "schonere" besturingssysteem aan voor de wiskundige die de aard van getallen en vormen bestudeert.

De Oude Manier: Gebruikt een krachtige maar rommelige motor (ZFC) die soms "geesten" produceert en sommige vragen onbeantwoord laat.
De Nieuwe Manier: Gebruikt een gespecialiseerde motor gebaseerd op willekeur en realiteit. Het verwijdert de geesten, zorgt ervoor dat elke verzameling getallen een duidelijke grootte heeft, en garandeert dat elke wiskundige vraag een Waar of Onwaar antwoord heeft.

Samenvatting

Stel je de huidige fundering van de wiskunde voor als een enorme, chaotische bibliotheek waar sommige boeken geschreven zijn met onzichtbare inkt en sommige planken in de lucht hangen. Mumford en Friedman zeggen: "Laten we een nieuwe bibliotheek bouwen specifiek voor de boeken die we echt lezen (de reële getallen). We gooien de onzichtbare inkt (het Axioma van Keuze) en de zwevende planken (de vreemde oneindigheden) eruit. In onze nieuwe bibliotheek is elk boek zichtbaar, elke plank is stevig, en elk verhaal heeft een duidelijk einde."

Ze bewijzen dat het mogelijk is om deze nieuwe bibliotheek te bouwen, mits we een paar redelijke aannames accepteren over de aard van de oneindigheid, en het biedt een veel bevredigender thuis voor de "kern" van de wiskunde.

Technische Samenvatting: Een Fundament voor de Kernwiskundige

Probleemstelling
De auteurs, David Mumford en Sy-David Friedman, betogen dat de standaard Zermelo-Fraenkel verzamelingstheorie met Keuze (ZFC) een ontoereikend fundament vormt voor de "kern" van het wiskundig onderzoek. Hoewel ZFC breed wordt aanvaard, stellen de auteurs dat het geen "vaste en onwrikbare" basis biedt, omdat het een proliferatie van modellen toestaat (het "multiversum"-beeld) en steunt op het Keuzepostulaat (AC) op manieren die niet-construktieve, "onwereldse" verzamelingen genereren (bijvoorbeeld via het Banach-Tarski-paradox of niet-meetbare verzamelingen). Bovendien wordt het Platonistische geloof in een uniek universum van verzamelingen ondermijnd door de onafhankelijkheid van de Continuümhypothese en het bestaan van axioma's voor grote cardinaalgetallen.

Het artikel postuleert dat de "centrale kern" van de wiskundige ervaring betrekking heeft op de natuurlijke getallen ( $\mathbb{N}$ ), de reële getallen ( $\mathbb{R}$ ) en structuren die daarvan zijn afgeleid. De auteurs zoeken een fundament dat:

$\mathbb{R}$ behandelt als een gegeven, "wereldse" entiteit (een Platonistisch beeld specifiek voor $\mathbb{R}$ , niet voor willekeurige verzamelingen).
Zorgt ervoor dat alle conjecturen in deze kern een definitieve waarheidswaarde hebben (een uniek model).
De pathologieën vermijdt die worden geïntroduceerd door onaftelbare Keuze, terwijl voldoende sterkte wordt behouden voor standaardanalyse.

Methodologie en Axiomatisch Kader
Het artikel stelt een specifiek axiomatisch systeem $T$ en twee distincte modellen voor om dit te realiseren.

1. De Axioma's ( $T$ ):
Het voorgestelde systeem $T$ wordt gedefinieerd als $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$ .

$ZF^-$ : Zermelo-Fraenkel verzamelingstheorie zonder het machtverzamelingenaxioma en zonder onaftelbare Keuze. Het omvat Extensie, Grondslag, Paren, Unie, Oneindigheid, Comprehensie, Collectie en Vervanging.
Gegeven $\mathbb{R}$ : De verzameling reële getallen wordt genomen als een primitieve, gegeven entiteit, die het fysische continuüm modelleert.
Freiling's Axioma ( $A^{\text{null}}_N$ ): Dit is de centrale innovatie. Gebaseerd op een "dartschieten"-gedachte-experiment met onafhankelijke stochastische variabelen en relativiteitstheorie (om informatielek uit te sluiten), stelt het dat voor elke functie $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$ $f : [0, 1]^{N} \to N$ (die rijen naar nulverzamelingen afbeeldt), er een rij onafhankelijke stochastische reële getallen $\{x_i\}$ ${x_{i}}$ bestaat zodanig dat $x_i \notin f(\sigma(i))$ $x_{i} \in / f (σ (i))$ voor alle $i$ $i$ .
- Gevolg: Dit axioma is in tegenspraak met het onaftelbare Keuzepostulaat. Het impliceert dat $\mathbb{R}$ niet goed-geordend kan worden en dat de Continuümhypothese onwaar is.
Afhankelijke Keuze (DC): Het systeem behoudt het Axioma van Afhankelijke Keuze (ingevoerd door Bernays), wat voldoende is voor de meeste standaardanalyse (bijvoorbeeld de Baire-categoriestelling, het bestaan van limieten), maar zwakker is dan volledige AC.

2. Het Voorgestelde Model ( $M$ ):
De auteurs construeren een model $M = L_{\alpha^*}(\mathbb{R})$ , waarbij verzamelingen worden geconstrueerd vanuit $\mathbb{N}$ en $\mathbb{R}$ via transfiniete induktie tot een specifiek ordinaalgetal $\alpha^*$ .

Constructie: Beginnend met $L_0(\mathbb{R}) = \mathbb{R}$ , iterert het model definieerbare verzamelingen.
De Limiet $\alpha^*$ : De induktie stopt bij het eerste "volledig $\mathbb{R}$ -admissible ordinaalgetal" ( $\alpha_{ZF^-}$ ), gedefinieerd als het punt waar geen nieuwe deelverzamelingen van $\mathbb{R}$ worden gegenereerd ( $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$ ).
Eigenschappen: In dit model heeft elke stelling een "grondwaarheid". Het model voldoet aan $ZF^-$ , DC en Freiling's axioma. Het bestaan van zo'n model blijkt te volgen uit de consistentie van ZFC plus het bestaan van een onbereikbaar kardinaalgetal.

3. Het Minimalistische Alternatief (Solovay's Model):
Het artikel bespreekt ook een "minimalistische" grondslag gebaseerd op Robert Solovay's model, dat de consistentie van ZF + een onbereikbaar kardinaalgetal veronderstelt.

Constructie: Er wordt een aftelbaar transitief model geconstrueerd waarin alle deelverzamelingen van $\mathbb{R}$ Lebesgue-meetbaar zijn en de Baire-eigenschap bezitten.
Volledigheid: De auteurs definiëren een theorie $T^*$ (een uitbreiding van $T$ ) die een "minimaliteits-eigenschap" en een generieke verzameling $G$ omvat. Zij stellen dat twee welgegronde modellen van $T^*$ dezelfde eerste-orde zinnen bevredigen. Dit biedt een vorm van "volledigheid" voor welgegronde modellen, dienend als tegengif voor Gödeliaanse onvolledigheid voor de kernwiskundige die grote, slecht-gegronde verzamelingen afwijst.

Belangrijkste Bijdragen en Resultaten

Afwijzing van Onaftelbare Keuze: Het artikel vervangt het onaftelbare Keuzepostulaat formeel door Freiling's probabilistische axioma $A^{\text{null}}_N$ , met het argument dat het laatste intuïtiever is voor de "wereld" en de constructie van niet-meetbare verzamelingen vermijdt.
Verfijning van Tweede Orde Aritmetica: Hoewel erkend wordt dat Tweede Orde Aritmetica ( $Z_2$ ) voldoende is voor veel analyse, betogen de auteurs dat dit ontoereikend is voor het definiëren van de verzameling van alle Borelverzamelingen of topologische ruimten direct. Hun voorgestelde model breidt $Z_2$ uit door expliciet $\mathbb{R}$ op te nemen en constructies toe te staan tot $\alpha^*$ .
Kardinaliteit in Limbo: Het artikel benadrukt een uniek kenmerk van hun model: hoewel er een surjectie is van $\mathbb{R}$ naar $\omega_1$ (het eerste onaftelbare ordinaalgetal), is er geen bijectie vanwege Freiling's axioma. Aldus bestaat $\omega_1$ , maar mist het een duidelijke kardinaliteitsrelatie met $\mathbb{R}$ , en bestaat het in een "limbo" die verschilt van de standaard ZFC.
Consistentiebewijzen: De auteurs tonen aan dat hun axioma's consistent zijn ten opzichte van het bestaan van een onbereikbaar kardinaalgetal. Zij maken gebruik van Solovay's forcing-technieken om te laten zien dat als ZFC + Onbereikbaar consistent is, dan is hun systeem $T$ (en de sterkere $T^*$ ) consistent.

Betekenis en Aanspraken
Het artikel claimt een "beter fundament" te bieden, specifiek voor de "kernwiskundige"—degenen die werken met reële getallen, gehele getallen en afgeleide structuren (bijvoorbeeld analyse, partiële differentiaalvergelijkingen, Banachruimten).

Definitiviteit: De primaire betekenis die wordt geclaimd, is de herstel van een "vaste en onwrikbare" basis waar alle conjecturen een uniek antwoord hebben, als tegenwicht voor het "multiversum" van de verzamelingstheorie.
Realisme: Door het fundament te gronden in de fysieke intuïtie van stochastische variabelen (Freiling's axioma) en de gegeven aard van $\mathbb{R}$ , betogen de auteurs dat hun fundament beter aansluit bij de wiskundige praktijk dan de abstracte, niet-construktieve aard van volledige ZFC.
Tegengif voor Onvolledigheid: De "minimalistische" grondslag ( $T^*$ ) wordt gepresenteerd als een oplossing voor wiskundigen die de onafhankelijkheidsverschijnselen van grote cardinaalgetallen willen vermijden, terwijl ze toch een robuuste theorie van de reële getallen behouden.

De auteurs blijven bescheiden, en merken op dat hun benadering afhankelijk is van de consistentie van een onbereikbaar kardinaalgetal en dat probabilistische methoden uiteindelijk de meetbaarheid van projectieve verzamelingen in bepaalde contexten van grote cardinaalgetallen kunnen weerleggen. Zij stellen echter dat hun kader een coherent, niet-controversieel fundament biedt voor de overgrote meerderheid van het wiskundig onderzoek.