George Boole was an English mathematician whose algebra of logic became fundamental to digital circuits and computer science. Boolean algebra translates logical reasoning into a form machines can compute.