Das Logik-Kalkül von Boole ist ein Formalismus, der von George Boole entwickelt wurde, um die Logik in algebraischer Form darzustellen. Mit diesem Formalismus können Aussagenlogik und Wahrscheinlichkeitstheorie mathematisch analysiert werden. Boole'sche Algebra (auch als Boolean Algebra bezeichnet) ist die Grundlage für viele Bereiche der modernen Mathematik und Computerwissenschaften, insbesondere im Bereich der Informatik und der Schaltkreistechnik. Das Boole'sche Kalkül ermöglicht es, komplexe logische Verknüpfungen zu analysieren und zu optimieren, was für die Entwicklung von Schaltungen und Algorithmen von großer Bedeutung ist.
George Boole Bücher






The Mathematical Analysis of Logic
Being an Essay Towards a Calculus of Deductive Reasoning
- 92 Seiten
- 4 Lesestunden
George Boole presents a compelling argument for aligning logic with mathematics rather than philosophy, emphasizing the mathematical foundations of logical reasoning. Through his analysis, he explores the interplay between these disciplines, advocating for a systematic approach to logic that enhances its rigor and applicability. Boole's work lays the groundwork for future developments in mathematical logic, showcasing the importance of mathematical methods in understanding logical principles.
A Treatise on Differential Equations
- 518 Seiten
- 19 Lesestunden
This 1859 work significantly shaped the field of differential equations and numerical analysis, leaving a lasting impact on contemporary approaches. Its insights and methodologies continue to inform modern mathematical practices, showcasing the enduring relevance of its concepts in today's academic and practical applications.
George Boole (1815-1864) was a British mathematician and philosopher who is known for Boolean algebra, which is the basis of all modern computer arithmetic. For Boole, logic was principally a mathematical discipline rather than a philosophical one. He published a number of treatises on mathematical subjects. One of his most influential works is “Treatise on the Calculus of Finite Differences” (1860). Boole was teaching at an elementary school at the age of sixteen. He continued teaching at his own school while learning mathematics. In 1849, he became the first Professor of Mathematics at “Queen's College in Ireland”(University of College Cork).
An Investigation of the Laws of Thought
- 440 Seiten
- 16 Lesestunden
First published in 1854, George Boole's classic work introduces a system for representing logic in algebraic form. It covers symbolic reasoning, laws of logic, and probabilities, laying the groundwork for modern electronics. Essential reading for students of mathematics and the history of science.
Treatise
- 276 Seiten
- 10 Lesestunden
A seminal work in the field of mathematics, written by George Boole, which laid the foundation for modern symbolic logic.
Collected Logical Works; Volume 2
- 470 Seiten
- 17 Lesestunden
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.
A Treatise On Differential Equations; Volume 1
- 518 Seiten
- 19 Lesestunden
Recognized for its cultural significance, this work contributes to the foundational knowledge of civilization. Scholars have highlighted its importance, emphasizing its role in understanding historical and societal contexts. The content is deemed essential for those interested in the evolution of human thought and cultural development.