The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation

Each language version is independently generated for its own context, not a direct translation.

Stel je voor dat je in een heel vreemd universum leeft, een plek die we de "Magmatische Wereld" noemen. In ons gewone wiskundige universum (dat we ZF noemen) zijn dingen heel duidelijk en los van elkaar. Een set is gewoon een mand met appels; als je een appel uit de mand haalt, is de mand nog steeds een mand, maar de appel is eruit. Alles is gescheiden en duidelijk.

In de Magmatische Wereld is dat anders. Hier zijn dingen niet als losse appels in een mand, maar meer als lava of plakkerige klei. Als je een stukje van deze klei pakt, haal je er niet één ding uit, maar een heel stuk dat onlosmakelijk verbonden is met alles eromheen. Je kunt niet zomaar een "leegte" (de lege set) hebben, en je kunt ook geen losse, duidelijke paren maken zoals we dat in de gewone wereld doen.

Deze tekst, geschreven door de wiskundige Athanassios Tzouvaras, is een reisverslag vanuit dat magmatische universum. De auteur probeert te begrijpen hoe je daar de basisdingen van de wiskunde (zoals paren, functies en getallen) kunt bouwen, terwijl de regels van de "gewone" wereld daar niet werken.

Hier is wat hij ontdekt, vertaald in alledaagse taal:

1. Het probleem met "Paren" (Koppels)

In de gewone wereld maken we een koppel van twee mensen, zeg Jan en Piet, door ze in een envelop te doen: {{Jan}, {Jan, Piet}}. Dit werkt perfect.

In de Magmatische Wereld bestaat zo'n envelop niet. Als je Jan en Piet probeert te koppelen, krijg je een koppel dat niet alleen uit Jan en Piet bestaat, maar ook uit alle mogelijke stukjes van Jan en Piet die eronder liggen.

De Analogie: Stel je voor dat je twee mensen vastplakt met superlijm. In de Magmatische Wereld is die lijm zo sterk dat je niet alleen de mensen ziet, maar ook hun schaduwen, hun kledingstukken, en zelfs de stofdeeltjes die aan hen plakken.
Het probleem: Als je zegt "Ik wil een relatie tussen Jan en Piet", dan moet je in dit universum ook automatisch alle "bijwerkingen" accepteren. Je kunt niet zeggen "Alleen Jan en Piet, maar niet hun schaduwen". De schaduwen (de collaterale elementen) komen er altijd bij.

2. De "Intended" vs. "Collaterale" Elementen

Dit is het belangrijkste concept van het papier.

Intended (Beoogde) elementen: Dit zijn de dingen die jij echt wilt hebben. Bijvoorbeeld: "Ik wil een relatie tussen Jan en Piet."
Collaterale (Bijkomende) elementen: Dit zijn de ongewenste, maar onontkoombare stukjes die erbij komen door de aard van de "magmatische lijm". Als je Jan en Piet koppelt, krijg je ook alle sub-koppels (bijvoorbeeld "een stukje van Jan en Piet").

De auteur noemt dit een "ruis" in het systeem. Het is alsof je een brief schrijft, maar de postbode er per ongeluk duizenden andere brieven bijplakt die erop lijken. Je kunt de brief lezen, maar je moet door die berg extra papier heen.

3. Functies zijn bijna onmogelijk

Een functie is iets dat zegt: "Als je mij X geeft, krijg je precies Y terug."
In de Magmatische Wereld is dit een nachtmerrie.

Als je een functie maakt die Jan naar Piet stuurt, dan stuurt hij door de "collaterale lijm" ook alle stukjes van Jan naar alle stukjes van Piet.
Het resultaat is niet één duidelijk antwoord, maar een wazige, onoverzichtelijke massa van antwoorden.
De oplossing: De auteur heeft een manier bedacht om toch "magmatische functies" te maken, maar het is heel lastig. Je moet heel specifiek zijn en zorgen dat je input-dingen (de Jan-achtigen) elkaar niet overlappen, anders wordt het een chaos. Het is alsof je probeert een strakke lijn te trekken op een oppervlak dat continu uit elkaar valt en weer samensmelt.

4. Getallen en Ordening

Hoe tel je in een wereld zonder lege set en zonder losse objecten?

