Loading AI tools
englischer Mathematiker und Philosoph Aus Wikipedia, der freien Enzyklopädie
George Boole [2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer Mathematiker (Autodidakt), 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 (heute als die zwei Wahrheitswerte bezeichnet). 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.
] (*George Boole wurde in Lincolnshire geboren. Er hatte außer der Grundschulbildung keine weiterführenden Schulen besucht. Er brachte sich autodidaktisch Altgriechisch, Französisch und Deutsch bei. Mit 16 Jahren wurde er Hilfslehrer, um seine Familie finanziell zu unterstützen. Im Alter von 19 Jahren gründete Boole seine eigene Schule. Auf Grund seiner wissenschaftlichen Arbeiten wurde er 1848 Mathematikprofessor am Queens College in Cork (Irland), obwohl er selbst keine Universität besucht hatte. Dort lernte er Mary Everest kennen, seine spätere Frau. Sie war mathematisch interessiert, arbeitete als Bibliothekarin und setzte sich mit der Didaktik der Mathematik auseinander. Ihr Onkel George Everest war Namensgeber des höchsten Bergs der Welt. George und Mary hatten fünf Töchter, darunter die Autorin und Musikerin Ethel Lilian Voynich (1864–1960) und Alicia Boole Stott (1860–1940), der es als Mathematikerin ohne formale akademische Bildung gelang, die regulären Polyeder in vier Dimensionen zu klassifizieren. Von der Royal Society wurde Boole 1844 mit der Royal Medal ausgezeichnet. 1847 publizierte er sein epochemachendes Logikwerk The Mathematical Analysis of Logic und 1854 sein ausführlicheres Buch An Investigation of the Laws of Thought. 1857 wurde er zum Mitglied („Fellow“) der Royal Society gewählt.
Zu seinen Nachfahren gehören die US-amerikanische Kernphysikerin Joan Hinton und ihr Bruder William H. Hinton, Agrarwissenschaftler und Buchautor.[1]
George Boole starb am 8. Dezember 1864 mit nur 49 Jahren an einer fiebrigen Erkältung. Auf seinem Fußweg ging er zwei Meilen weit im strömenden Regen zur Universität, wo er anschließend seine Vorlesung in durchnässten Kleidern hielt. Er erkältete sich, bekam hohes Fieber und erholte sich davon später nicht mehr. Seine Frau war Anhängerin der Homöopathie, die „Gleiches mit Gleichem“ zu behandeln pflegte. Sie soll den an der fiebrigen Erkältung erkrankten Gatten im Bett eimerweise mit kaltem Wasser übergossen haben. Als seine Todesursache wurde Pleuraerguss angegeben.[2]
Boole schuf in seiner Schrift The Mathematical Analysis of Logic von 1847 den ersten algebraischen Logikkalkül und begründete damit die moderne mathematische Logik, die sich von der bis dato üblichen Logik durch eine konsequente Formalisierung abhebt. Er formalisierte die klassische Logik und Aussagenlogik und entwickelte ein Entscheidungsverfahren für die wahren Formeln über eine disjunktive Normalform.[3][4] Boole nahm damit – da aus der Entscheidbarkeit der klassischen Logik ihre Vollständigkeit und Widerspruchsfreiheit folgt – schon gut 70 Jahre vor Hilberts Programm für ein zentrales Logikgebiet die Lösung der von David Hilbert gestellten Probleme vorweg. Als Verallgemeinerungen von Booles Logikkalkül wurden später die sogenannte boolesche Algebra und der boolesche Ring nach ihm benannt.
1964 wurde der Mondkrater Boole nach ihm benannt,[5] ebenso 2001 der Asteroid (17734) Boole.[6]
Boole benutzte die gewöhnliche Algebra, die heute als Potenzreihen-Ring über dem Körper der reellen Zahlen präzisiert wird.[7] In sie bettete er die klassische Logik ein, indem er die Konjunktion UND als Multiplikation und die Negation als Differenz zur definierte und für logische Terme die Idempotenz forderte, das heißt:[8]
UND |
NICHT |
für alle logischen Terme |
Es handelt sich dabei um eine Einbettung, in der nicht alle Terme einen logischen Sinn haben; beispielsweise ist wegen die Summe logisch sinnlos, weshalb Boole uninterpretierbar nannte.[9] Die Addition ist also im logischen Bereich nur eine partielle Operation, weshalb er bei den logischen Termen und Operatoren von elective symbols, elective functions, elective equations sprach.[10] Dieser Sachverhalt wurde von seinen Nachfolgern kritisiert.[11][12] Seine Methode ist aber völlig korrekt. Denn der logische Bereich ist operativ abgeschlossen: Es ist die von idempotenten Unbestimmten, der 1, der Multiplikation und der Negation erzeugte Struktur, da idempotent ist und mit und auch und idempotent sind, wie man leicht nachrechnet. Damit wirken auch alle definitorisch ableitbaren logischen Operatoren in diesem Bereich, insbesondere die einschließende und die ausschließende Disjunktion:[13]
ODER |
ENTWEDER ODER |
Beide Definitionen gehören zum logischen Bereich:
Seine ODER-Definition liefert offenbar alle Axiome der späteren booleschen Algebra und seine ENTWEDER-ODER-Definition alle Axiome des späteren booleschen Rings, wobei die Additionen und strikt zu unterscheiden sind.
Boole entwarf seinen Kalkül primär als Begriffs- oder Klassenlogik, in dem das Universum (die Allklasse) ist und die Unbestimmten Klassen (Begriffe) repräsentieren. Innerhalb dieses Kalküls stellte er dann die scholastische Syllogistik mit Gleichungssystemen dar.[14] Ihre grundlegenden Prädikate repräsentierte er durch Gleichungen:[15]
Sekundär gebrauchte Boole seinen Kalkül auch als Aussagenlogik, in dem die Unbestimmten Aussagen repräsentieren und und die Wahrheitswerte:[16]
Sein logisches Entscheidungsverfahren über eine Normalform[3] ergänzte er durch ein gleichwertiges semantisches Entscheidungsverfahren mit Wahrheitswert-Einsetzungen in boolesche Funktionen, die jedem belegten logischen Term einen Wahrheitswert zuordnen.[17] Dieses Verfahren entspricht dem Entscheidungsverfahren mit Wahrheitstafeln, das zur Ermittlung von Tautologien dient.
Unter der booleschen Algebra wird heute nicht Booles originale Algebra verstanden, sondern der boolesche Verband, den Boole-Nachfolger entwickelten. 1864 entfernte William Stanley Jevons bei Boole die logisch sinnlosen mathematischen Terme und gab der Addition einen logischen Sinn als inklusives ODER mit der Regel .[18] Boole, der mit ihm korrespondierte, war nicht einverstanden mit dieser Uminterpretation der Addition, weil die Regeln der üblichen Algebra verletzt sind, denn impliziert in ihr .[19] Dennoch setzte sich diese Modifikation von Booles Kalkül durch, maßgeblich beeinflusst durch Ernst Schröder, der dazu 1877 das erste vollständige Axiomensystem formulierte, das Giuseppe Peano 1888 in die moderne nicht-additive Form brachte.[20][21]
Booles Kalkül lässt sich auch so modifizieren, dass keine logisch sinnlosen Terme mehr vorkommen und die üblichen Rechenregeln für die Addition gewahrt bleiben. Dazu muss die Addition im logischen Bereich abgeschlossen sein und die Idempotenz erfüllen; dann gilt speziell , was impliziert, so dass auch gilt und selbstinverse Terme vorliegen. Hierdurch erhält die Addition den Sinn des exklusiven ENTWEDER-ODER. Diese Kalkülvariante gab Iwan Iwanowitsch Schegalkin 1927 erstmals an zusammen mit einer vollständigen Axiomatisierung.[22] Dabei entsteht ein sogenannter boolescher Ring, dem Marshall Harvey Stone 1936 den Namen gab. Boolesche Ringe sind rechnerisch elegant, weil hier die schulbekannten Rechenregeln gelten. Die zur Entscheidbarkeit einer Formel notwendige Normalform entsteht hier einfach durch distributives Ausmultiplizieren und Streichen doppelter Faktoren und Summanden mit der Idempotenz und der Zusatzregel .
Beide Kalkülvarianten sind in Booles Originalkalkül implizit enthalten, da man mit seinen Definitionen beide Axiomensysteme ableiten kann.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.