Hans Hermes - Hans Hermes

Hans Hermes
Hans Hermes.jpg
Asi 1970 v Oberwolfachu
narozený(1912-02-12)12. února 1912
Neunkirchen, Německá říše
Zemřel10. listopadu 2003(2003-11-10) (ve věku 91)
Vědecká kariéra
Práce
  • Eine Axiomatisierung der allgemeinen Mechanik (1938)
  • Analytische Mannigfaltigkeiten in Riemannschen Bereichen (1947)
Doktorský poradceAdolf Kratzer, Heinrich Scholz (1938), Ernst Peschl (1947)

Hans Hermes (Němec: [ˈHɛʁmɛs]; 12. února 1912 - 10. listopadu 2003) byl Němec matematik a logik, kteří významně přispěli k založení společnosti matematická logika.[1] Hermes se narodil v Neunkirchen, Německo.[2]

Osobní život

Od roku 1931 studoval Hermes na univerzitě matematiku, fyziku, chemii, biologii a filozofii Univerzita ve Freiburgu. V roce 1937 složil Státní zkouška v Münsteru a tam se účastnil v roce 1938, kdy byl fyzik Adolf Kratzer byl přítomen. Poté odešel na stipendium do Univerzita v Göttingenu a poté se stal asistentem v University of Bonn. V době druhá světová válka byl vojákem na Normanský ostrov z Trikot do roku 1943 a poté na Chemický fyzikální institut námořnictva v Kiel. Na konci války se přestěhoval do Toplitzsee, kde dostal za úkol pracovat na nových šifrovacích metodách. V roce 1947 se stal odborným asistentem na University of Bonn kde vzal jeho habilitace, volal jeho teze Analytické potrubí v Riemannovských oblastech. V roce 1949 se stal profesorem na University of Münster, kde se obrátil zpět k předmětu matematické logiky.[2]

Práce

Hans Hermes byl průkopníkem Turingův stroj jako ústřední pojem předvídatelnost. V roce 1937 se Hermes hlásil pod titulem Určité pojmy a předvídatelná čísla článek o Turingově stroji, který se stále těsně drží Turingových myšlenek, ale neobsahuje pojmy univerzálního stroje a rozhodovací problém.

V roce 1952 publikoval společně s Heinrich Scholz encyklopedie, která významně podpořila rozvoj matematické logiky v Německo.[3]

V roce 1953 převzal vedení vlivného Institutu pro matematickou logiku a základní výzkum na univerzitě v Münsteru od Heinricha Scholze.[4] Pod jeho vedením se institut stal významným centrem pro přilákání mladých výzkumných pracovníků, a to jak ve Spolkové republice, tak i v zahraničí. S Hermesem tam mimo jiné byli Wilhelm Ackermann a Gisbert Hasenjaeger. V roce 1966 přijal jmenování do nově zřízeného předsedy Matematické logiky a základů matematiky na VŠE Univerzita ve Freiburgu a začal budovat stejnojmenné oddělení na Matematickém ústavu, kde se v roce 1977 stal emeritním profesorem.

V roce 1954 Hermes produkoval neformální důkaz, že možnosti programovatelné vlastní čísla patří předvídatelné funkce , takže výpočetní stroje mají stejné mohutnost jako Turing machines re: Turingova úplnost.[2]

Hermesovy učebnice, stejně jako jeho vědecká práce, byly přesvědčeny Heinz-Dieter Ebbinghaus všímat si originality, přesnosti a intuitivní srozumitelnosti jeho učebnic.[2] Byl také vynikajícím akademickým učitelem, který věděl, jak sdělit obtížné problémy a složité důkazy a učinit je mimořádně srozumitelnými.[2]

Hermes byl také pracoval na kompilaci a publikaci prací z Gottlob Frege, již zahájil Scholz. V roce 1962 byl jedním ze zakládajících členů Německé asociace pro matematickou logiku a pro základní výzkum exaktních věd (DVMLG).[5] V roce 1950 působil u Arnolda Schmidta a Jürgena von Kempského, spoluzakladatele Archivu pro matematickou logiku a základy matematiky. V roce 1967 se stal členem Heidelbergské akademie věd.[6]

Publikace

  • Určité pojmy a předvídatelná čísla.„Semestrální zprávy o péči o vztah mezi univerzitou a školou z matematických seminářů, Münster 1937, 110–123.
  • Axiomatizace obecné mechaniky.„Výzkum logiky a základů exaktních věd, 3. vydání, Lipsko, 1938.
  • Stroje pro rozhodování matematických úloh., Matematické a fyzikální semestrální zprávy (Göttingen) (1952), 179–189.
  • Univerzálnost programově řízených výpočetních strojů.„Matematické a fyzikální semestrální zprávy (Göttingen) 4 (1954), 42–53.
  • Úvod do teorie mřížky. Berlin - Göttingen - Heidelberg 1955 2 Advanced edition 1967
  • Vyčíslitelnost - rozhodnutelnost - předvídatelnost. Úvod do teorie rekurzivních funkcí., Berlín - Göttingen - Heidelberg 1961 2. vydání 1971 (jako brožovaná brožura Heidelberg).
  • Úvod do matematické logiky - klasická predikátová logika. Teubner Verlag, Stuttgart 1963, 2. rozšířené vydání v roce 1969.
  • Termínová logika s operátorem volby., Berlín, 1965.
  • Rekurzivní funkce.„S Klausem Heidlerem a Friedrichem-K. Mahn, Mannheim - Vídeň - Curych 1977.
  • Postavy a hry., Heinz-Dieter Ebbinghaus, Friedrich Hirzebruch, Hermes, mimo jiné: čísla, Springer-Verlag, 3. vydání 1992
  • Rozhodovací problém a domino hry. inc Konrad Jacobs (ed.) Selecta Mathematica II, Springer, Heidelberg paperbacks, 1970
  • Základy matematiky., s Werner Markwald, Behnke, sladký, Fladt: Principles of Mathematics, sv. 1, 1958, Vandenhoeck a Ruprecht
  • Mathematical Logic, Encyclopedia of Mathematical Sciences., s Heinrich Scholz New Series, 1952
  • Theory of Associations, Encyclopedia of Mathematical Sciences., s Gottfriedem Köthe New Series, 1939

Reference

  1. ^ Hans Hermes, Heinrich Scholz Mathematische Logik Teubner, 1952
  2. ^ A b C d E "Past Professors ve společnosti Münster University" (PDF). wwmath.uni-muenster.de. Citováno 21. listopadu 2013.
  3. ^ "Matematická logika" (PDF). www.uni-goettingen.de. Citováno 7. prosince 2013.
  4. ^ "Ústav matematické logiky a základního výzkumu". University of Münster. Citováno 7. prosince 2013.
  5. ^ „Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften“. DVMLG. Citováno 7. prosince 2013.
  6. ^ Záznam na Heidelberg University knihovna

externí odkazy