![]() |
|||||||||||||||||
Paradoxo de Russell |
|
O paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que prova que a teoria de conjuntos de Cantor e Frege é contradictória. Considere-se o conjunto M como sendo "o conjunto de todos os conjuntos que não se contêm a si próprios como membros". Formalmente: A é elemento de M se e só se A não é elemento de A. No sistema de Cantor, M é um conjunto bem definido. Será que M se contém a si mesmo? Se sim, não é membro de M de acordo com a definição. Por outro lado, supondo que M não se contém a si mesmo, tem de ser membro de M, de acordo com a definição de M. Assim, as afirmações "M é membro de M" e "M não é membro de M" conduzem ambas a contradições. No sistema de Frege, M corresponde ao conceito não recai no conceito da sua definição. O sistema de Frege também conduz a contradições: de que há uma classe definida por este conceito, que recai no conceito da sua definição apenas no caso de não recair. O paradoxo do barbeiro, semelhante na formulação ao de Russell, foi utilizado por Kurt Gödel para provar o seu teorema da incompletude. Alan Turing provou a indecidibilidade do problema de paragem usando o mesmo paradoxo. |
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
|
||||||||
|
|||||||||