De auteur begint met een "atoom" (een onverdeeld puntje, noem het $a_0$ ).
In plaats van te zeggen "0 is niets", zegt hij: "0 is het kleinste stukje klei dat $a_0$ bevat."
Vervolgens bouwt hij 1, 2, 3, etc. op door steeds weer nieuwe lagen van die klei om het vorige stukje te wikkelen.
Het resultaat is dat de getallen eruitzien als een onuitputtelijke reeks van ingewikkelde structuren, maar ze werken wel als getallen. Ze zijn net als Russische poppetjes, maar dan gemaakt van plakkerige lava in plaats van hout.

5. De "Magmatische Splitsing" (Separation)

In de gewone wiskunde kun je een set maken door te zeggen: "Geef me alle rode appels." (Dit heet het Separation-axioma).
In de Magmatische Wereld werkt dat niet zomaar. Als je zegt "Geef me alle rode stukjes", krijg je ook alle stukjes die niet rood zijn, maar wel aan de rode stukjes plakken.

De auteur ontdekt dat je alleen "magmatische formules" kunt gebruiken. Dit zijn regels die zeggen: "Als je iets hebt, en iets kleiners zit erin, dan moet dat kleintje ook in je set zitten."
Als je deze regel volgt, werkt het. Maar als je probeert te kiezen en te selecteren zoals in de gewone wereld, faalt het.

6. Waarom "Vervanging" (Replacement) faalt

Er is een andere wiskundige regel die zegt: "Als je een set hebt en je vervangt elk item door iets anders, dan is het resultaat ook een set."
In de Magmatische Wereld faalt dit volledig.

De reden: Omdat functies hier zo wazig zijn (door die collaterale elementen), kun je niet garanderen dat het resultaat een nette, gesloten "magmatische massa" is. Het resultaat wordt vaak een rommelpot die niet voldoet aan de regels van dit universum.
Het is alsof je probeert een machine te bouwen die appels in sinaasappels verandert, maar door de trillingen van de machine veranderen de appels ook in schillen, zaadjes en sap, en het eindresultaat is geen bruikbare sinaasappel, maar een modderpoel.

Conclusie

Deze tekst laat zien dat als je probeert te leven in een wereld waar alles met elkaar verbonden is (afhankelijk is) en niets losstaat, de wiskunde die we gewend zijn (losse paren, duidelijke functies) niet werkt.

Je kunt wel een imitatie maken van deze dingen (de "magmatische paren" en "magmatische getallen"), maar je moet accepteren dat je altijd "bijvangst" krijgt. Je kunt niet zeggen "Alleen dit, en niets anders". Je moet leren leven met de chaos en de onduidelijkheid, en je regels aanpassen aan die rommelige realiteit.

Het is een fascinerende kijk op wat er gebeurt als je de "losse" logica van onze wereld vervangt door een "geplakte" logica, en hoe wiskundigen proberen om toch orde te scheppen in die chaos.

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "The magmatic universe revisited" van Athanassios Tzouvaras, geschreven in het Nederlands.

Titel: Het magmatische universum herbekeken: Definities van geordende paren, relaties, getallen en een speciale vorm van Separatie

Auteur: Athanassios Tzouvaras (Aristotle University of Thessaloniki)
Context: Dit artikel is een companion-studie bij eerder werk [4] over het magmatische universum $\mathcal{M}$ .

1. Het Probleem

Het magmatische universum $\mathcal{M}$ is een subuniversum van de ZF-universum met atomen ( $V(A)$ ), ontworpen om de intuïties van C. Castoriadis over "magmas" (collecties van afhankelijke, niet-scheidbare entiteiten) formeel vast te leggen. Een fundamenteel verschil met de standaard verzamelingstheorie is dat $\mathcal{M}$ geen eindige verzamelingen bevat (geen lege verzameling, geen singletons, geen eindige paren).

Dit leidt tot twee centrale technische uitdagingen die in dit artikel worden aangepakt:

Definitie van fundamentele objecten: Kunnen we in $\mathcal{M}$ analogieën definiëren voor geordende paren, binaire relaties (vooral functies), en natuurlijke/ordinaal getallen? Deze objecten zijn in ZF gebaseerd op eindige verzamelingen en paren, die in $\mathcal{M}$ ontbreken.
Axioma's: Gilt er een beperkte vorm van het Separatie-axioma in $\mathcal{M}$ ? En geldt het Vervangingsaxioma (Replacement)?

