Ernst Schröder
aus Wikipedia, der freien Enzyklopädie
Ernst Friedrich Wilhelm Karl Schröder (* 25. November 1841 in Mannheim; † 16. Juni 1902 in Karlsruhe) war ein deutscher Mathematiker und Logiker.
Inhaltsverzeichnis |
[Bearbeiten] Leben
Nach dem Studium der Mathematik und Physik in Heidelberg und Königsberg habilitierte Schröder in Zürich 1865. Nach einem Schuldienst wurde er 1874 Professor für Mathematik an der TH Darmstadt, anschließend 1876 in Karlsruhe an der damaligen TH.
Seine Hauptarbeitsgebiete waren die Grundlagen der Mathematik, Funktionentheorie und kombinatorische Analysis. Dass die Logik eine selbständige Disziplin wurde, ist seinen Arbeiten zur theoretischen Algebra und symbolischen Logik zu verdanken.
Mit seinen Arbeiten zur Algebra der Logik errang der internationale Anerkennung. So knüpfte Norbert Wiener in seiner Dissertation „A comparision between the treatment of the Algebra of relatives by Schröder and that by Whitehead and Russell“ an die Arbeiten Schröders an.
Er systematisierte die Resultate von George Boole. Im Unterschied zu Boole, der seinen Kalkül maßgeblich auf die Identität von Klassen aufbaute, ging er von der Inklusion von Klassen aus.
Er entwickelte ferner die Relationenalgebra (siehe Relationentheorie), führte den Begriff „Normalform“ ein und entdeckte das Dualitätsprinzip in der Klassenlogik (siehe Aussagenkalkül, Boolesche Algebra). Schröder löste Spezialfälle des Entscheidungsproblems durch Elimination der Quantoren.
Für Alfred Tarski waren seine Arbeiten die Grundlagen für eine moderne Theorie der Algebra und die Geschichte der Logik.
[Bearbeiten] Schriften
- Lehrbuch der Arithmetik und Algebra, 1873
- Über die formalen Elemente der absoluten Algebra, 31 S., Stuttgart, 1874
- Der Operationskreis des Logikkalküls, 1877
- Vorlesungen über die Algebra der Logik, 3 Bände, 1890–1895
- Über das Zeichen, Karlsruhe, 1890
- Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze – Abhandlung in der Reihe Kaiserliche Leopoldino-Carolinische Deutsche Akademie der Naturforscher Bd. 71, S. 301–362, Halle, 1898
- Abriß der Algebra der Logik, 2 Teile, Leipzig, 1909/1910
[Bearbeiten] Literatur
- I. Grattan-Guinness: Wiener on the logics of Russell and Schröder. An account of his doctoral thesis, and of his discussion of it with Russell, in: Annals of Science, Vol 32, 1975, Nr. 2, S. 102–132
[Bearbeiten] Weblinks
| Personendaten | |
|---|---|
| NAME | Schröder, Ernst Friedrich Wilhelm Karl |
| KURZBESCHREIBUNG | deutscher Mathematiker und Logiker |
| GEBURTSDATUM | 25. November 1841 |
| GEBURTSORT | Mannheim |
| STERBEDATUM | 16. Juni 1902 |
| STERBEORT | Karlsruhe |
