Francisco

George Boole
(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemático británico. Procedía de una familia venida a menos y tuvo que desestimar la idea de convertirse en monje alverse obligado a mantener a sus padres.
George Boole A los dieciséis años enseñaba matemáticas en un colegio privado y mástarde fundó uno propio. A los veintecuatro 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 operacionesló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únreglas 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 estaló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, yhasta completamente indispensable para conseguir la matemática lógica. Boole se casó a la edad de cuarenta años y tuvo cinco hijas, a las que no llegó a ver adolescentes.
Lógica clásica:
Expresión quese utiliza para referirse al conjunto de cálculos lógicos como los desarrollados en los Principia Mathematica de Russell y Whitehead. La lógica clásica reconoce solamente dos valores de verdad a susfórmulas (verdadero o falso), por lo que también se la denomina lógica bivalente o lógica estandarizada, e incluye a la lógica proposicional, a la lógica de predicados, a la lógica de clases y a...