Divertimento infinito con una varietà infinita
Il fatto che possano esistere diversi tipi di infinito è uno dei grandi misteri della matematica. Un matematico che si diverte a scoprire quali infiniti possono effettivamente verificarsi è Saharon Shelah, ospite delle Paul Bernays Lectures di quest'anno.
Una delle scoperte più sorprendenti della matematica è l'esistenza di diversi tipi di infiniti, ed è stato a lungo un problema in apertura se alcuni di questi infiniti possano essere di dimensioni diverse senza contraddizioni.
Saharon Shelah dell'Università Ebraica di Gerusalemme è un logico matematico che da anni lavora intensamente su questo tema. Come relatore ospite agli eventi di quest'anno Paul Bernays Lectures Chi siamo parlerà degli attuali sviluppi della "lotta per la dimensione dell'infinito". Shelah è un esperto riconosciuto del problema matematico dell'infinito. Un anno fa, insieme a Martin Goldstern e Jakob Kellner dell'ETH, ha studiato il problema dell'infinito. pagina esternaTU Vienna - La prova che dieci - e non di più - infiniti possono essere di dimensioni diverse e che possono essere disposti in base alle loro dimensioni nel cosiddetto diagramma di Cichoń (vedi figura seguente).
Si trattava di una prova rivoluzionaria, come dimostra la storia: Il dibattito matematico moderno sull'infinito è iniziato con una serie di scoperte fatte dal matematico tedesco Georg Cantor (1845-1918) negli anni Settanta del XIX secolo. Con la teoria degli insiemi - da lui fondata - stabilì che in matematica si possono distinguere molti, anzi un numero infinito di infiniti. Cantor intendeva l'infinito come un insieme che contiene un numero infinito di elementi (o numeri). Orientandosi sull'insieme infinito dei numeri naturali - questi sono i numeri che si usano nel conteggio quotidiano, cioè 1, 2, 3, 4, 5, ecc. -è riuscito a dimostrare che esistono due tipi di infinito di principio diversi.
Si tratta degli insiemi "contabilmente infiniti", che hanno lo stesso numero di elementi (o numeri) dell'insieme infinito dei numeri naturali, e degli insiemi "supercontabilmente infiniti", che contengono più elementi. Il secondo tipo è l'insieme infinito dei numeri reali. Oltre ai numeri interi, contiene anche numeri negativi, frazioni, radici o costanti matematiche come π, ecc. La matematica chiama l'insieme infinito dei numeri reali "continuum".
Come dimostrato da Cantor, il continuum è in realtà più grande dell'insieme contabilmente infinito dei numeri naturali. Questo è a sua volta l'insieme infinito più piccolo. Cantor studiò anche se tra gli insiemi infiniti dei numeri naturali e reali potessero esistere altri tipi di insiemi infiniti, o addirittura diversi. Egli ipotizzò che non fosse così e questa congettura è chiamata ipotesi del continuo.
Restringere l'infinito dalla diversità
Sfortunatamente per lui, non è mai stato in grado di dimostrarlo - a tutt'oggi nessuno è riuscito a farlo. Al contrario: dopo la Seconda guerra mondiale, i logici Kurt G?del (1906-1978) e Paul Cohen (1934-2007) dimostrarono che l'ipotesi del continuo non può essere né dimostrata né confutata nell'ambito della teoria assiomatica degli insiemi conosciuta. Si può ipotizzare sia che esistano altri tipi di infinito tra l'insieme dei numeri naturali e il continuo, sia che non ne esistano. Né l'una né l'altra affermazione contraddicono i principi di questa teoria degli insiemi.
Saharon Shelah dà uno sguardo totalmente imparziale ai fatti matematici e vede connessioni estremamente sorprendenti.Lorenz Halbeisen, libero docente e logico presso l'ETH di Zurigo
Come tutte le teorie matematiche, anche la teoria degli insiemi si basa su assiomi. Si tratta di principi che vengono accettati come veri e dai quali è possibile derivare ulteriori affermazioni matematiche senza contraddizioni. Il sistema di assiomi ZFC, che risale a Ernst Zermelo (1871-1953) e Abraham Fraenkel (1891-1965), si è affermato come sistema standard della teoria degli insiemi e quindi come base dell'intera matematica. Comprende nove assiomi, tra cui l'assioma dell'infinito, grazie al quale si possono fare affermazioni anche su insiemi infiniti.
L'ipotesi del continuo e la domanda su quanti tipi di infinito si possano trovare occupano ancora oggi la matematica, anche se gli approcci differiscono a seconda della posizione filosofica: Ad esempio, i teorici degli insiemi come Hugh Woodin, ospite del convegno, sono stati invitati a partecipare alla conferenza. Conferenze Bernays 2016,Gli autori di questo articolo cercano di confutare o dimostrare l'ipotesi del continuo estendendo gli assiomi di ZFC con nuovi assiomi. Woodin segue la sua convinzione che possa esistere un solo modello "corretto" della teoria mengeliana.
Un approccio diverso, un po' più "giocoso", è quello di Saharon Shelah, che si dice ami risolvere problemi impegnativi e che dice di sé che la sua posizione nella filosofia della matematica è l'edonismo: "La matematica è divertente!"Shelah non si chiede tanto se l'ipotesi del continuo sia irrisolvibile, quanto piuttosto il contrario: se non è in contraddizione con gli assiomi della matematica, allora si è liberi di assumere che non sia applicabile e di indagare se esistano altri tipi di infinito. In linea di principio, potrebbe esistere un numero infinito di infiniti tra l'infinito contabilie e il continuo.
Alcune possono essere escluse: "Per le quantità infinite, è possibile qualsiasi quantità concepibile che non inneschi una contraddizione con gli assiomi ZFC", afferma Lorenz Halbeisen, libero docente e logico presso l'ETH di Zurigo, che ha condotto la ricerca con Shelah. A questo scopo Shelah ha sviluppato la cosiddetta tecnica di forzatura corretta. Con questo metodo, la teoria degli insiemi ZFC può essere estesa per includere nuovi insiemi infiniti e si possono costruire modelli molto diversi di ZFC per verificare determinate affermazioni. "Con questa tecnica è possibile specificare molto bene cosa è possibile fare in un modello e quali quantità possono essere escluse per gli insiemi infiniti", afferma Halbeisen.
Un talento per le connessioni sorprendenti
Nell'approccio di Shelah, la dimensione del continuum - cioè il numero dei suoi elementi - è variabile, ed egli intende il "problema della dimensione del continuum" come un compito aritmetico di come calcolare con numeri infiniti (dopo tutto, due volte l'infinito non risulta automaticamente un doppio infinito). Questo vale in particolare per i numeri cardinali, che vengono utilizzati per indicare la dimensione degli insiemi infiniti (simboleggiati da un aleph ?). Essi aiutano a caratterizzare gli insiemi infiniti e a disporli in base alla loro dimensione. La "teoria dei pcf" di Shelah è innovativa e permette di riconoscere nuove connessioni tra numeri cardinali e infiniti.
Nella prova citata all'inizio, Shelah e i suoi colleghi viennesi hanno esteso ZFC - assumendo che l'ipotesi del continuo fosse falsa - per quattro numeri cardinali infiniti. Questo ha permesso loro di calcolare se la dimensione di dieci infiniti già definiti differisce. La loro prova dimostra che i dieci infiniti hanno effettivamente dimensioni diverse. Inoltre, tutti e dieci gli infiniti possono essere allineati in base alla loro dimensione tra l'infinito contabile e il continuo. Ne risulta un ordine di infiniti, chiamato diagramma di Cichoń. Se tale ordine di infiniti e l'aritmetica dei numeri cardinali permettano nuove intuizioni sull'ipotesi del continuo sarà discusso da Shelah alle Bernays Lectures.
"La prova che dieci infiniti nel diagramma di Cichoń possono essere diversi non è solo innovativa, ma anche tipica di Shelah", dice Halbeisen, "egli guarda ai fatti matematici con una mente totalmente aperta e vede connessioni altamente sorprendenti. Il suo istinto per le possibili soluzioni è infallibile"."Le scoperte di Shelah sono state finora poco considerate dal punto di vista filosofico, ma è probabile che portino a nuove ed entusiasmanti intuizioni matematiche e filosofiche", conclude Giovanni Sommaruga, docente di Filosofia delle scienze formali all'ETH di Zurigo.
Lezioni Paul Bernays 2020
Prof Saharon Shelah, Università Ebraica di Gerusalemme, Israele
"La lotta per la dimensione dell'infinito"
Lezione 1:
L'ARITMETICA DEI NUMERI CARDINALI: IL PARADISO DI CANTOR
Lunedì 31 agosto 2020, ore 17.00, Webinar
Lezione 2:
QUANTO ? GRANDE IL CONTINUUM?
Martedì 1 settembre 2020, ore 14.15, Webinar
Conferenza 3:
INVARIANTI NUMERICI CARDINALI DEL CONTINUO: SONO TUTTI INDIPENDENTI?
Martedì 1 settembre 2020, ore 16.30, Webinar
Tutte le lezioni si terranno in inglese e sono autoconclusive. La lezione 1 è rivolta a un pubblico ampio e interessato al mondo accademico, mentre le lezioni 2 e 3 sono rivolte alla comunità dei ricercatori.
A causa delle circostanze straordinarie della pandemia COVID-19, le Paul Bernays Lectures 2020 si terranno come webinar. Ulteriori informazioni.
Bibliografia
Goldstern, M, Kellner J, Shelah S. Il massimo di Cichoń. Annali di matematica, vol. 190, n. 1 (luglio 2019), pp. 113-143. DOI: pagina esterna10.4007/annals.2019.190.1.2.
Una presentazione generalmente comprensibile di questa pubblicazione si trova nella notizia del pagina esternaUniversità di Tecnologia di Vienna.
Shelah, S. Forzature proprie e improprie. Cambridge, Cambridge University Press, 2017 (2nd ndr).
Shelah, S. Aritmetica cardinale. Oxford, Clarendon Press, 1994.
Halbeisen, L, Shelah, S. Consequences of Arithmetic for Set Theory. The Journal of Symbolic Logic, 59 (1994/ 1), Pp. 30-40. DOI: 10.3929/ethz-b-000423096;DOI: pagina esterna10.2307/2275247.