De kern van het probleem is de aard van "afhankelijkheid" in magmas: als een element $x$ in een magma $y$ zit, dan zitten ook alle "sub-magmas" van $x$ in $y$ . Dit creëert een onoplosbare verwarring tussen "bedoelde" (intended) elementen en "neven" (collateral) elementen.

2. Methodologie

De auteur hanteert een constructieve benadering binnen de bestaande hiërarchie van $\mathcal{M}$ , gedefinieerd via een pre-ordening $\preccurlyeq$ op een verzameling atomen $A$ .

Geordende Paren: In plaats van de standaard Kuratowski-definitie $\{\{x\}, \{x,y\}\}$ ${{x}, {x, y}}$ (die eindige verzamelingen vereist), worden "magmatische paren" $\langle\langle x, y \rangle\rangle$ $⟨⟨ x, y ⟩⟩$ gedefinieerd met behulp van de operatie $pr(x)$ $p r (x)$ (de verzameling van voorgangers van $x$ $x$ in de lagere topologie).
- Definitie: $\langle\langle x, y \rangle\rangle := pr(pr^2(x) \cup pr^2(a_0)) \cup pr(pr^2(y) \cup pr^2(a_1))$ , waarbij $a_0, a_1$ specifieke, niet-vergelijkbare atomen zijn.
Intended vs. Collateral Elementen: De auteur introduceert een onderscheid tussen:
- Intended elementen: De specifieke paren die een relatie of functie definiëren.
- Collateral elementen: Alle andere elementen die onvrijwillig in de magma terechtkomen omdat ze sub-magmas zijn van de intended elementen (afhankelijkheid via $\subseteq$ ).
Uitbreiding van het Universum: Om over verzamelingen van geïsoleerde elementen te kunnen spreken, wordt $\mathcal{M}$ uitgebreid tot $\hat{\mathcal{M}} = \mathcal{M} \cup \mathcal{M}_{seq}$ , waarbij $\mathcal{M}_{seq}$ verzamelingen van genummerde magmas bevat.
Magmatische Formules: Er wordt een klasse van formules gedefinieerd die "magmatisch" zijn, d.w.z. gesloten onder de sub-magma relatie ( $x \in X \land y \subseteq x \implies y \in X$ ).

3. Belangrijkste Bijdragen en Resultaten

A. Magmatische Geordende Paren

Het is mogelijk om een magmatisch paar $\langle\langle x, y \rangle\rangle$ te definiëren dat voldoet aan de basis-eigenschap: $\langle\langle x, y \rangle\rangle = \langle\langle x', y' \rangle\rangle \iff x=x' \land y=y'$ .
Beperking: In tegenstelling tot ZF-paren, bevat $\langle\langle x, y \rangle\rangle$ oneindig veel sub-paren $\langle\langle x', y' \rangle\rangle$ waarbij $x' \subseteq x$ en $y' \subseteq y$ .

B. Magmatische Producten, Relaties en Functies

Product: Het magmatische product $x \boxtimes y$ wordt gedefinieerd als de kleinste magma die alle paren $\langle\langle z, w \rangle\rangle$ (met $z \in x, w \in y$ ) en hun afhankelijke sub-magmas bevat.
Het "Collateral" Probleem: Elke magmatische relatie $R$ $R$ bevat niet alleen de "bedoelde" paren, maar ook oneindig veel "neven"-paren (collateral pairs).
- Voorbeeld: Als $R$ het paar $\langle\langle z, w \rangle\rangle$ bevat, bevat het ook $\langle\langle z', w' \rangle\rangle$ voor alle $z' \subseteq z, w' \subseteq w$ .
Functies: Dit maakt de definitie van functies extreem moeilijk. Een functie vereist uniekheid van de output. In $\mathcal{M}$ $M$ leidt de aanwezigheid van collateral paren echter tot het feit dat voor één input $z$ $z$ , er oneindig veel "images" $w'$ $w^{'}$ zijn (alle sub-magmas van de beoogde output).
- Oplossing: De auteur definieert een magmatische functie als een semi-functie waarbij voor elke $z$ in het domein, de verzameling van mogelijke outputs een grootste element heeft onder de relatie $\subseteq$ .
- Resultaat: Magmatische functies bestaan alleen onder zeer specifieke voorwaarden (bijv. als de domein-elementen onderling disjunct zijn, of als de outputs een hiërarchische inclusie-relatie hebben). In het algemeen falen functies in $\mathcal{M}$ .

