- Hans Hermes
-
Hans Hermes im Mathematischen Forschungsinstitut Oberwolfach 1970
Hans Hermes (* 12. Februar 1912 in Neunkirchen (Saar); † 10. November 2003) war ein deutscher Mathematiker, der bedeutende Beiträge zu den Grundlagen der mathematischen Logik geleistet hat.
Inhaltsverzeichnis
Leben
Hermes studierte ab 1931 Mathematik, Physik, Chemie, Biologie und Philosophie an den Universitäten Freiburg im Breisgau, München und Münster. 1937 legte er das Staatsexamen in Münster ab und wurde dort 1938 bei dem Physiker Adolf Kratzer und dem Philosophen und Logiker Heinrich Scholz promoviert (Eine Axiomatisierung der Mechanik). Danach ging er mit einem Stipendium an die Universität Göttingen und wurde dann Assistent an der Universität Bonn. Im Zweiten Weltkrieg war er bis 1943 als Soldat auf der Kanalinsel Jersey und danach am Chemisch-Physikalischen Institut der Marine in Kiel und gegen Kriegsende am Toplitzsee. 1947 wurde er bei Ernst Peschl in Bonn habilitiert (Analytische Mannigfaltigkeiten in Riemannschen Bereichen) und war dann Diätendozent und ab 1949 Dozent an der Westfälischen Wilhelms-Universität Münster, wo er sich wieder der mathematischen Logik zuwandte.
1952 veröffentlichte er zusammen mit Heinrich Scholz einen enzyklopädischen Bericht, der die Entwicklung der Mathematischen Logik wesentlich beeinflusst und gefördert hat. 1954 lieferte er einen strengen Beweis dafür, dass die Möglichkeiten von Computern der von-Neumann-Architektur die berechenbaren Funktionen umfassen, dass also die konkreten Rechenmaschinen die gleiche Mächtigkeit besitzen wie zum Beispiel Turingmaschinen (siehe Turing-Vollständigkeit).
Im Jahre 1953 übernahm er von Heinrich Scholz die Leitung des einflussreichen Instituts für mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms-Universität in Münster. Unter seiner Leitung wurde das Münstersche Institut zu einem Zentrum der jungen Disziplin, das nicht nur auf die Bundesrepublik sondern auch auf das Ausland ausstrahlte. Mit Hermes waren dort unter anderem Wilhelm Ackermann und Gisbert Hasenjaeger. 1966 nahm er einen Ruf auf den neu eingerichteten Lehrstuhl für Mathematische Logik und Grundlagen der Mathematik an der Albert-Ludwigs-Universität Freiburg an und begann mit dem Aufbau einer gleichnamigen Abteilung am Mathematischen Institut. 1977 wurde er dort emeritiert.
Hermes' Lehrbücher wie auch seine wissenschaftlichen Arbeiten überzeugen laut Heinz-Dieter Ebbinghaus durch Originalität, Exaktheit und intuitive Klarheit. Er war überdies ein überragender akademischer Lehrer, der es verstand, auch schwierige Themen und komplizierte Beweise äußerst verständlich zu vermitteln.
Hermes war auch an der schon von Scholz begonnenen Herausgabe der Werke von Gottlob Frege beteiligt. Er war Mitherausgeber des Journal of Symbolic Logic. 1962 war er eines der Gründungsmitglieder der Deutschen Gesellschaft für Mathematische Logik und die Grundlagen der Exakten Wissenschaften (DVMLG). 1950 war er mit Arnold Schmidt und Jürgen von Kempski Mitgründer des Archiv für Mathematische Logik und Grundlagen der Mathematik.
Zu seinen Schülern zählen Heinz-Dieter Ebbinghaus, Werner Markwald, Arnold Oberschelp, Walter Oberschelp, Jörg Flum.
Schriften
- Die Universalität programmgesteuerter Rechenmaschinen. Mathematisch-Physikalische Semesterberichte (Göttingen) 4 (1954), 42-53.
- Einführung in die Verbandstheorie, Berlin - Göttingen - Heidelberg 1955, 2. erweiterte Aufl. 1967
- Aufzählbarkeit - Entscheidbarkeit - Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen, Berlin - Göttingen - Heidelberg 1961, 2. Aufl. 1971 (als Heidelberger Taschenbuch).
- Einführung in die mathematische Logik - Klassische Prädikatenlogik, Teubner Verlag, Stuttgart 1963, 2. erweiterte Aufl. 1969.
- Eine Termlogik mit Auswahloperator, Berlin, 1965.
- Mit Klaus Heidler und Friedrich-K. Mahn: Rekursive Funktionen, Mannheim - Wien - Zürich 1977.
- Zahlen und Spiele, in Heinz-Dieter Ebbinghaus, Friedrich Hirzebruch, Hermes u.a.: Zahlen, Springer Verlag, 3. Auflage 1992
- Entscheidungsproblem und Dominospiele, in Konrad Jacobs (Hrsg.) Selecta Mathematica II, Springer, Heidelberger Taschenbücher, 1970
- mit Werner Markwald: Grundlagen der Mathematik, in Behnke, Süss, Fladt: Grundzüge der Mathematik, Bd.1, 1958, Vandenhoeck und Ruprecht
- mit Heinrich Scholz Mathematische Logik, Enzyklopädie der Mathematischen Wissenschaften, Neue Folge, 1952
- mit Gottfried Köthe: Theorie der Verbände, Enzyklopädie der Mathematischen Wissenschaften, Neue Folge, 1939
Literatur
- Friedrich Ludwig Bauer: Wer erfand den von-Neumann-Rechner?, Informatik-Spektrum 21 (1998) 2, 84-88
- Heinz-Dieter Ebbinghaus: Hans Hermes zum Gedenken in: Freiburger Universitaetsblaetter, Heft 162 (2003), Seiten 219-221.
- Walter Oberschelp: Hans Hermes, Jahresbericht DMV, Bd. 112, 2007, S.99-109
Weblinks
- Literatur von und über Hans Hermes im Katalog der Deutschen Nationalbibliothek
Wikimedia Foundation.
