George Cantor
(1845-1918)
– Matemático alemán nacido en San Petersburgo (ahora Leningrado, Rusia) y fallecido en Halle en una clínica psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva.
– Inventor con Dedekind de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales).
– Cantor descubrió que los conjuntos infinitos no tienen siempre el mismo tamaño, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del mismo tamaño que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, más grandes los unos que los otros. Entre estos infinitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado al espacio vectorial R³.
– En 1874 Cantor empezó a introducir conceptos extraños de lo infinito, estableciendo que para tratar el infinito se debe establecer correspondencia entre dos series, más aun, esta correspondencia debe ser biunívoca. De este modo se puede razonar que la cantidad de números pares es igual a la de los números naturales, diferenciando entre la aritmética de lo infinito y la aritmética familiar de los números finitos.
– Su mente luchaba contra varias paradojas de la teoría de los conjuntos, que parecían invalidar toda su teoría (hacerla inconsistente o contradictoria, en el sentido de que una cierta propiedad podría ser a la vez cierta y falsa). Además, trató durante muchos años de probar la hipótesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teoría. El constructivismo negará este axioma, entre otras cosas, desarrollando toda una teoría matemática alternativa a la matemática moderna.