Ernst Schröder(redirected from Ernst Schroder)
Born Nov. 25, 1841, in Mannheim; died June 16, 1902, in Karlsruhe. German mathematician and logician.
In 1876, Schröder became a professor at the Technische Hochschule of Karlsruhe. Schröder gave a systematic exposition of mathematical logic, or more accurately, of the algebra of logic. In addition to the term “prepositional calculus,” he introduced the duality principle and a number of other mathematical laws of logic. Schröder also made contributions to the theory of algorithms.
WORKSDer Operationskreis des Logikkalküls. Leipzig, 1877.
Vorlesungen über die Algebra der Logik, vols. 1–2. Leipzig, 1890–1905.
Abriss der Algebra der Logik, parts 1–2. Leipzig, 1909–10.