Os Infinitos de Cantor

George Ferdinand Ludwig Philipp Cantor foi um matemático russo de origem alemã. Conhecido por ter elaborado a moderna teoria dos conjuntos. Foi a partir desta teoria que chegou ao conceito de número transfinito, estabelecendo a diferença entre estes dois conceitos, que colocam novos problemas quando se referem a conjuntos infinitos. Cantor provou que os conjuntos infinitos não têm todos o mesmo tamanho, o que pode ser visualizado no vídeo, Fez a distinção entre conjuntos numeráveis (ou enumeráveis) (em inglês chamam-se countable - que se podem contar) e conjuntos contínuos (ou não-enumeráveis) (em inglês uncountable - que não se podem contar). Provou que o conjunto dos números racionais Q é (e)numerável, enquanto que o conjunto dos números reais IR é contínuo (logo, maior que o anterior). Na demonstração foi utilizado o célebre argumento da diagonal de Cantor ou método diagonal. Nos últimos anos de vida tentou provar, sem o conseguir, a "hipótese do contínuo", ou seja, que não existem conjuntos de potência intermédia entre os numeráveis e os contínuos - em 1963, Paul Cohen demonstrou a indemonstrabilidade desta hipótese. Em 1897, Cantor descobriu vários paradoxos suscitados pela teoria dos conjuntos. Foi ele que utilizou pela primeira vez o símbolo "|R" para representar o conjunto dos números reais. A descoberta do Paradoxo de Russell conduziu-o a um esgotamento nervoso do qual não chegou a se recuperar. Começou, então, a se interessar por literatura e religião. Desenvolveu o seu conceito de Infinito Absoluto, que identificava a Deus. Os conceitos matemáticos inovadores propostos por Cantor enfrentaram uma resistência significativa por parte da comunidade matemática da época. Os matemáticos modernos, por seu lado, aceitam plenamente o trabalho desenvolvido por Cantor na sua teoria dos conjuntos, reconhecendo-a como uma mudança de paradigma da maior importância. Nas palavras de David Hilbert: "Ninguém nos poderá expulsar do Paraíso que Cantor criou."