George Boole
wikipedia