Historia del Álgebra Booleana

George Boole (nacido el 2 de noviembre de 1815 en Lincoln, Lincolnshire, Inglaterra; falleció el 8 de diciembre de 1864 en Ballintemple, Condado de Cork, Irlanda) fue un matemático inglés que ayudó a establecer la lógica simbólica moderna y cuyo álgebra de lógica, ahora llamada álgebra de Boole, es básico para el diseño de circuitos informáticos digitales.

Uno de los primeros ingleses en escribir sobre lógica, Boole señaló la analogía entre los símbolos algebraicos y aquellos que pueden representar formas lógicas y silogismos, mostrando cómo los símbolos de la cantidad pueden separarse de los de la operación. Con Boole en 1847 y 1854 comenzó el álgebra de la lógica, o lo que ahora se llama álgebra de Boole. El original y notable método simbólico de inferencia lógica de Boole le permite a uno, dadas las proposiciones que involucran cualquier número de términos, extraer conclusiones que estén lógicamente contenidas en las premisas.

Referencia: Chisholm, Hugh, ed. (1911). "Boole, George" . Encyclopædia Britannica (11th ed.). Cambridge University Press.