Georg Cantor

Georg Ferdinand Ludwig Philipp Cantor (São Petersburgo, 3 de março de 1845 – Halle, 6 de janeiro de 1918) foi um matemático alemão nascido no Império Russo. Conhecido por ter elaborado a moderna teoria dos conjuntos, foi a partir desta teoria que chegou ao conceito de número transfinito, incluindo as classes numéricas dos cardinais e ordinais e estabelecendo a diferença entre estes dois conceitos, que colocam novos problemas quando se referem a conjuntos infinitos. Nasceu em São Petersburgo (Rússia), filho do comerciante dinamarquês, George Waldemar Cantor, e de uma musicista russa, Maria Anna Böhm. Em 1856 sua família mudou-se para a Alemanha, continuando aí os seus estudos. Estudou no Instituto Federal de Tecnologia de Zurique. Doutorou-se na Universidade de Berlim em 1867. Teve como professores Ernst Kummer, Karl Weierstrass e Leopold Kronecker. Em 1872 foi docente na Universidade de Halle-Wittenberg, na cidade alemã Halle an der Saale, onde obteve o título de professor em 1879. Toda a sua vida irá tentar em vão deixar a cidade, tendo acabado por pensar que era vítima de uma conspiração. Cantor provou que os conjuntos infinitos não têm todos a mesma potência (potência significando "tamanho"). 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....