Sachgebiete

Beschreibung:

Aus dem Englischen übertragen, kommentiert und mit einem Nachwort und Anhängen versehen von Tilman Bergt.. 195, (1) Seiten. Beige Originalbroschur. Gutes Exemplar. 21x12 cn

Bemerkung:

* Mit dieser Arbeit von Boole beginnt die Algebraische Logik, eine der zentralen Wurzeln heutiger mathematischer Logik. Die von Tilman Bergt vorgelegte zweisprachige Ausgabe, beruhend auf der Originalausgabe von 1847, wird durch ein umfangreiches Nachwort bereichert, welches einen Einblick in den historischen Zusammenhang von Werk und Autor geben, sowie einige Fragen bezüglich der mathematischen Präzisierung der darin vorgestellten Ideen aufwerfen. ----- 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.... 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. 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. (Quelle Wikipedia)