Il barbiere del villaggio

[mat]

Mi è arrivata un'e mail con questa apparentemente innocua domanda: "In un villaggio c'è un unico barbiere.
Il barbiere rade tutti e solo coloro che non si radono da sé.
Chi rade il barbiere?".
Sto impazzendo.
Qualcuno vuole provare a trovare una risposta?

[iroel]

E' donna.
Quello che ha posto la domanda è male informato sulle abitudini del barbiere.
E' un'antinomia logica e come tale non ha soluzione.

[Orihime]

Dove non arriva l'intelligenza arriva la furbizia,
che è molto più produttiva.............



Paradosso di Bertrand Russell

http://it.wikipedia.org/wiki/Paradosso_di_Russell

ora sai tutto, spiegazione e soluzione

[mat]

Io invece avevo pensato che aggiungendo "solo coloro che si radono da soli", si creava una contraddizione con "tutti" e che quindi non poteva esistere una risposta non contraddittoria essendo già contraddittoria la domanda.
Sbaglio?

[mat]

Vabbè perchè annullarsi così in Wikipedia?
Emetterò un editto col quale è bandita in ogni discussione la citazione dell'infernale enciclopedia.

[iroel]

[QUOTE=mat612000;1171415]Io invece avevo pensato che aggiungendo "solo coloro che si radono da soli", si creava una contraddizione con "tutti" e che quindi non poteva esistere una risposta non contraddittoria essendo gi

[marimba]

*

In un vecchio cartoon c'era un aspirapolvere così potente ma così potente che alla fine aspirava sè stesso e scompariva.
Mi pare lo stesso tipo di ragionamento.

[BiO-dEiStA]

Una delle formulazioni pi

[Cornolio]

[quote=mat612000;1171415]Io invece avevo pensato che aggiungendo "solo coloro che si radono da soli", si creava una contraddizione con "tutti" e che quindi non poteva esistere una risposta non contraddittoria essendo gi

[~Spawn]

Eh?

[Zadig]

[QUOTE=Orihime;1171414]Dove non arriva l'intelligenza arriva la furbizia,
che

[mat]

La stessa persona che mi ha mandato la e mail mi fa notare che: "Il radere solo coloro che non si radono da sé è determinare con precisione l'ambito d'azione del barbiere.
Mi sembra che l'azione del barbiere rivolta ad altri da sé non ingeneri contraddizione che invece insorge allorché l'azione egli la rivolge a se stesso.
Insomma è l'autoreferenzialità che porta ad antinomia.
Non ne sono sicura ma mi pare che sia cosi.".
Mi sembra che si introduca un nuovo elemento costituito dall'autorefenzialità.

[iroel]

L'autoreferenzialità è il problema. Infatti russell aveva cercato di risolvere il problema tramite la teoria dei tipi, in modo che l'insieme non possa predicare su se stesso.

Poi non ha funzionato perché come ha diceva Bio, quello che all'inizio si era presentato come un problema contingente invece faceva parte della natura stessa di qualasiasi formalizzazione abbastanza potente da poter dimostrare proposizioni aritmetiche.

[Terrone Maledetto]

[BiO-dEiStA]

[quote=mat612000;1171567]Mi sembra che si introduca un nuovo elemento costituito dall'autorefenzialit