George Boole fue un matemático británico que creó un nuevo sistema de cálculo lógico llamado Álgebra de Boole. Este sistema trataba las proposiciones como símbolos sobre los que se podía operar matemáticamente y supuso un avance fundamental en el desarrollo de la lógica. Más tarde, su trabajo sentaría las bases para el desarrollo de la informática y los microprocesadores. Boole tuvo que dejar la enseñanza para mantener a su familia y fue nombrado profesor de matemáticas en el Queens Coll