C. Magmatische Getallen

Omdat de lege verzameling $\emptyset$ niet bestaat in $\mathcal{M}$ , wordt het getal $0 $gedefinieerd als$ pr^2(a_0) $(een magma die atoom$ a_0$ bevat).
Opvolgers worden gedefinieerd via $n' = n \cup pr(n)$ .
Ordinaal getallen en natuurlijke getallen kunnen worden geconstrueerd, en de orde-relatie is de strikte inclusie $\subset$ .

D. Separatie en Vervanging (Replacement)

Magmatische Separatie (MSS): Het algemene Separatie-axioma faalt in $\mathcal{M}$ $M$ . Echter, de auteur bewijst dat een beperkt schema, het Magmatische Separatie Schema (MSS), wel geldt.
- Dit schema geldt alleen voor magmatische formules $\phi(x)$ , waarbij geldt: als $x$ aan $\phi$ voldoet en $y \subseteq x$ , dan voldoet $y$ ook aan $\phi$ .
- Voor dergelijke formules is de doorsnede van een verzameling en de klasse gedefinieerd door $\phi$ altijd een magma.
Vervanging (Replacement): Het Vervangingsaxioma faalt onherstelbaar in $\mathcal{M}$ $M$ .
- De reden is de functionele aard van het axioma. Omdat functies in $\mathcal{M}$ zo moeilijk te definiëren zijn (vanwege de collateral elementen), kan het beeld van een magma onder een functie niet gegarandeerd een magma zijn.
- Zelfs een beperking tot "magmatische formules" voor functies werkt niet, omdat de "magmatische voltooiing" van een functionele relatie de functionaliteit vernietigt (als $\phi(x,y)$ geldt, geldt het ook voor $\phi(x, y')$ met $y' \subseteq y$ , waardoor de uniekheid verloren gaat).

4. Significance (Betekenis)

Dit artikel biedt een diepgaand inzicht in de logica van "afhankelijke" collecties, zoals beschreven door Castoriadis. De belangrijkste conclusies zijn:

Fundamentele Verschillen: Het magmatische universum is fundamenteel anders dan de Cantoriaanse verzamelingstheorie. De onmogelijkheid om eindige verzamelingen te vormen en de inherente afhankelijkheid van elementen maken standaard wiskundige constructies (zoals functies) onmogelijk of vereisen drastisch aangepaste definities.
De Rol van "Noise": Het concept van "collateral" elementen (neven-elementen) is cruciaal. In $\mathcal{M}$ kan men niet kiezen voor een specifiek element zonder de hele hiërarchie van afhankelijke sub-elementen mee te nemen. Dit creëert een vorm van "ruis" die de precisie van functies en relaties ondermijnt.
Beperkingen van Logica: Hoewel een beperkte vorm van Separatie mogelijk is, faalt het Vervangingsaxioma volledig. Dit suggereert dat $\mathcal{M}$ een universele structuur is die geschikt is voor het modelleren van organische, afhankelijke systemen, maar niet voor de strikte, functionele logica die nodig is voor standaard wiskundige analyse.
Filosofische Implicatie: De resultaten bevestigen Castoriadis' intuïtie dat "Westers denken" (gebaseerd op scheiding en onafhankelijkheid) niet volledig kan worden overgebracht naar een wereld van "niet-scheidbare, afhankelijke entiteiten". De wiskundige formalisatie toont aan dat bepaalde fundamentele concepten (zoals functies) in zo'n wereld inherent problematisch zijn.

Kortom, het artikel toont aan dat men in een magmatisch universum kan leven met een beperkte vorm van logica (MSS) en gedefinieerde getallen, maar dat de bouwstenen voor complexe structuren (functies, vervanging) door de aard van de afhankelijkheid worden geblokkeerd.