George Boole was an English mathematician and logician best known for developing Boolean algebra, which laid the groundwork for digital circuit design and computer science. His work established a formal way to express logical statements using algebraic notation, allowing for the manipulation of true and false values through logical operations.