George Boole

englischer Mathematiker; * 2. November 1815 in Lincoln, † 8. Dezember 1864 in Cork (Irland)

George Boole war Mathematikprofessor am Queen's College in Cork und ist der Begründer der formalen Algebra mithilfe von logischen Untersuchungen. Seine Untersuchungen veröffentlichte er in seinem Werk "An investigation of the laws of thought" 1854. Die so genannte Bool'sche Algebra, von E. Schröder später ausgebaut, ermöglichte durch Lehrsätze die Lösung von mathematischen Problemen durch Berechnungen, die der Logik entsprechen. Sie findet ihre Anwendung besonders bei der Entwicklung von Computern.