Georg Cantor fue un matemático alemán, 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³.
Este hecho supuso un desafío para un espíritu tan religioso como el de Georg Cantor. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendían sus descubrimientos no le ayudaron. Sufrió de depresión, y fue internado repetidas veces en hospitales psiquiátricos. 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.
