George Boole, seus trabalhos com a lógica simbólica foram fundamentais para a programação de computadores mais de cem anos depois.