George. 1815–64, English mathematician. In Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854), he applied mathematical formulae to logic, creating Boolean algebra
(bl) British mathematician who wrote important works in various areas of mathematics. He developed a system of mathematical symbolism to express logical relations that is now known as Boolean algebra.