Академический Документы
Профессиональный Документы
Культура Документы
“La lógica formal” (1847) fue su obra más notable y en la que se exponía un buen
sistema de notación para la lógica simbólica y se incluía el concepto de
cuantificación de predicados con lo cual se podían resolver algunas cuestiones que
no tenían respuesta dentro de la lógica aristotélica. Una de sus grandes
aportaciones, por las que es conocido, son las leyes que llevan su nombre: “la
negación de la conjunción es equivalente a la disyunción de las negaciones” y “la
negación de la disyunción es equivalente a la conjunción de las negaciones”.
A los 16 años enseñaba matemáticas en un colegio privado y más tarde fundó uno
propio. A los 24 años, tras la publicación de su primer escrito, pudo ingresar en
Cambridge, pero no aceptó la oferta, nuevamente 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.
Como inventor del álgebra de Boole, es considerado como uno de los fundadores
del campo de las Ciencias de la Computación. En 1854 publicó " Investigación sobre
las leyes del pensamiento " en el que desarrollaba un sistema de reglas que le
permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos
argumentos admiten un valor de verdad por procedimientos matemáticos.
Boole se casó a la edad de cuarenta años y tuvo cinco hijas, a las que no alcanzó
a ver adolescentes; llegando a fallecer el 8 de diciembre de 1864.
Bibliografía:
- http://www.matematicas.profes.net/apieaula2.asp?id_contenido=46931
- http://es.wikipedia.org/wiki/Augustus_De_Morgan
- http://es.wikipedia.org/wiki/George_Boole
- http://www.biografiasyvidas.com/biografia/b/boole.htm
Acceso: 08/10/2012