 |
Questa pagina è stata trascritta, formattata e riletta. | |
| Matematica in relax | 91 |
| ◊ | 🄻 |
79. Il barbiere di Russell
Non so se avete mai sentito parlare del paradosso del barbiere di Russell. No, non è il barbiere che spuntava i capelli alla buonanima di sir Bertrand, ma un controesempio che il logico inglese presentò per far crollare la teoria degli insiemi che Gottlob Frege aveva costruito e pubblicato. Nel paradosso si parla di un villaggio dove c’è un unico barbiere, che fa la barba a tutti gli uomini che non si fanno la barba da sé, e solo a loro. La domanda che poneva Russell è “chi fa la barba al barbiere?” Se non se la fa da sé allora per definizione deve farsela, ma se si fa la barba da sé allora, sempre per definizione, non può farsela! Eppure né Frege né Russell si accorsero che c’era una soluzione al problema. Qual è? Supponete che in quel villaggio nessun uomo si lasci crescere la barba, e non ci siano scambi di barbieri con i paesi vicini.
.svg)
