George Boole was a largely self-taught mathematician who grew up
in Lincoln and eventually became Professor of Mathematics at
Queen's College in Cork. His father's bankruptcy had forced him to
withdraw from school aged 16 to support the family, but he
gradually honed an interest in mathematics, and developed a system
whereby logical propositions could be represented as algebraic
equations. In 1847, he published his new form of algebra in *The
Mathematical Analysis of Logic*. This has since come to form the
basis of computational functioning, since the binary of 0 and 1 can
be expressed through Boolean algebra.

Citation:

Editors. "George Boole formalizes symbolic logic in *The Mathematical Analysis of Logic*".
*The Literary Encyclopedia*. First published 30 August 2013

[http://www.litencyc.com/php/stopics.php?rec=true&UID=6301, accessed 20 April 2014.]

*The Mathematical Analysis of Logic*2 Short Notes are intended to give basic and preliminary information on a topic. In some cases they will be expanded into longer entries as the Literary Encyclopedia evolves.