George Boole

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

Boole recibió sus primeras lecciones de matemáticas de su padre, un comerciante, que también le enseñó a fabricar instrumentos ópticos. Sin embargo, aparte de la ayuda de su padre y de algunos años en las escuelas locales, Boole fue autodidacta en matemáticas. Cuando el negocio de su padre decayó, George tuvo que trabajar para mantener a la familia. A partir de los 16 años enseñó en escuelas de pueblo en el West Riding de Yorkshire, y abrió su propia escuela en Lincoln cuando tenía 20 años. En su escaso tiempo libre leía revistas de matemáticas en el Instituto de Mecánica de Lincoln. Allí también leyó los Principia de Isaac Newton, el Traité de mécanique céleste de Pierre-Simon Laplace y la Mécanique analytique de Joseph-Louis Lagrange y comenzó a resolver problemas avanzados de álgebra.

Boole presentó una serie de artículos originales a la nueva revista Cambridge Mathematical Journal, comenzando en 1841 con sus «Investigaciones sobre la teoría de las transformaciones analíticas». Estos artículos trataban sobre las ecuaciones diferenciales y el problema algebraico de la transformación lineal, haciendo hincapié en el concepto de invariancia. En 1844, en un importante artículo publicado en las Philosophical Transactions of the Royal Society, «On a General Method of Analysis» (Sobre un método general de análisis), por el que se le concedió la primera medalla de oro de la Royal Society para las matemáticas, analizó cómo podían combinarse los métodos del álgebra y el cálculo. Boole pronto vio que su álgebra también podía aplicarse a la lógica.

Desarrollando nuevas ideas sobre el método lógico y confiando en el razonamiento simbólico que había derivado de sus investigaciones matemáticas, publicó en 1847 un folleto, The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning (El análisis matemático de la lógica, siendo un ensayo hacia un cálculo del razonamiento deductivo), en el que argumentaba de forma persuasiva que la lógica debía aliarse con las matemáticas, no con la filosofía. Se ganó la admiración del lógico inglés Augustus De Morgan, que publicó ese mismo año Formal Logic. Gracias a sus publicaciones, en 1849 Boole fue nombrado profesor de matemáticas en el Queen’s College del condado de Cork (actual University College Cork), a pesar de no tener ningún título universitario. En 1854 publicó An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities (Investigación sobre las leyes del pensamiento, en las que se basan las teorías matemáticas de la lógica y las probabilidades), que consideraba una exposición madura de sus ideas. Al año siguiente se casó con Mary Everest, sobrina de Sir George Everest, que da nombre a la montaña. Los Booles tuvieron cinco hijas.

Uno de los primeros ingleses en escribir sobre lógica, Boole señaló la analogía entre los símbolos algebraicos y los que pueden representar formas lógicas y silogismos, mostrando cómo los símbolos de cantidad pueden separarse de los de 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 general de Boole para la inferencia lógica, completamente expuesto en Laws of Thought (1854), permite, dadas cualesquiera proposiciones que impliquen cualquier número de términos, extraer conclusiones que están lógicamente contenidas en las premisas. El abstruso razonamiento de Boole ha dado lugar a aplicaciones con las que nunca soñó: por ejemplo, la conmutación telefónica y los ordenadores electrónicos utilizan dígitos binarios y elementos lógicos que se basan en la lógica booleana para su diseño y funcionamiento. También intentó un método general en probabilidades, que permitiría, a partir de las probabilidades dadas de cualquier sistema de eventos, determinar la probabilidad consecuente de cualquier otro evento lógicamente conectado con los eventos dados.

En 1857 Boole fue elegido miembro de la Royal Society. El influyente Tratado sobre ecuaciones diferenciales apareció en 1859 y fue seguido al año siguiente por su secuela, Tratado sobre el cálculo de diferencias finitas. Utilizados como libros de texto durante muchos años, estos trabajos encarnan una elaboración de los descubrimientos más importantes de Boole.

Boole contrajo una neumonía después de caminar tres millas desde su casa hasta el Queen’s College en una tormenta el 24 de noviembre de 1864. Murió el 8 de diciembre.