Ernst Schröder

Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic (a term he may have invented), by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental Vorlesungen über die Algebra der Logik (Lectures on the algebra of logic), in three volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day.

Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Otto Hesse, Gustav Kirchhoff, and Franz Neumann. After teaching school for a few years, he moved to the Technische Hochschule Darmstadt in 1874. Two years later, he took up a chair in mathematics at the Polytechnische Schule in Karlsruhe, where he spent the remainder of his life. He never married.

Schröder's early work on formal algebra and logic was written in ignorance of the British logicians George Boole and Augustus De Morgan. Instead, his sources were texts by Ohm, Hankel, Hermann Grassmann, and Robert Grassmann (Peckhaus 1997: 233–296). In 1873, Schröder learned of Boole's and De Morgan's work on logic. To their work he subsequently added several important concepts due to Charles Sanders Peirce, including subsumption and quantification.

...
Wikipedia