George Boole

George Boole war ein englischer Mathematiker, Logiker und Philosoph. Er ist vor allem dadurch bekannt, dass die für die Computertechnik grundlegende boolesche Algebra nach ihm benannt wurde. Boole erkannte als erster, dass die Aussagenlogik als eine Algebra aufgefasst werden kann, die zwei Elemente hat. Seine Arbeiten markieren dadurch den Beginn einer Entwicklung, mit der die traditionelle Aristotelische Logik abgelöst wurde und die Logik in die Mathematik integriert wurde.