Ernst Schröder (1841 – 1902)

Der Mathematiker und Logiker Ernst Schröder systematisierte die Resultate der Booleschen Algebra.

Im Unterschied zu Boole, der seinen Kalkül maßgeblich auf der Identität von Klassen aufbaute, geht Schröder von der Inklusion der Klassen aus.

Schröder entwickelte außerdem die Relationenalgebra, er führte den Begriff der Normalform ein und entdeckte das Dualitätsprinzip in der Klassenlogik.

Außerdem löste Schröder einige Spezialfälle des Entscheidungsproblems durch Elimination der Quantoren.

Weblinks

• Maddux, Roger D.: The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations (PDF, engl.)
• Pratt, Vaughan: Origins of the Calculus of Binary Relations (PDF, engl.)