George Boole publicó su pensar acerca de la lógica simbólica, la cual décadas después formó la base de las aplicaciones en las ciencias de las computadoras.