Paradoxos 3 [Russell - solução]
Perguntávamos nós [ver "Paradoxos 1"]:
"Quem barbeia um barbeiro que barbeia todos aqueles que se barbeiam a si próprios, e apenas esses?"
A pergunta não tem resposta lógica possível. Vejamos então porquê:
1- A resposta "ele próprio" é uma contradição, pois é dito que o barbeiro apenas barbeia aqueles que *não* se barbeiam a si próprios, portanto não se poderia barbear a ele próprio, pois não seria elegível para tal categoria [ou "conjunto"].
2- A resposta "outra pessoa" é também uma contradição, pois neste caso ele seria um dos que não se barbeiam a si próprios, e por definição estes têm que ser barbeados pelo tal barbeiro.
Este pequeno "puzzle" mudou muito na "teoria dos conjuntos", no início do século XX, basicamente ao dizer que algo que "contém todos os conjuntos que não estão contidos neles próprios"... não pode ser um conjunto! Isto tinha sido a hipótese de Cantor, que levava a um paradoxo, e de tal maneira que as bases deste ramo da matemática (e lógica) ficavam minadas. Para quem se interesse, qualquer pesquisa na net abrirá inúmeras janelas, para além da que eu proponho no título.
"Quem barbeia um barbeiro que barbeia todos aqueles que se barbeiam a si próprios, e apenas esses?"
A pergunta não tem resposta lógica possível. Vejamos então porquê:
1- A resposta "ele próprio" é uma contradição, pois é dito que o barbeiro apenas barbeia aqueles que *não* se barbeiam a si próprios, portanto não se poderia barbear a ele próprio, pois não seria elegível para tal categoria [ou "conjunto"].
2- A resposta "outra pessoa" é também uma contradição, pois neste caso ele seria um dos que não se barbeiam a si próprios, e por definição estes têm que ser barbeados pelo tal barbeiro.
Este pequeno "puzzle" mudou muito na "teoria dos conjuntos", no início do século XX, basicamente ao dizer que algo que "contém todos os conjuntos que não estão contidos neles próprios"... não pode ser um conjunto! Isto tinha sido a hipótese de Cantor, que levava a um paradoxo, e de tal maneira que as bases deste ramo da matemática (e lógica) ficavam minadas. Para quem se interesse, qualquer pesquisa na net abrirá inúmeras janelas, para além da que eu proponho no título.
0 Comments:
Enviar um comentário
<< Home