1815~1864
British teacher, mathematician, logician, and philosopher whose book, The Laws of Thought, mathematized the rules of logic of Aristotle.
Later known as "Boolean algebra," these techniques form the foundation for nearly all of modern computing.