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.

🌌 L'Universo "Magmatico": Un Mondo dove le Cose si Fondono

Immagina di vivere in un universo normale (il nostro mondo matematico standard, chiamato ZFC o teoria degli insiemi). Qui, se hai una mela e una pera, puoi metterle in un sacchetto. Se vuoi creare una coppia ordinata (mela, pera), puoi creare un "contenitore speciale" che le tiene separate ma unite. Puoi anche creare un sacchetto vuoto. Tutto è chiaro, distinto e separabile.

Ora, immagina di atterrare nell'Universo Magmatico (il soggetto di questo articolo). Qui le regole sono diverse. È come se l'universo fosse fatto di magma o di una melassa appiccicosa.

1. Il Problema Fondamentale: Non esistono "sacchetti vuoti" o "oggetti isolati"

In questo universo magmatico, non esistono insiemi finiti. Non puoi avere un sacchetto con una sola mela, né un sacchetto vuoto.

Perché? Perché ogni cosa in questo universo è legata alle altre da una relazione di "dipendenza". Se prendi un oggetto, non puoi isolarlo completamente; devi portarti dietro tutto ciò che lo ha generato o che ne fa parte.
La conseguenza: Non puoi costruire le coppie ordinate classiche (quelle che usiamo per fare le funzioni o le mappe) perché il metodo standard richiede di creare piccoli sacchetti vuoti o contenitori con un solo oggetto. Qui, non puoi farlo.

2. La Soluzione: Le "Coppie Magmatiche"

L'autore si chiede: "Come possiamo fare le coppie, le funzioni e i numeri se non possiamo usare i sacchetti vuoti?"

La sua soluzione è geniale ma complessa: invece di usare un sacchetto vuoto {}, usa la struttura stessa del magma.

L'analogia: Immagina che ogni oggetto non sia un punto, ma una nuvola di polvere. Se vuoi accoppiare due oggetti (A e B), non li metti in un sacchetto. Crei una "nuvola composta" che contiene la polvere di A e la polvere di B, mescolate in modo specifico.
Il trucco: Questa "nuvola composta" funziona come una coppia ordinata: se la nuvola è uguale a un'altra, allora A e B sono uguali agli altri due. Funziona!

3. Il Problema dei "Fratelli Indesiderati" (Elementi Collaterali)

Qui arriva il vero dramma. Nel mondo normale, se metti due oggetti in un sacchetto, dentro c'è solo quello che hai messo.
Nel mondo magmatico, quando crei la tua "nuvola coppia" per accoppiare A e B, succede qualcosa di strano: la nuvola contiene anche infinite altre cose che non avevi intenzione di mettere!

La Metafora del "Rumore di Fondo":
Immagina di voler scrivere una lettera a un amico (la tua coppia intenzionale). Nel mondo magmatico, non puoi inviare solo la lettera. Devi inviare la lettera insieme a tutte le bozze, gli appunti, le pagine strappate e i fogli di scarto che hanno portato alla creazione di quella lettera.
- Elementi Intenzionali: La lettera che volevi scrivere.
- Elementi Collaterali: Tutte le bozze e i frammenti che dipendono dalla lettera.

Questo crea un caos enorme. Se vuoi creare una Relazione (una lista di coppie) o una Funzione (una macchina che trasforma un input in un output unico), il "rumore di fondo" ti rovina tutto.

Il problema della Funzione: Una funzione deve dire: "Se dai in input A, ottieni esattamente B". Ma nel magma, se dai A, ottieni B, ma ottieni anche tutte le "bozze" di B. Quindi, l'input A sembra produrre molti output diversi (B e le sue bozze). La funzione non è più unica! È come se un distributore automatico, invece di darti una sola lattina di cola, ti desse la lattina più tutte le lattine che sono state prodotte nello stesso momento nella fabbrica.

4. Come Risolviamo il Caos? (Funzioni Magmatiche)

L'autore mostra che possiamo ancora definire delle funzioni, ma solo sotto condizioni molto speciali.

La soluzione: Dobbiamo essere molto precisi nel scegliere quali "nuvole" usare come input. Se scegliamo input che non si "sovrappongono" (che non condividono frammenti di polvere), allora riusciamo a isolare l'output corretto e ignorare il rumore.
È come se, per fare una ricetta perfetta in una cucina caotica, dovessi usare ingredienti che non si toccano mai tra loro, altrimenti la ricetta si mescola e diventa una zuppa indistinguibile.

5. I Numeri e la Logica

L'autore riesce anche a definire i numeri naturali (0, 1, 2...) e gli ordini in questo universo.

Invece di partire dal "vuoto" (che non esiste), parte da un "atomo" speciale e costruisce i numeri aggiungendo strati di dipendenza.
La Separazione (Magmatic Separation): L'autore dimostra che possiamo fare una cosa simile alla "separazione" (prendere un sottoinsieme di oggetti che hanno una certa proprietà), ma solo se la proprietà è "magmatica".
- Cosa significa? Significa che se prendi un oggetto che soddisfa la proprietà, devi accettare anche tutte le sue "bozze" e frammenti dipendenti. Non puoi scegliere solo la parte "bella" e scartare il resto. Se vuoi la mela, devi accettare anche la buccia e il torsolo che ne derivano.

6. Il Fallimento del "Sostituzione"

Infine, l'autore dice che una delle regole più potenti della matematica (l'assioma di Sostituzione) fallisce completamente in questo universo.

Perché? Perché le funzioni sono così "sporche" e piene di rumore (elementi collaterali) che non riescono a mappare un insieme di oggetti in un nuovo insieme pulito. Il risultato è sempre un ammasso informe che non rispetta le regole matematiche.

In Sintesi

Questo articolo ci dice che è possibile costruire una matematica in un mondo dove le cose non sono separate, ma fusesse e dipendenti l'una dall'altra (come il magma).

Possiamo creare coppie e numeri, ma sono "sporchi" di dettagli indesiderati.
Possiamo fare funzioni, ma solo se siamo estremamente cauti e accettiamo che ogni risultato porti con sé il suo "bagaglio" di dipendenze.
Non possiamo fare tutto come nel mondo normale: la logica deve adattarsi alla natura appiccicosa e indistinguibile di questo universo.

È un viaggio affascinante che ci mostra come la matematica possa esistere anche in un mondo dove nulla è mai veramente "separato" o "definito" con precisione chirurgica, ma tutto è un flusso continuo di dipendenze.

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

Ecco una sintesi tecnica dettagliata del lavoro di Athanassios Tzouvaras, "The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation".

1. Il Problema e il Contesto

Il paper è un articolo complementare alla precedente costruzione dell'Universo Magmatico ( $M$ ) presentata in [4]. L'obiettivo di $M$ è formalizzare la nozione di "magma" di Cornelius Castoriadis, caratterizzata dall'inseparabilità degli elementi e dalla loro dipendenza reciproca, in contrasto con l'universo insiemistico standard (ZF/ZFC) basato su entità indipendenti.

Le sfide principali affrontate in questo lavoro sono due:

Definizione di oggetti fondamentali: Poiché $M$ non contiene insiemi finiti (nemmeno l'insieme vuoto), mancano gli strumenti standard per costruire oggetti matematici basilari come coppie ordinate, relazioni binarie, funzioni e numeri naturali/ordinali. Il problema è definire i loro "analoghi magmatici" all'interno di $M$ .
Validità degli assiomi: Determinare se schemi di assiomi come la Separazione e la Sostituzione (Replacement) possono essere salvati in $M$ , o se falliscono a causa della natura dipendente degli elementi.

Il nucleo del problema risiede nella dipendenza: in $M$ , se un elemento $x$ appartiene a un magma, allora tutti i suoi "sottogruppi" (definiti dalla relazione di inclusione $\subseteq$ ) sono implicitamente presenti. Questo crea una distinzione tra elementi "intenzionali" (quelli che si vuole includere) ed elementi "collaterali" (quelli che viaggiano con essi per dipendenza).

2. Metodologia

L'autore utilizza una metodologia costruttiva basata sulla topologia degli atomi e sulla gerarchia dei magmi:

Struttura di Base: L'universo $M$ è costruito partendo da un insieme di atomi $A$ dotati di una preordinazione $\preceq$ senza elementi minimi. I magmi di base sono gli insiemi aperti inferiori (lower open sets) di $A$ .
Gerarchia: $M$ è definito come l'unione di livelli $M_\alpha$ , dove ogni livello è l'insieme dei sottoinsiemi aperti di quello precedente rispetto alla relazione di inclusione.
Estensione dell'Universo ( $\tilde{M}$ ): Per gestire la distinzione tra elementi intenzionali e collaterali, l'autore introduce un'estensione $\tilde{M} = M \cup M_{seq}$ , dove $M_{seq}$ contiene insiemi di magmi enumerati (funzioni da un indice a $M$ ). Questo permette di parlare formalmente di "insiemi di generatori" che non esistono come magmi in $M$ .
Definizioni Induttive: Si definiscono coppie, prodotti, relazioni e numeri ricorrendo all'operatore $pr(x) = P(x) \cap M$ (l'insieme di tutti i sottomagmi di $x$ ), che funge da analogo del "singolo" o dell'insieme contenente un elemento.

3. Contributi Chiave e Risultati

A. Coppie Ordinate Magmatiche

L'autore definisce una coppia ordinata magmatica $\langle\langle x, y \rangle\rangle$ utilizzando due atomi speciali e incomparabili $a_0, a_1$ :
$\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))$

