George Boole

An English mathematician and logician whose 1854 work "An Investigation of the Laws of Thought" introduced what became known as Boolean algebra, a system for representing logical statements as true/false operations. Boolean logic underlies the digital circuits of every computer and the rule-based reasoning of early symbolic AI systems. (See also: Symbolic AI)