Georg Cantor:Georg Cantor (n. San Petersburgo, 3 de marzo de 1845, m. Halle, 6 de enero de 1918 ) 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.
Empezó a interpretar el infinito absoluto (que no es concebible por la mente humana) como Dios, y escribió artículos religiosos sobre el tema. Murió en una clínica psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva (la cual se le atribuye a su edad).
Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lógico.
Teoria 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
