Indovinello
Non voglio assolutamente rubare il mestiere a Saremo ma ho deciso di sttoporvi un indovinello che da anni, ormai quasi un secolo rattristice i matematici...
In un villaggio c'e' un unico barbiere, uomo ben sbarbato, sull'insegna del suo negozio sta scritto : "Il barbiere rade tutti e unicamente coloro che non si radono da soli". Chi rade il barbiere?
A voi l'ardua sentenza.
ne conosco uno così
La Lorena saprebbe rispondere subito.
Lei è un "barbiere ben sbarbato" ma che non ha nessun bisogno di radersi per esserlo.
L'unica cosa che non torna è "uomo ben sbarbato" , come citato nel testo.
soluzione
Questo indovinello e' noto ai matematici con il nome di paradosso di Russell ( perche' formulato da Bertrand Russell all'inizio del Novecento ).
Trattando il tutto da un punto di vista insiemistico si semplificano le cose:
A:uomini che si radono da soli;
B:uomini che non si radono da soli;
Risulta cosi' impossibile includere il barbiere in uno degli insiemi precedenti perche' cio' creerebbe una contraddizione con la definizione stessa degli insiemi. Cio' potrebbe far pensare ad un calssico caso di reductio ad absurdum, ossia non e' possibile che il barbiere esista o che semplicemente ad esso non cresca la barba.
Tuttavia da un punto di vista matematico cio' equivale con il chiedersi se un insieme e' elemento di se stesso. Intuitivamente infatti un insieme si definisce riunendo elementi con la medesima proprieta' ma cio' non risolve il problema anzi rivela la contraddizione in cui si cade.
Ad esempio l'insieme dei pensieri astratti e' a sua volta un pensiero astratto, mentre l'insieme dei maglioni blu non e' un maglione.
Consideriamo ora I come insieme degli insiemi che non appartengono a se stessi e poniamoci la seguente domanda I appartiene o no a se stesso?
le risposte sono le seguenti:
- se I appartiene a se stesso allora, per definizione, non appartiene a se stesso;
- se I non appartiene a se stesso allora, per definizione, appartiene a se stesso;
Nasce cosi' la contraddizione, alla base del paradosso di Russell, " I appartiene a se stesso se e solo se ( doppia implicazione ) I non appartiene a se stesso". Questa antinomia creo' un momento di crisi nella teoria matematica all'epoca di Russell ( inizi novecento ) e ancora c'e' chi discute se il barbiere esista o meno.
beh, questa ...
Questa alla Lorena gliela dobbiamo proprio raccontare.
Fossi in lei la stamperei e la appenderei in negozio.
La prossima volta che vado a farmi tagliare i capelli gli dico che non la pago perchè lei, formalmente, non esiste in nessun insieme di barbieri.
Casomai posso sempre dirgli che passerà poi Russell a pagare !
Paghera' Russel?
Russel conosceva solo barbieri uomini magari se avesse conosciuto Lorena non avrebbe inventato il paradosso e non avrebbe rattristato noi poveri matematici!
Cmq non credo pagherebbe dato che questo diabolico uomo e' purtroppo morto.
Non mi ricordo come si
Non mi ricordo come si chiamano ma il barbiere è uno di quelli che non hanno peli sul corpo...
E quindi, pur essendo lui "uomo ben sbarbato", non lo rade nessuno...