• Author / Uploaded
• Edison Muñoz

Citation preview

HISTORIA DE LOS CONJUNTOS A finales del sigo XIX y principios del siglo XX George Cantor fue quien prácticamente formuló la teoría de conjuntos. Su objetivo era el de formalizar las matemáticas como ya se había hecho con el cálculo cien años antes, aunque sus proposiciones caían en varias paradojas matemáticas fue David Herbert quien soluciono varios de estos problemas con la teoría de la prueba la cual la cual era una teoría de lógica independiente del contexto

John Venn Drypool, 1834-Cambridge, 1923) Matemático y lógico británico. Descolló por sus investigaciones en lógica inductiva. Es especialmente conocido por su método de representación gráfica de proposiciones (según su cualidad y cantidad) y silogismos. Los diagramas de Venn permiten, además, una comprobación de la verdad o falsedad de un silogismo. Posteriormente fueron utilizados para mostrar visualmente las operaciones más elementales de la teoría de conjuntos. Entre sus obras destacan Lógica simbólica (1881) y Los principios de la lógica empírica o inductiva (1889)

Leonhard Euler Euler nació en Basilea en 1707 y estudió en la Universidad de Basilea con el matemático suizo Johann Bernoulli, licenciándose a los 16 años.En su Introducción al análisis de los infinitos (1748), Euler realizó el primer tratamiento analítico completo del álgebra, la teoría de ecuaciones, la trigonometría y la geometría analítica. En esta obra trató el desarrollo de series de funciones y formuló la regla por la que sólo las series convergentes infinitas pueden ser evaluadas adecuadamente

George Cantor Nació el 3 de marzo de 1845 en San Petersburgo (Rusia). Tuvo un profesor particular, y después siguió un curso en la escuela elemental de San Petersburgo. Cuando la familia se trasladó a Alemania, asistió a algunas escuelas privadas de Francfort y de Damstandt primero, ingresando luego en el Instituto de Wiesbaden en 1860, cuando tenía 15 años. Comenzó sus estudios universitarios en Zurich, en 1862, pero pasó a la Universidad de Berlín al siguiente año, después de la muerte de su padre. En Berlín se especializó en Matemáticas, Filosofía y Física. Trabajó como profesor en la Universidad de Halle, obteniendo su Cátedra en 1872.

Sus primeros trabajos con las series de Fourier lo llevaron al desarrollo de una teoría de los números irracionales. Además formuló la teoría de conjuntos, sobre la que se basa la matemática moderna. Esta teoría extiende el concepto de número al introducir los números infinitos o números transfinitos. El estudio de los infinitos por parte de Cantor fue considerado por Kronecker con una locura matemática. Recibió múltiples honores y su obra había logrado ser reconocida. Georg Cantor falleció en Halle, el 6 de enero de 1918

APORTE El conjunto de Cantor, llamado por ser aporte de Georg Cantor en 1883, es un destacado subconjunto fractal del intervalo real [0, 1], que admite dos definiciones equivalentes: la definición numérica: es el conjunto de todos los puntos del intervalo real [0,1] que admiten una expresión en base 3 que no utilice el dígito 1. la definición geométrica, de carácter recursivo, que elimina en cada paso el segmento abierto correspondiente al tercio central de cada intervalo. Además de una curiosidad matemática, contradice una intuición relativa al tamaño de objetos geomEl conjunto de Cantor, llamado por ser aporte de Georg Cantor en 1883, es un destacado subconjunto fractal del intervalo real [0, 1], que admite dos definiciones equivalentes: la definición numérica: es el conjunto de todos los puntos del intervalo real [0,1] que admiten una expresión en base 3 que no utilice el dígito 1. la definición geométrica, de carácter recursivo, que elimina en cada paso el segmento abierto correspondiente al tercio central de cada intervalo. Además de una curiosidad matemática, contradice una intuición relativa al tamaño de objetos geométricos: es un conjunto de medida nula, pero no es vacío ni numerable. étricos: es un conjunto de medida nula, pero no es vacío ni numerable

De Morgan (Madurai, India; 27 de junio de 1806 - Londres, Gran Bretaña; 18 de marzo de 1871) fue un matemático y lógico inglés nacido en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra. Fue tutor de Ada Lovelace. Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal

aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: la negación de la conjunción es equivalente a la disyunción de las negaciones. la negación de la disyunción es equivalente a la conjunción de las negaciones.

George Boole A los dieciséis años enseñaba matemáticas en un colegio privado y más tarde fundó uno propio. A los veinticuatro años, tras la publicación de su primer escrito, pudo ingresar en Cambridge, pero desestimó la oferta, de nuevo a causa de sus deberes respecto a su familia. En 1849 fue nombrado profesor de matemáticas del Queen’s College, en Cork, donde permaneció el resto de su vida. El gran descubrimiento de Boole fue aplicar una serie de símbolos a operaciones lógicas y hacer que estos símbolos y operaciones por elección cuidadosa tuvieran la misma estructura lógica que el álgebra convencional. En el álgebra de Boole, los símbolos podían manipularse según reglas fijas que producirían resultados lógicos. En 1854 publicó Investigación sobre las leyes del pensamiento, libro que trataba por completo de la lógica simbólica y su álgebra. La influencia de esta lógica matemática sobre las matemáticas modernas tendría una evolución lenta: si en un primer momento no parecía más que un intrincado juego de palabras, más adelante se vio que era de lo más útil, y hasta completamente indispensable para conseguir la matemática lógica.