Como inventor del álxebra de Boole, que marca los fundamentos de laritmética computacional moderna, Boole ye consideráu como unu de los fundadores del campu de les Ciencies de la Computación. En 1854 publicó An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, onde desenvolvió un sistema de regles que-y dexaben espresar, manipoliar y simplificar problemes lóxicos y filosóficos que los sos argumentos almiten dos estaos (verdaderu o falsu) por procedimientos matemáticos. Podría dicise que yel padre de los operadores lóxicos simbólicos y que gracies a la so álxebra anguaño ye posible operar simbólicamente pa realizar operaciones lóxiques.