Hansa Hermesa

Hans Hermes
Hans Hermes.jpg
Około 1970 roku w Oberwolfach
Urodzić się ( 12.02.1912 ) 12 lutego 1912
Neunkirchen , Cesarstwo Niemieckie
Zmarł 10 listopada 2003 (10.11.2003) (w wieku 91)
Kariera naukowa
Tezy
  •   Eine Axiomatisierung der allgemeinen Mechanik (1938)
  •   Analytische Mannigfaltigkeiten w Riemannschen Bereichen (1947)
Doradca doktorski Adolfa Kratzera , Heinricha Scholza (1938), Ernsta Peschla (1947)

Hans Hermes ( niemiecki: [hɛʁmɛs] ; 12 lutego 1912 - 10 listopada 2003) był niemieckim matematykiem i logikiem , który wniósł znaczący wkład w podstawy logiki matematycznej . Hermes urodził się w Neunkirchen w Niemczech .

Życie osobiste

Od 1931 roku Hermes studiował matematykę, fizykę, chemię, biologię i filozofię na Uniwersytecie we Freiburgu . W 1937 r. zdał egzamin państwowy w Münster i uczęszczał tam w 1938 r. w obecności fizyka Adolfa Kratzera . Następnie wyjechał na stypendium na Uniwersytet w Getyndze , a następnie został asystentem na Uniwersytecie w Bonn . Podczas II wojny światowej był żołnierzem na Wyspie Normandzkiej w Jersey do 1943 r., a następnie do Instytutu Fizyki Chemicznej Marynarki Wojennej w Kilonii . Pod koniec wojny przeniósł się do Toplitzsee , gdzie otrzymał zadanie pracy nad nowymi metodami szyfrowania. W 1947 został wykładowcą na Uniwersytecie w Bonn, gdzie obronił habilitację na podstawie rozprawy pt. Rozmaitości analityczne w obszarach riemannowskich . W 1949 został profesorem na Uniwersytecie w Münster , gdzie powrócił do przedmiotu logiki matematycznej.

Praca

Hans Hermes był pionierem maszyny Turinga jako centralnej koncepcji przewidywalności . W 1937 roku Hermes zgłosił pod tytułem Warunki określone i przewidywalne liczby artykuł o maszynie Turinga, który nadal ściśle przylega do idei Turinga, ale nie zawiera koncepcji maszyny uniwersalnej i problemu decyzyjnego .

W 1952 roku wydał wraz z Heinrichem Scholzem encyklopedię, która w znaczący sposób przyczyniła się do rozwoju logiki matematycznej w Niemczech .

W 1953 roku przejął od Heinricha Scholza kierownictwo wpływowego Instytutu Logiki Matematycznej i Badań Podstawowych na Uniwersytecie w Münster. Pod jego kierownictwem Instytut stał się znanym ośrodkiem przyciągającym młodych naukowców, zarówno w Republice Federalnej, jak i za granicą. Z Hermesem byli m.in. Wilhelm Ackermann i Gisbert Hasenjaeger . W 1966 przyjął nominację do nowo utworzonej Katedry Logiki Matematycznej i Podstaw Matematyki na Uniwersytecie we Freiburgu i zaczął budować tytułowy wydział w Instytucie Matematycznym, stając się tam profesorem emerytowanym w 1977 roku.

W 1954 roku Hermes przedstawił nieformalny dowód , że możliwości programowalnych wartości własnych obejmują przewidywalne funkcje , więc maszyny liczące mają taką samą liczność jak maszyny Turinga w odniesieniu do: kompletności Turinga .

Podręcznik Hermesa, a także jego praca naukowa skłoniły Heinza-Dietera Ebbinghausa do zwrócenia uwagi na oryginalność, dokładność i intuicyjną przejrzystość jego podręczników. Był także wybitnym nauczycielem akademickim, który potrafił przekazać trudne zagadnienia i skomplikowane dowody i uczynić je niezwykle zrozumiałymi.

Hermes pracował również nad kompilacją i publikacją artykułów Gottloba Frege'a , rozpoczętych już przez Scholza. W 1962 był jednym z członków-założycieli Niemieckiego Stowarzyszenia Logiki Matematycznej i Badań Podstawowych Nauk Ścisłych (DVMLG). W 1950 był z Arnoldem Schmidtem i Jürgenem von Kempskim, współzałożycielami Archiwum Logiki Matematycznej i Podstaw Matematyki. W 1967 został członkiem Akademii Nauk w Heidelbergu.

Publikacje

  • Określone terminy i przewidywalne liczby. , Sprawozdania semestralne za opiekę nad związkiem uczelni ze szkołą z seminariów matematycznych, Münster 1937, 110–123.
  • Aksjomatyzacja mechaniki ogólnej. , Badania nad logiką i podstawami nauk ścisłych, nr 3, Lipsk 1938.
  • Maszyny do rozwiązywania problemów matematycznych. , Sprawozdania semestralne z matematyki i fizyki (Göttingen) (1952), 179–189.
  • Uniwersalność sterowanych programowo maszyn obliczeniowych. , Sprawozdania semestralne z matematyki i fizyki (Göttingen) 4 (1954), 42–53.
  • Wprowadzenie do teorii sieci. Berlin – Getynga – Heidelberg 1955 2 Wydanie rozszerzone 1967
  • Przeliczalność – rozstrzygalność – przewidywalność. Wprowadzenie do teorii funkcji rekurencyjnych. , Berlin – Göttingen – Heidelberg 1961 2 wydanie 1971 (jako Heidelberg Paperback).
  • Wprowadzenie do logiki matematycznej – Klasyczna logika predykatów. Teubner Verlag, Stuttgart 1963, 2. wydanie rozszerzone w 1969 r.
  • Logika term z operatorem wyboru. , Berlin, 1965.
  • Funkcje rekurencyjne. , Z Klausem Heidlerem i Friedrichem-K. Mahn, Mannheim – Wiedeń – Zurych 1977.
  • Figurki i gry. , Heinz-Dieter Ebbinghaus , Friedrich Hirzebruch , Hermes m.in.: numery, Springer-Verlag , wydanie 3 1992
  • Problem decyzyjny i gry w domino. inc Konrad Jacobs (red.) Selecta Mathematica II, Springer, Heidelberg miękka, 1970
  • Podstawy matematyki. , z Wernerem Markwaldem, w Behnke, sweet, Fladt: Principles of Mathematics, Vol.1, 1958, Vandenhoeck and Ruprecht
  • Logika matematyczna, Encyklopedia nauk matematycznych. , z nową serią Heinricha Scholza, 1952
  • Teoria skojarzeń, Encyklopedia nauk matematycznych. , z nową serią Gottfrieda Köthe, 1939

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Hans_Hermes&oldid=1133119315 ”