Vai alla freccia - Homepage - BlogRoom - Mappa
Visualizza Messaggi.

Nick: testoster
Oggetto: re:x //\\\\\\////Wild/|/|/|/
Data: 21/10/2003 0.23.9
Visite: 77

Perché "l'insieme di tutti gli insiemi" è un concetto contraddittorio :

Proviamo ad assumere che ''l'insieme di tutti gli insiemi '' sia una costruzione sensata e chiamiamolo M. Formalmente avremmo

M = { A | A è un insieme }.
(1)

Se M (secondo la nostra ipotesi) è davvero un insieme, allora deve contenere se stesso come elemento: M Î M.
Quindi esisterebbero insiemi che contengono se stessi come elemento.

Sicuramente esistono anche insiemi che non hanno questa proprietà (per esempio gli insiemi che abbiamo visto in questo capitolo, come A = { 2, 3, 4, 5, 6, 7 }). Formiamo la collezione di questi insiemi, chiamando S l'insieme di tutti gli insiemi che non contengono se stessi come elemento:

S = { A | A è un insieme e A Ï A }.
(2)

Se tutti questi concetti hanno un senso, allora S è un sottoinsieme di M. Adesso chiediamoci se S contiene se stesso come elemento oppure no. Formalmente ci stiamo chiedendo se vale S Î S oppure S Ï S.
Ecco la sorpresa:

Se supponiamo S Î S, allora S contiene se stesso come elemento e quindi non appartiene ad S (poiché per definizione un insieme appartiene ad S soltanto se non contiene se stesso come elemento). Quindi S Ï S - una contraddizione. Concludiamo che l'ipotesi deve essere errata.

Se supponiamo S Ï S, allora S non contiene se stesso come elemento e allora sì che appartiene ad S (poiché per definizione un insieme appartiene ad S se non contiene se stesso come elemento). Quindi S Î S - un'altra contraddizione. Concludiamo che anche questa ipotesi deve essere errata!

La nostra domanda ci conduce quindi a una contraddizione logica, la cosiddetta Antinomia di Russell. Evidentemente essa deriva dal fatto che una visone troppo superficiale del concetto di insieme ci permette di formare insiemi che contengono se stessi come elemento. (Occorre precisare però che nell'uso degli insiemi nella matematica del liceo ciò non avviene mai. Le nostre considerazioni riguardano i fondamenti logici della matematica - hanno quindi un aspetto filosofico - ma non toccano la matematica del liceo né le applicazioni pratiche).

La struttura logica della contraddizione viene spesso riportata così: Il barbiere di un paese fa la barba a tutti quegli uomini del paese che non si fanno la barba da soli. Domanda: si fa la barba da solo?

Se supponiamo che si fa la barba da solo, allora non si fa la barba (poiché abbiamo detto che fa la barba a coloro che non si fanno la barba da soli) - una contraddizione. Concludiamo che l'ipotesi deve essere errata.

Se supponiamo che non si fa la barba da solo, allora sì che si fa la barba (poiché abbiamo detto che fa la barba a coloro che non si fanno la barba da soli) - un'altra contraddizione. Concludiamo che anche questa ipotesi deve essere errata!

Forse devi ritornare!



Rispondi al Messaggio | Indietro | Indice topic | Quota Testo | Vai su| Segnala ad un amico|Successivo


....   20/10/2003 23.37.13 (149 visite)   testoster
   Politica   20/10/2003 23.47.8 (55 visite)   \\WILD
      x //\\\\\\////Wild/|/|/|/   20/10/2003 23.57.58 (49 visite)   testoster
         re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.13.9 (47 visite)   \\WILD
            re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.18.5 (37 visite)   testoster
            re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.20.45 (41 visite)   \\WILD
               re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.23.9 (76 visite)   testoster
                  re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.25.18 (38 visite)   \\WILD
                     re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.29.35 (30 visite)   testoster
                     re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.30.40 (30 visite)   \\WILD
                        re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.34.56 (27 visite)   testoster
                        re:x //\\\\\\////Wild/|/|/|/   21/10/2003 0.40.39 (25 visite)   \\WILD
                           re:x //\\\\\\////Wild/|/|/|/   21/10/2003 1.0.57 (23 visite)   testoster
         re:x //\\\\\\////Wild/|/|/|/   21/10/2003 10.38.20 (29 visite)   Le Palle (ultimo)

Nick:
Password:
Oggetto:
Messaggio:

vai in modalità avanzata
                 


Rimani nel thread dopo l'invio


Ricerca libera nel sito by Google (Sperimentale, non sono ancora presenti tutti i contenuti)

Google
 



Clicca per leggere le regole del forum



Imposta IRCNapoli come homepage

Clicca per andare sul forum di prova.
IRCNapoli "Un racconto a più mani".
Mappa del forum

Visualizza tutti i post del giorno 21/10/2003
Visualizza tutti i post del giorno 03/08/2025
Visualizza tutti i post del giorno 02/08/2025
Visualizza tutti i post del giorno 01/08/2025
Visualizza tutti i post del giorno 31/07/2025
vai in modalità avanzata