Professor Hans Hermes (1912-2003) war ein deutscher Mathematiker, der bedeutende Beiträge zu den Grundlagen der mathematischen Logik geleistet hat.
So veröffentliche er z.B. einen der ersten Beweise 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 z.B. Turingmaschinen. Im Jahre 1953 übernahm er von Heinrich Scholz die Leitung des einflussreichen "Instituts für mathematische Logik und Grundlagenforschung" an der Westfälischen Wilhelms-Universität. 1966 wurde er Professor für mathematische Logik an der Albert-Ludwigs-Universität Freiburg.
Literatur
- Hermes, Hans Die Universalität programmgesteuerter Rechenmaschinen. Mathematisch-Physikalische Semesterberichte (Göttingen) 4 (1954), 42-53.
| Personendaten | |
|---|---|
| NAME | Hermes, Hans |
| KURZBESCHREIBUNG | deutscher Mathematiker |
| GEBURTSDATUM | 1912 |
| STERBEDATUM | 2003 |