Loading AI tools
deutscher Mathematiker und Logiker Aus Wikipedia, der freien Enzyklopädie
Ernst Schröder (* 25. November 1841 in Mannheim; † 16. Juni 1902 in Karlsruhe; vollständiger Name Ernst Friedrich Wilhelm Karl Schröder) war ein deutscher Mathematiker und Logiker.
Nach dem Studium der Mathematik und Physik an der Ruprecht-Karls-Universität Heidelberg und Albertus-Universität Königsberg habilitierte Schröder an der Universität Zürich 1865. Nach einem Schuldienst wurde er 1874 Professor für Mathematik an der TH Darmstadt, anschließend 1876 an der TH Karlsruhe, wo er 1890/91 auch als Direktor fungierte.
Seine Hauptarbeitsgebiete waren die Grundlagen der Mathematik, Funktionentheorie und kombinatorische Analysis. In seiner Arbeit Ueber iterirte Functionen aus dem Jahre 1871 untersuchte er die heute nach ihm benannte Schrödersche Funktionalgleichung, die in der Komplexen Dynamik eine wichtige Rolle spielt. 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 er internationale Anerkennung. Er optimierte die Logik von George Boole und entwickelte 1877 das erste vollständige Axiomensystem der booleschen Algebra. In seiner dreibändigen Algebra der Logik von 1890–1895 ging er im Unterschied zu Boole, der seinen Kalkül auf die Identität von Klassen aufbaute, von der Inklusion von Klassen aus. Schröder entwickelte ferner die Relationale Algebra (siehe Relationentheorie), führte den Begriff Normalform ein und entdeckte das Dualitätsprinzip in der Klassenlogik (siehe Boolesche Algebra). Ferner löste er Spezialfälle des Entscheidungsproblems durch Elimination der Quantoren.
Giuseppe Peano baute auf Schröders Logik auf; ebenso knüpfte Norbert Wiener in seiner Dissertation A comparison between the treatment of the Algebra of relatives by Schröder and that by Whitehead and Russell an die Arbeiten Schröders an. Für Alfred Tarski waren seine Arbeiten die Grundlagen für eine moderne Theorie der Algebra und die Geschichte der Logik.
Er ist einer der Namensgeber für den Satz von Cantor-Bernstein-Schröder. Auch die Schröder-Zahlen sind nach ihm benannt. Ernst Schröder hat mit seinem dreibändigen Hauptwerk zur Algebra der Logik eine der Grundlagen für die Begriffliche Wissensverarbeitung geschaffen. Daher trägt auch das Ernst Schröder Zentrum für Begriffliche Wissensverarbeitung seinen Namen. Es fördert Ausbildung, Forschung und Entwicklung auf dem Gebiet der Begrifflichen Wissensverarbeitung sowie deren Anwendung.
| Personendaten | |
|---|---|
| NAME | Schröder, Ernst |
| ALTERNATIVNAMEN | Schröder, Ernst Friedrich Wilhelm Karl (vollständiger Name) |
| KURZBESCHREIBUNG | deutscher Mathematiker und Logiker |
| GEBURTSDATUM | 25. November 1841 |
| GEBURTSORT | Mannheim |
| STERBEDATUM | 16. Juni 1902 |
| STERBEORT | Karlsruhe |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
