Hans Hermes

Hans Hermes
Ca 1970 i Oberwolfach
Född	( 1912-02-12 ) 12 februari 1912 Neunkirchen , tyska riket
dog	10 november 2003 (2003-11-10) (91 år)
Vetenskaplig karriär
Avhandlingar	Eine Axiomatisierung der allgemeinen Mechanik (1938)   Analytische Mannigfaltigkeiten i Riemannschen Bereichen (1947)
Doktorand rådgivare	Adolf Kratzer , Heinrich Scholz (1938), Ernst Peschl (1947)

Hans Hermes ( tyska: [ˈhɛʁmɛs] ; 12 februari 1912 – 10 november 2003) var en tysk matematiker och logiker , som gjorde betydande bidrag till grunden för matematisk logik . Hermes föddes i Neunkirchen , Tyskland .

Privatliv

Från 1931 studerade Hermes matematik, fysik, kemi, biologi och filosofi vid universitetet i Freiburg . 1937 klarade han statsexamen i Münster och gick där 1938 när fysikern Adolf Kratzer var närvarande. Därefter gick han på ett stipendium till universitetet i Göttingen och blev sedan assistent vid universitetet i Bonn . Under andra världskriget var han soldat på kanalön Jersey fram till 1943 och sedan vidare till marinens kemiska fysikinstitut i Kiel . I slutet av kriget flyttade han till Toplitzsee , där han fick i uppdrag att arbeta med nya krypteringsmetoder. 1947 blev han lektor vid universitetet i Bonn där han tog sin habilitering , hans avhandling kallade Analytical manifolds in Riemannian areas . 1949 blev han professor vid universitetet i Münster , där han vände sig tillbaka till ämnet matematisk logik.

Arbete

Hans Hermes var en pionjär inom Turing-maskinen som det centrala begreppet förutsägbarhet . 1937 rapporterade Hermes under rubriken Definita termer och förutsägbara siffror en artikel om Turing-maskinen, som fortfarande ansluter sig nära till Turing-idéerna, men som inte innehåller begreppen om den universella maskinen och beslutsproblemet .

1952 publicerade han tillsammans med Heinrich Scholz, ett uppslagsverk, som avsevärt har främjat utvecklingen av matematisk logik i Tyskland .

1953 tog han över ledningen av det inflytelserika Institutet för matematisk logik och grundforskning vid universitetet i Münster, från Heinrich Scholz. Under hans ledning blev institutet ett uppmärksammat centrum för att attrahera unga forskare, både inom Förbundsrepubliken men även utomlands. Med Hermes där fanns bland andra Wilhelm Ackermann och Gisbert Hasenjaeger . 1966 accepterade han en utnämning till den nyinrättade ordföranden för matematisk logik och matematikens grunder vid universitetet i Freiburg och började bygga upp en avdelning med samma namn vid det matematiska institutet och blev professor emeritus där 1977.

1954 producerade Hermes ett informellt bevis på att möjligheterna med programmerbara egenvärden inkluderar de förutsägbara funktionerna , så beräkningsmaskinerna har samma kardinalitet som Turing-maskiner re: Turing-fullständighet .

Hermes lärobok, såväl som hans vetenskapliga arbete, övertalade Heinz-Dieter Ebbinghaus att notera originaliteten, noggrannheten och intuitiva klarheten i hans läroböcker. Han var också en enastående akademisk lärare som visste hur man förmedlar svåra frågor och komplicerade bevis och gör dem extremt begripliga.

Hermes arbetade också med sammanställningen och publiceringen av Gottlob Freges tidningar , som redan påbörjats av Scholz. 1962 var han en av grundarna av den tyska föreningen för matematisk logik och för grundläggande forskning inom de exakta vetenskaperna (DVMLG). 1950 var han tillsammans med Arnold Schmidt och Jürgen von Kempski, medgrundare av Archive for Mathematical Logic and Foundations of Mathematics. 1967 blev han medlem av Heidelbergs vetenskapsakademi.

Publikationer

• Bestämda termer och förutsägbara siffror. , Terminsrapporter för vården av förhållandet mellan universitet och skola från de matematiska seminarierna, Münster 1937, 110–123.
• En axiomatisering av allmän mekanik. , Forskning om logik och grunderna för de exakta vetenskaperna, nummer 3, Leipzig, 1938.
• Maskiner för beslut av matematiska problem. , Mathematics and Physical termin reports (Göttingen) (1952), 179–189.
• Universaliteten hos programstyrda datormaskiner. , Mathematics and Physical termin reports (Göttingen) 4 (1954), 42–53.
• Introduktion till gitterteori. Berlin – Göttingen – Heidelberg 1955 2 Advanced edition 1967
• Enumerability – Beslutbarhet – förutsägbarhet. Introduktion till teorin om rekursiva funktioner. , Berlin – Göttingen – Heidelberg 1961 2 Edition 1971 (som Heidelberg Paperback).
• Introduktion till matematisk logik – Klassisk predikatlogik. Teubner Verlag, Stuttgart 1963, 2:a utökade upplagan 1969.
• En termlogik med valoperatör. , Berlin, 1965.
• Rekursiva funktioner. , Med Klaus Heidler och Friedrich-K. Mahn, Mannheim – Wien – Zürich 1977.
• Figurer och spel. , Heinz-Dieter Ebbinghaus , Friedrich Hirzebruch , Hermes, bland annat: siffror, Springer-Verlag , 3:e upplagan 1992
• Beslutsproblem och dominospel. inc Konrad Jacobs (red.) Selecta Mathematica II, Springer, Heidelberg pocketböcker, 1970
• Matematikens grunder. , med Werner Markwald, i Behnke, sweet, Fladt: Principles of Mathematics, Vol.1, 1958, Vandenhoeck och Ruprecht
• Matematisk logik, Encyclopedia of Mathematical Sciences. , med Heinrich Scholz New Series, 1952
• Associationsteori, Encyclopedia of Mathematical Sciences. , med Gottfried Köthe New Series, 1939

externa länkar

• Hermes, In memoriam WILHELM ACKERMANN 1896–1962 (pdf 945 KB)
• Hans Hermes på Mathematics Genealogy Project