Si riportano di seguito le informazioni sul matematico George Boole tratte dall'enciclopedia Microsoft Encarta (Copyright 1994 Microsoft Corporation. Copyright 1994 Funk & Wagnall's Corporation): «Boole, George (1815-1864), British mathematician and logician, who developed Boolean algebra. Largely self-educated, in 1849 Boole was appointed professor of mathematics at Queen's College (now University College) in Cork, Ireland. In 1854, in An Investigation of the Laws of Thought, Boole described an algebraic system that later became known as Boolean algebra. In Boolean algebra, logical propositions are denoted by symbols and can be acted on by abstract mathematical operators that correspond to the laws of logic. Boolean algebra is of prime importance to the study of pure mathematics and to the design of modern computers». 1