principales personajes de la logica

Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico 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». Su obra principal se titula La lógica formal o el cálculo de inferencias necesarias y probables (1847) George Boole Matemático británico. Autodidacta, fundó su propia escuela de enseñanza elemental. Publicó diversos artículos sobre la combinación del álgebra y el cálculo, y desarrolló un álgebra propia, que aplicó a la lógica, sosteniendo que ésta debería ser una rama de las Matemáticas, en lugar de la Filosofía. Fue el iniciador de la lógica simbólica, que representa los procesos del razonamiento mediante símbolos matemáticos. Sus trabajos impresionaron a sus colegas de la época, lo que le ganó en 1849 el puesto de profesor del Queen´s College de Cork, que le fue ofrecido a pesar de que no tenía título universitario. Como inventor del álgebra de Boole, la base de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en él desarrollaba un sistema de reglas que le permitía expresar, manipular y simplificar, problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos.se podria decir que es el padre de las operaciones logicas y gracias a su algeba hoy en dia podemos manipular operaciones logicas