Georg Cantor: differenze tra le versioni

Versione delle 22:17, 12 gen 2020

Versione delle 08:37, 22 apr 2020

Riga 34:

== La teoria degli insiemi ==

Cantor diede origine alla [[teoria degli insiemi]] ([[1874]]-[[1884]]).<ref>''Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen''. [[Journal für die reine und angewandte Mathematik]]. 1874.</ref> Fu il primo a capire che gli insiemi infiniti possono avere diverse grandezze: dapprima mostrò che dato un qualsiasi insieme <math>A</math>, esiste l'insieme di tutti i possibili sottoinsiemi di <math>A</math>, chiamato l'[[insieme potenza]] di <math>A</math>. Poi dimostrò che l'insieme potenza di un insieme infinito <math>A</math> ha una grandezza maggiore della grandezza di <math>A</math> stesso (questo fatto è oggi noto con il nome di [[teorema di Cantor]]). Dunque esiste una gerarchia infinita di grandezze di insiemi infiniti, dalla quale sorgono i numeri [[Numero cardinale|cardinali]] e [[numero ordinale (teoria degli insiemi)|ordinali]] [[Numero transfinito|transfiniti]], e la loro peculiare aritmetica. Per denotare i numeri cardinali usò la lettera dell'[[alfabeto ebraico]] [[aleph]] dotata di un numero naturale come indice (<math>\aleph_0</math> Alef zero); per gli ordinali utilizzò la lettera dell'[[alfabeto greco]] [[omega (lettera)|omega]].

L'innovativa teoria cantoriana, osteggiata durante la vita del suo creatore, è stata completamente accettata dai matematici moderni, che hanno riconosciuto nella teoria degli insiemi transfiniti uno [[slittamento di paradigma]] di prima grandezza.