Faq-O-Matic für de.comm.infosystems.www.authoring.misc : Trash : Internet Glossar © Peter Klau : B :
Boole, George
Eben diese Logik wurde von George Boole, einem englischen Mathematiker und Logiker erfunden. Im Jahre 1854 veröffentlichte Boole eine Schrift mit dem Titel: "An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities" (auch Autoren des 20. Jahrunderts könen das selten kürzer fassen). Dieses Werk war das Ergebnis langer Forschungen und enthielt das Konzept, daß später unter dem Namen Boolsche Algebra bekannt wurde. Dort wies Boole nach, daß Logik, und zwar die Art Logik die Aristoteles vor 2000 Jahren beschrieben hatte, durch algebraische Gleichungen berechnet werden konnte. Damit gehörte die Logik nicht länger in den Bereich der Metaphysik sondern zur Mathematik.
Booles Zweig der Mathematik wurde als symbolische Logik bekannt, in der logische Prozesse durch algebraische Symbole ausgedrückt wurden. Das waren die Ursprünge, die dazu geführt haben, daß Sie später bei einer Suchmaschine zu Beispiel nach "cow and flatulence" suchen können.
Bookmark