Hans Hermes

Das Staatsexamen in Münster im Jahr 1937 markierte den formellen akademischen Beginn von Hans Hermes, einem deutschen Mathematiker, der seine Karriere den Grundlagen der mathematischen Logik widmete. Geboren 1912 in Neunkirchen, navigierte er durch die wechselnden politischen und institutionellen Landschaften des Deutschlands des 20. Jahrhunderts, um eine zentrale Figur in der Erforschung der Berechenbarkeit und rekursiver Funktionen zu werden.

Frühe akademische Entwicklung und Kriegsdienst

Ab 1931 studierte Hermes Mathematik, Physik, Chemie, Biologie und Philosophie an der Universität Freiburg. Nach seinem Examen 1937 in Münster erhielt er ein Stipendium an der Universität Göttingen, bevor er als Assistent an der Universität Bonn tätig war. Während des Zweiten Weltkriegs wurde sein Werdegang durch den Militärdienst auf der Insel Jersey bis 1943 unterbrochen. Anschließend arbeitete er am Institut für chemische Physik der Marine in Kiel und nahm später an kryptographischen Forschungen am Toplitzsee teil.

Fortschritt der mathematischen Logik

1947 wurde Hermes Dozent an der Universität Bonn und schloss seine Habilitation mit einer Arbeit über analytische Mannigfaltigkeiten in Riemannschen Gebieten ab. 1949 wurde er zum Professor an der Universität Münster ernannt. Dort übernahm er 1953 das Institut für mathematische Logik und Grundlagenforschung von Heinrich Scholz. Unter seiner Leitung wurde das Institut zu einem Ziel für Forscher wie Wilhelm Ackermann und Gisbert Hasenjaeger. Er prägte das Fachgebiet weiter, indem er 1950 gemeinsam mit Arnold Schmidt und Jürgen von Kempski das Archiv für mathematische Logik und Grundlagenforschung mitbegründete und 1962 bei der Gründung der Deutschen Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften half.

Forschung zu Berechenbarkeit und Turing-Maschinen

Hermes leistete bedeutende Arbeit bezüglich der Turing-Maschine als grundlegendes Konzept für Vorhersehbarkeit. Sein Artikel von 1937, Definite Begriffe und berechenbare Zahlen, untersuchte Turings Ideen, während seine Publikation von 1954 über die Universalität programmgesteuerter Rechenmaschinen zeigte, dass solche Maschinen dieselbe Mächtigkeit wie Turing-Maschinen besitzen. 1966 nahm er einen Ruf auf den neu eingerichteten Lehrstuhl für mathematische Logik und Grundlagen der Mathematik an der Universität Freiburg an, wo er ein spezialisiertes Institut gründete. Er blieb dort bis zu seiner Emeritierung im Jahr 1977. Über seine Forschung hinaus arbeitete er an der posthumen Zusammenstellung und Veröffentlichung der Schriften von Gottlob Frege.

Fakten auf einen Blick

- Geboren: 1912, Neunkirchen, Deutschland - Gestorben: 2003, Freiburg im Breisgau, Deutschland - Ausbildung: Universität Münster, Universität Göttingen - Akademische Positionen: Universität Münster, Universität Bonn, Universität Freiburg - Mitglied: Heidelberger Akademie der Wissenschaften - Hauptfachgebiet: Mathematische Logik - Bedeutende Beiträge: Mitbegründer des Archivs für mathematische Logik und Grundlagenforschung

Fragen von Lesern

### Welche Bedeutung hatte das Institut in Münster?

Unter der Leitung von Hermes ab 1953 wurde es zu einem anerkannten internationalen Zentrum für mathematische Logik und Grundlagenforschung.

### Hat Hans Hermes zur Erforschung von Turing-Maschinen beigetragen?

Ja, er veröffentlichte 1937 frühe Arbeiten zu Turings Konzepten und bewies später, dass programmierbare Maschinen und Turing-Maschinen identische berechenbare Reichweiten besitzen.