Boole, George

1815-1864. Engelsk matematiker, der videreudviklede Gottfried W. Leibniz' tanker vedr. symbolsk logik. I sit hovedværk fra 1854 "The Laws of Thought" demonstrerer Boole, hvorledes logik kan reduceres til simple matematiske udtryk. Hans teori eller analysemetode, der nu betegnes som Boolesk algebra, byggede på tre basale operationer: AND, OR og NOT.

Selv om Boole af sin samtid blev betragtet som en stor matematiker, slog hans tanker om symbolsk logik ikke igennem. Reelt blev Boolesk algebra først anvendt i praksis i slutningen af 1930'erne, hvor amerikaneren Claude E. Shannon overførte Booles symbollogik til elektroniske kredsløb og derved skabte grundlaget for de binære computere.