2 - Grandes Matemáticos

Georg Cantor

(San Petersburgo, 1845-Halle, Alemania, 1918) Matemático alemán de origen ruso. El joven Cantor permaneció en Rusia junto a su familia durante once años, hasta que la delicada salud de su padre les obligó a trasladarse a Alemania. En 1862 ingresó en la Universidad de Zurich, pero tras la muerte de su padre, un año después, se trasladó a la Universidad de Berlín, donde estudió matemáticas, física y filosofía. Se doctoró en 1867 y empezó a trabajar como profesor adjunto en la Universidad de Halle.
En 1874 publicó su primer trabajo sobre teoría de conjuntos. Entre 1874 y 1897, demostró que el conjunto de los números enteros tenía el mismo número de elementos que el conjunto de los números pares, y que el número de puntos en un segmento es igual al número de puntos de una línea infinita, de un plano y de cualquier espacio. Es decir, que todos los conjuntos infinitos tienen «el mismo tamaño».
Consideró estos conjuntos como entidades completas con un número de elementos infinitos completos. Llamó a estos números infinitos completos «números transfinitos» y articuló una aritmética transfinita completa. Por este trabajo fue ascendido a profesor en 1879.

Teoría de conjuntos

La teoría de conjuntos es una división de las matemáticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemático alemán Georg Cantor en el Siglo XIX y más tarde reformulada por Zermelo.
El concepto de conjunto es intuitivo y se podría definir como una "colección de objetos"; así, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Un conjunto está bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolígrafos azules está bien definido, porque a la vista de un bolígrafo se puede saber si es azul o no. El conjunto de las personas altas no está bien definido, porque a la vista de una persona, no siempre se podrá decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo XIX, según Frege, los elementos de un conjunto se definían sólo por tal o cual propiedad. Actualmente la teoría de conjuntos está bien definida por el sistema ZFC. Sin embargo, sigue siendo célebre la definición que publicó Cantor:
Se entiende por conjunto a la agrupación en un todo de objetos bien diferenciados de nuestra intuición o nuestra mente.