Risultato: Questa definizione soddisfa la proprietà fondamentale delle coppie ordinate: $\langle\langle x, y \rangle\rangle = \langle\langle x', y' \rangle\rangle \iff x=x' \land y=y'$ .
Problema: A differenza delle coppie di Kuratowski, ogni coppia magmatica contiene infiniti "sotto-coppie" $\langle\langle x', y' \rangle\rangle$ dove $x' \subseteq x$ e $y' \subseteq y$ .

B. Prodotti, Relazioni e Funzioni

Prodotto Magmatico ( $x \boxtimes y$ ): È definito come l'unione dei sottomagmi delle coppie. Contiene non solo le coppie "intenzionali" (quelle che si volevano inserire), ma anche infiniti elementi "collaterali" (coppie di sottogruppi e magmi che non sono coppie).
Distinzione Intenzionale/Collaterale: Si introduce la distinzione tra:
- Elementi intenzionali: Le coppie specifiche $\langle\langle z_i, w_i \rangle\rangle$ scelte come generatori.
- Elementi collaterali: Tutti gli altri elementi che appaiono per dipendenza ( $\subseteq$ ).
Funzioni Magmatiche: Definire una funzione è estremamente difficile perché la condizione di unicità ( $\forall x, \exists! y$ $\forall x, \exists! y$ ) fallisce a causa degli elementi collaterali. Se una funzione mappa $z$ $z$ in $w$ $w$ , per dipendenza mappa anche ogni $z' \subseteq z$ $z^{'} \subseteq z$ in ogni $w' \subseteq w$ $w^{'} \subseteq w$ , violando l'univocità.
- Soluzione parziale: Si definisce una semifunzione e si impone una condizione di massimalità: per ogni $z$ , l'insieme delle immagini deve contenere un elemento massimo rispetto a $\subseteq$ .
- Risultato: Le funzioni magmatiche esistono solo sotto condizioni molto restrittive (es. domini generati da magmi disgiunti).

C. Numeri Naturali e Ordinali

L'autore definisce i numeri magmatici senza l'insieme vuoto, partendo da un atomo $a_0$ :

$0 := pr^2(a_0)$
$n+1 := n \cup pr(n)$
Gli ordinali magmatici sono definiti per successione e limite.
Risultato: La relazione di ordine tra ordinali magmatici è data dalla inclusione propria ( $\alpha < \beta \iff \alpha \subset \beta$ ). Si dimostra che i numeri naturali magmatici possono essere usati per generare magmi numerabili.

D. Separazione e Sostituzione (Replacement)

Schema di Separazione Magmatico (MSS):
- L'autore dimostra che la Separazione generale fallisce in $M$ . Tuttavia, introduce una classe di formule chiamate "formule magmatiche".
- Una formula $\phi(x)$ è magmatica se è chiusa verso il basso rispetto all'inclusione: $\phi(x) \land y \subseteq x \implies \phi(y)$ .
- Teorema: Lo schema di Separazione ristretto alle formule magmatiche (MSS) è vero in $M$ .
Fallimento della Sostituzione (Replacement):
- La Sostituzione fallisce irreparabilmente in $M$ .
- Motivo: La Sostituzione richiede la definizione di relazioni funzionali. Poiché le funzioni in $M$ sono intrinsecamente problematiche a causa degli elementi collaterali (che distruggono l'univocità o generano immagini non magmatiche), non è possibile garantire che l'immagine di un magma sotto una relazione funzionale sia ancora un magma. Anche tentando di "completare" le formule funzionali, si perde la proprietà funzionale stessa.

4. Significato e Implicazioni

Questo lavoro è significativo perché:

Mappa i limiti della logica magmatica: Dimostra che mentre è possibile costruire una struttura matematica coerente che simula la dipendenza e l'inseparabilità (come richiesto da Castoriadis), questo comporta il sacrificio di concetti fondamentali della matematica classica, in particolare la nozione di funzione come relazione univoca.
Ridefinisce l'ontologia degli oggetti: Introduce la distinzione filosofico-matematica tra "intenzionale" e "collaterale", mostrando come in un universo non separativo, ogni atto di selezione (definire una relazione) porti inevitabilmente con sé un "rumore" di elementi dipendenti.
Risultati Assiomatici: Stabilisce che l'Universo Magmatico è un modello valido per una logica "non separativa" dove la Separazione può essere salvata solo per proprietà "ereditarie" (magmatiche), mentre la Sostituzione è incompatibile con la natura stessa della dipendenza magmatica.

In sintesi, il paper conferma che l'Universo Magmatico è un mondo matematicamente interessante ma radicalmente diverso da quello insiemistico, dove la costruzione di funzioni e la logica di sostituzione devono essere abbandonate o drasticamente modificate per rispettare la logica della dipendenza.