George Boole formalizes symbolic logic in The Mathematical Analysis of Logic

(95 words)
  • Editors

Short Note This is a short note

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.

Short notes under 150 words are freely available to all users, but to consult all other articles in the Literary Encyclopedia, you must be logged in as a subscriber. To read about subscribing click here.


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.]