George Boole (/buːl/; Lincoln, Lincolnshire, Inglaterra, 2 de noviembre de 1815-Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico.
Como inventor del álgebra de Boole (en 1847), que marca los fundamentos 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ó Una investigación de las leyes del pensamiento: en las que se fundamentan las teorías matemáticas de la lógica y las probabilidades, donde desarrolló un sistema de reglas que permiten expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de los operadores lógicos simbólicos y que, gracias a su álgebra, hoy en día es posible realizar operaciones lógicas simbólicamente.
Sus principales publicaciones son El análisis matemático de la lógica (1847), Una investigación de las leyes del pensamiento (1854), Un tratado de ecuaciones diferenciales (1859) y Un tratado del cálculo de las diferencias finitas (1860).
Boole nació en 1815 en Lincoln, Lincolnshire, Inglaterra. Fue hijo de John Boole (1779-1848), un zapatero de bajos recursos, y de Mary Ann Joyce. John Boole estuvo especialmente interesado en las matemáticas y la lógica; dio a su hijo sus primeras lecciones en estos temas y le enseñó educación primaria. Sin embargo, el talento matemático de George Boole no se manifestó durante la juventud, ya que al principio mostraba mayor interés por las humanidades.
Debido a un serio declive en los negocios, el joven Boole recibió poca enseñanza formal y académica posterior. Fue un autodidacta en lenguas modernas y aprendió latín, posiblemente ayudado por William Brooke, un librero en Lincoln, o lo aprendió en la escuela de Thomas Bainbridge. En una ocasión, un periódico local publicó su traducción de un poema en latín y un erudito lo acusó de plagio bajo el argumento de que Boole no era capaz de tal hazaña.
A los 16 años, Boole se convirtió en el sostén de sus padres y tres hermanos menores al aceptar un puesto de asistente de maestro en Doncaster, en la Escuela de Heigham. Hasta ese momento Boole estudió en solitario las matemáticas superiores. También enseñó brevemente en Liverpool. Boole se mantuvo hasta el final de su vida en uno u otro grado dentro de la profesión educativa.
Participó en el Instituto de Mecánica de Lincoln de los Greyfriars, un monasterio franciscano fundado en 1833.Edward French Bromhead, quien conoció a John Boole a través de la institución, ayudó a George con libros de matemáticas y el reverendo George Stevens Dickson, de la iglesia St. Swithin, le dio el texto de cálculo de Sylvestre François Lacroix. Aun así, sin un maestro, le llevó muchos años dominar el cálculo.
A los 19 años, Boole fundó su propia escuela en Lincoln: Free School Lane. Cuatro años más tarde, tras el fallecimiento de Robert Hall, se hizo cargo de la Academia Hall en Waddington, a las afueras de Lincoln. En 1840 regresó a Lincoln, donde dirigió un internado. Se unió a la Sociedad Topográfica de Lincoln, de cuyo comité fue miembro, y presentó un escrito titulado «Sobre el origen, progreso y tendencias del politeísmo, especialmente entre los antiguos egipcios y persas, y en la India moderna».
Boole se convirtió en una figura local prominente, admirador del obispo John Kaye. Participó en la campaña local del «cierre temprano», que buscaba controlar las horas de trabajo de las tiendas minoristas. Con Edmund Larken y otros, fundó una sociedad de préstamo inmobiliario en 1847. También se relacionó con el cartista Thomas Cooper, cuya esposa era pariente suya.
A partir de 1838, Boole estableció contacto con académicos matemáticos británicos afines y empezó a leer más. Estudió álgebra en forma de métodos simbólicos, tal como se entendían en ese momento, y comenzó a publicar artículos de investigación.
En 1849 fue nombrado el primer profesor de matemáticas del entonces Queen's College (hoy University College Cork) en Cork, Irlanda. Allí conoció a su futura esposa, Mary Everest, en 1850, sobrina de John Ryall, profesor de griego. Se casaron en 1855. Mantuvo contacto con Lincoln y colaboró con E. R. Larken en una campaña para reducir la prostitución.
En 1861, Boole fue a juicio contra alguien de nombre John Hewitt Wheatley, por el cual el patrimonio y los intereses de Wheatley en las tierras de Maghan/Mahon, condado de Cork, pasaron a ser propiedad de Boole.
En marzo de 1863, alquiló la casa de nombre Litchfield Cottage, en Cork, donde vivió con su esposa Mary hasta su fallecimiento el 8 de diciembre del año siguiente. Boole murió de un ataque de fiebre que terminó en un derrame pleural. En su testamento legó a su esposa todos sus bienes y los derechos en el arrendamiento de la casa. En agosto de 1865, unos ocho meses después del fallecimiento, Everest cedió la casa a un sujeto llamado Francis Heard.
El carácter personal de Boole le valió la estima más profunda de todos sus amigos. Se caracterizó por la modestia y entregó su vida a la búsqueda de la verdad. Fue enterrado en el cementerio de la Iglesia de St. Michael, Church Road, Blackrock (un barrio de Cork). Hay una placa conmemorativa en la iglesia contigua.
Con la excepción de Augustus De Morgan, Boole fue probablemente el primer matemático inglés desde los tiempos de John Wallis que escribió sobre lógica. Su primer trabajo publicado fue sobre la «Teoría de las transformaciones analíticas», publicado por el El Periódico Matemático de Cambridge en 1839. Boole publicó veintidós artículos en ese periódico y en su sucesor, El Periódico Matemático de Cambridge y Dublin. Asimismo, publicó dieciséis artículos en las series tercera y cuarta de la Philosophical Magazine y un trabajo sobre las bases matemática de la lógica en la Mechanic's Magazine, en 1848.
En 1841 Boole publicó un influyente artículo sobre la naciente teoría de invariantes. En 1844 publicó Sobre un método general de análisis, una contribución a las ecuaciones diferenciales lineales donde, partiendo del caso de los coeficientes constantes en los que ya había trabajado, abordó el caso de los coeficientes variables. Su principal innovación en métodos operacionales consistió en admitir que las operaciones podían no ser conmutativas.
En la primavera de 1847, Boole publicó The Mathematical Analysis of Logic (El análisis matemático de la lógica), el primero de sus trabajos sobre lógica simbólica y el cual él mismo llegó a considerar una precipitada e imperfecta exposición de su sistema lógico. En la portada del mismo se incluye la frase de Aristóteles (Anal. post., lib. I, cap. XI): «Todas las ciencias se asocian con otras respecto a elementos comunes. (Y yo llamo común a todo aquello que utilizan en sus demostraciones, no a aquello que puede ser o no ser probado)».
El desarrollo de las ideas encontradas en ese pequeño escrito de 80 páginas llevó a la realización de su trabajo más importante, An Investigation of the Laws of Thought: on Which are Founded the Mathematical Theories of Logic and Probabilities (Una investigación sobre las leyes del pensamiento: en las cuales se fundamentan las teorías matemáticas de la lógica y las probabilidades, de 1854), conocido simplemente como Las leyes del pensamiento. De esta obra destaca la creación de un sistema que permitió estructurar un método simbólico para la inferencia lógica. Boole demostró que, dada una proposición con un número de premisas, estas pueden tratarse simbólicamente para llegar a la conclusión lógica contenida en dichas premisas. La segunda parte de sus Leyes del pensamiento intentó descubrir un método general para poder determinar la probabilidad de cualquier evento lógicamente relacionado con un sistema de eventos dados cuyas probabilidades conocemos previamente. Dicho método fue objeto de controversia en la Philosophical Magazine.