Boole become a renowned mathematician, logician and philosopher (despite no formal schooling) and his work served as the basis for modern computer science. His lasting theory, Boolean logic, is a ...