George Boole
entwickelte um 1850 eine Mathematik für die Aussagenlogik. Diese gehörte zu der Zeit mehr der Philosophie an.
Seine Weggefährten waren Pierce, Frege, de Morgan, E.Schröder, Sheffer, später Shannon und viele andere.
Die Boolesche Algebra ist das wichtigste Werkzeug zum Computerentwurf.
von Lothar Dilcher