George Boole was an English mathematician and philosopher. He invented Boolean Algebra, which is the basis of modern digital computer logic, he is considered to be one of the founders of computer science. He once said, "… no general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognize … those universal laws of thought which are the basis of all reasoning …"

Born on November 2, 1815, George Boole was born in London England. His father, who was known for his studious character and active mind, was a tradesman of unlimited means. Being especially clever in mathematics, science and logic, George's father gave him his first lesson. However, George's extraodinary talent in mathimatics did not manifest during his early years. His favorite subject was the classics.

His success sprouted and grew at a school in Lincoln, and later his appointment in 1849 as the first professor of mathematics of then Queen's College in Cork, Ireland where his mathematical skills were fully acknowlaged. To the broader public Boole was known only as the author of numerous abstruse papers on mathematical topics, and of four distinct publications which have become standard works. His earliest published paper was the "Researches in the theory of analytical transformations, with a special application to the reduction of the general equation of the second order." printed in the Cambridge Mathematical Journal in February 1840.

Boole is best known for developing the algebraic system now known as Boolean algebra. In Boolean algebra, logical propositions are represented by symbols and subjected to abstract mathematical operations. This branch of mathematics has law and properties slightly different from ordinary highschool algebra. An example of a Boolean algebra, consider any set X and let P(X) is sometimes called the power set of the set X. P(X), together with ordinary set union and set intersection, forms a Boolean algebra. In face, every Boolean algebra may be represented as an algebra of sets.