ProofWiki:Mathematicians/Ernst Schröder
From ProofWiki
Ernst Schröder (or Schroeder) was a German mathematician active mainly in the field of algebraic logic.
He is best known for his contribution to what is now known as the Cantor-Bernstein-Schroeder Theorem.
Contents |
Nationality
German
History
- Born: 25 November 1841, Mannheim, Grand Duchy of Baden (now Germany)
- Died: 16 June 1902, Karlsruhe, Grand Duchy of Baden (now Germany)
Theorems and Definitions
Books and Papers
- 1877: Der Operationskreis des Logikkalküls
- 1890 - 1905: Vorlesungen über die Algebra der Logik, 3 vols
- 1898: Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze