Das Boolesche Logik-Kalkül

George Boole

George Boole war ein englischer Mathematiker, Logiker und Philosoph, der im 19. Jahrhundert lebte. Er ist vor allem bekannt für seine Arbeiten zur Mathematik und Logik, insbesondere für sein Boole'sches Kalkül, das die Grundlage für die moderne algebraische Logik und die Mathematik der Schaltkreistechnik bildet. Boole studierte an der Universität Cambridge und wurde später Professor für Mathematik an der Queen's College in Cork, Irland. Er veröffentlichte zahlreiche Bücher und Artikel zu verschiedenen mathematischen und logischen Themen, darunter "The Mathematical Analysis of Logic" und "An Investigation of the Laws of Thought". Boole starb im Alter von 49 Jahren an der Auswirkungen einer Lungenentzündung.