Paradosso di Burali-Forti
Il paradosso di Burali-Forti dimostra che costruire "l'insieme di tutti i numeri ordinali" porta ad una contraddizione e quindi individua un'antinomia in un sistema che permette la sua costruzione.
Il motivo è che l'insieme di tutti i numeri ordinali possiede tutte le proprietà di un numero ordinale e sarebbe quindi considerato a sua volta un numero ordinale. Quindi si può costruire il suo successore , che è strettamente maggiore di . Ma questo numero ordinale deve essere elemento di , in quanto contiene tutti i numeri ordinali, quindi si giunge a:
- .
La moderna teoria assiomatica degli insiemi aggira questa antinomia non consentendo la costruzione di insiemi con formule di comprensione senza restrizione come "tutti gli insiemi che hanno la proprietà ", come era possibile nel sistema di assiomi di Gottlob Frege.
Il paradosso prende il nome da Cesare Burali-Forti, che lo formulò nel 1897.
Collegamenti esterni
- Burali-Forti, paradosso di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Eric W. Weisstein, Paradosso di Burali-Forti, su MathWorld, Wolfram Research.
V · D · M | |
---|---|
Insiemi numerici | Naturali · Interi · Razionali · Reali · Complessi |
Teoria ingenua degli insiemi (o di Cantor) | Insieme vuoto · Insieme universo · Sottoinsieme · Insieme potenza · Insieme complemento · Unione · Intersezione · Coppia ordinata · Prodotto cartesiano · Paradosso di Russell · Paradosso di Burali-Forti |
Teoria assiomatica degli insiemi | Assioma · Assiomi di Peano · Teoria degli insiemi di Zermelo · Teoria degli insiemi di Zermelo-Fraenkel · Assioma della scelta · Lemma di Zorn · Teoria degli insiemi di Von Neumann-Bernays-Gödel |
V · D · M | |
---|---|
Biografie | George Boole · Luitzen Brouwer · Georg Cantor · Richard Dedekind · Gottlob Frege · Kurt Gödel · David Hilbert · Giuseppe Peano · Henri Poincaré · Bertrand Russell · Ludwig Wittgenstein |
Presupposti storici | Positivismo · Logicismo |
Elementi di crisi | Paradosso di Russell (anche paradosso del barbiere · paradosso del bibliotecario · paradosso dell'eterologicità di Grelling-Nelson) · Paradosso di Burali-Forti · Paradosso di Richard · Paradosso di Zermelo-König |
Risposte provvisorie | Teoria dei tipi · Intuizionismo · Formalismo (anche metalogica · Tractatus logico-philosophicus · metamatematica · programma di Hilbert) |
Risposta definitiva | Teoremi di incompletezza di Gödel |
Relazioni con la teoria degli insiemi | Teoria degli insiemi · Teoria ingenua degli insiemi · Teoria assiomatica degli insiemi (anche teoria degli insiemi di Zermelo-Fraenkel · teoria degli insiemi di Von Neumann-Bernays-Gödel) |