Cantor e o problema da onisciência
Semana passada, eu mencionei aqui a análise feita pelo filósofo Patrick Grim sobre o "Paradoxo da Pedra", um raciocínio que indica que a onipotência, como normalmente entendida, é uma noção contraditória e incoerente. Grim, no entanto, é mais famoso -- na medida em que um filósofo contemporâneo pode ser "famoso", claro -- por ter descoberto o que ele acredita ser uma prova de que outra propriedade normalmente associada à figura de Deus, a onisciência, é impossível. A prova de Grim é chamada de "argumento cantoriano", porque deriva de resultados obtidos originalmente pelo matemático Georg Cantor. Simplificando bastante a coisa, e evitando uma linguagem excessivamente enrolada (com coisas do tipo, "o conjunto de subconjuntos de um conjunto é um conjunto..."), poderíamos dizer que Cantor demonstrou, muito tempo atrás, que todo conjunto pode ser usado para criar outro conjunto com mais elementos do que si mesmo. Por exemplo, a partir de {1,2,3} é...