Hans Hermes

Hans Hermes Oberwolfachin matemaattisessa tutkimuslaitoksessa vuonna 1970

Hans Hermes (syntynyt Helmikuu 12, 1912 in Neunkirchen (Saar) ; † Marraskuu 10, 2003 ) oli saksalainen matemaatikko , joka teki merkittävän panoksen perustan matemaattisen logiikan .

Elämä

Vuodesta 1931 Hermes opiskeli matematiikkaa, fysiikkaa, kemiaa, biologiaa ja filosofiaa Freiburg im Breisgaun, Münchenin ja Münsterin yliopistoissa. Vuonna 1937 hän suoritti valtiotutkinnon Münsterissä ja sai tohtorin tutkinnon siellä vuonna 1938 fyysikko Adolf Kratzerin sekä filosofin ja logiikan Heinrich Scholzin johdolla ( Mekaniikan aksiomatisointi ). Sitten hän meni stipendillä Göttingenin yliopistoon ja tuli sitten Bonnin yliopiston assistentiksi . Toisen maailmansodan aikana hän oli sotilas Kanaalisaarella Jerseyssä , jota saksalainen Wehrmacht oli miehittänyt vuodesta 1940, vuoteen 1943 asti, ja sitten Kielin laivaston kemiallisessa ja fysikaalisessa instituutissa ja sodan lopussa Toplitz-järvellä . Vuonna 1947 hän sai kuntoutuksensa Ernst Peschliltä Bonnista ( analyyttiset jakotukit Riemannin alueelta ) ja toimi sitten ruokavalion luennoitsijana ja vuodesta 1949 luennoitsijana Münsterin Westphalian Wilhelmsin yliopistossa , jossa hän palasi matemaattiseen logiikkaan.

Hans Hermes oli Turing-koneen edelläkävijä ennustettavuuden keskeisenä ajatuksena. Jo 1937, Hermes raportoitu artikkelin Turingin kone otsikolla täsmällisiä tekijöitä ja laskettavissa numerot , jotka yhä tiiviisti kiinni Turingin, mutta ei sisällä Yleiskonepöytä ja viittaus päätöksen ongelma . Vuonna 1954 epävirallinen todiste sitten ilmi, että mahdollisuudet ohjelmoitavan digitaalisen tietokoneen ovat laskettavissa toimintoja , että betoni laskukoneet on sama voima kuin Turingin koneilla (ks Turing täydellisyys ).

Vuonna 1952 hän julkaisi yhdessä Heinrich Scholzin kanssa tietosanakirjan, joka vaikutti merkittävästi matemaattisen logiikan kehitykseen ja edisti sitä.

Vuonna 1953 hän otti johtavan vaikutusvaltaisen matemaattisen logiikan ja perustutkimuksen instituutin Münchenissä Westphalian Wilhelmsin yliopistossa Heinrich Scholzilta . Hänen johdollaan Münster-instituutista tuli nuoren kurinalaisuuden keskus, jolla oli vaikutuksia paitsi liittotasavaltaan myös ulkomailla. Siellä olivat muun muassa Wilhelm Ackermann ja Gisbert Hasenjaeger Hermesin kanssa . Vuonna 1966 hän otti vastaan kutsun vastikään perustettu puhetta matemaattisen logiikan ja perusteet matematiikan klo Albert Ludwig Freiburgin yliopisto ja alkoi perustaa osasto samannimisen matemaattinen Institute. Vuonna 1977 hän jäi eläkkeelle siellä.

Vuonna 1967 Hermes valittiin Heidelbergin tiedeakatemiaan .

Heinz-Dieter Ebbinghausin mukaan Hermesin oppikirjat sekä hänen tieteellinen työnsä ovat vakuuttavia omaperäisyydellään, tarkkuudella ja intuitiivisella selkeydellä. Hän oli myös erinomainen akateeminen opettaja, joka osasi välittää vaikeita aiheita ja monimutkaisia ​​todisteita erittäin ymmärrettävästi.

Hermes osallistui myös Gottlob Fregen teosten julkaisemiseen, jonka Scholz oli jo aloittanut . Hän oli Journal of Symbolic Logic -lehden toimittaja. Vuonna 1962 hän oli yksi Saksan matemaattisen logiikan ja tarkan tieteen perustutkimuksen (DVMLG) perustajajäsenistä . Vuonna 1950 hän perusti Arkisto matemaattiseen logiikkaan ja matematiikan perusteisiin Arnold Schmidtin ja Jürgen von Kempskin kanssa .

Hänen oppilaansa ovat Heinz-Dieter Ebbinghaus , Werner Markwald , Arnold Oberschelp , Walter Oberschelp , Jörg Flum .

Fontit

• Tarkat termit ja laskettavat numerot . Lukukausi kertoo yliopiston ja koulun välisen yhteyden ylläpitämisestä matemaattisista seminaareista, Münster 1937, 110–123.
• Yleisen mekaniikan aksiomatisointi . Tutkimus logiikasta ja täsmällisten tieteiden perusteista, osa 3, Leipzig 1938.
• Koneet matemaattisten tehtävien ratkaisemiseksi . Matemaattis-fyysinen lukukertomus (Göttingen) (1952), 179–189.
• Ohjelmaohjattujen laskukoneiden universaalisuus . Matemaattis-fyysinen lukukertomus (Göttingen) 4 (1954), 42–53.
• Johdatus assosiaatioteoriaan , Berliini - Göttingen - Heidelberg 1955, 2. laajennettu painos 1967
• Laskettavuus - päätettävyys - ennustettavuus. Johdanto rekursiivisten toimintojen teoriaan , Berliini - Göttingen - Heidelberg 1961, 2. painos 1971 (Heidelbergin nidottuina).
• Johdatus matemaattiseen logiikkaan - Klassinen predikaattilogiikka , Teubner Verlag, Stuttgart 1963, 2. laajennettu painos 1969.
• Termilogiikka valintaoperaattorin kanssa , Berliini, 1965.
• Klaus Heidlerin ja Friedrich-Karl Mahnin kanssa: Rekursiiviset toiminnot , Mannheim - Wien - Zürich 1977.
• Numerot ja pelit julkaisussa Heinz-Dieter Ebbinghaus , Friedrich Hirzebruch , Hermes a. a.: Numerot , Springer Verlag, 3. painos 1992
• Päätösongelmat ja domino-pelit , julkaisussa Konrad Jacobs (Toim.) Selecta Mathematica II , Springer, Heidelberger Taschenbücher, 1970
• yhdessä Werner Markwaldin kanssa: Matematiikan perusteet , julkaisussa Behnke, Süss, Fladt: Matematiikan perusteet , osa 1, 1958, Vandenhoeck ja Ruprecht
• Heinrich Scholzin matemaattisen logiikan kanssa , Matemaattisten tieteiden tietosanakirja, Uusi sarja, 1952
• jossa Gottfried Köthe : Theory of Associations , Encyclopedia matemaattisten tieteiden, Uusi sarja, 1939

kirjallisuus

• Friedrich Ludwig Bauer : Kuka keksi von Neumannin laskimen? , Informatik-Spektrum 21 (1998) 2, 84-88
• Heinz-Dieter Ebbinghaus: Hans Hermes muistona julkaisussa: Freiburger Universitaetsblaetter, Heft 162 (2003), sivut 219-221.
• Walter Oberschelp: Hans Hermes , vuosikertomus DMV, osa 112, 2007, s. 99–109

nettilinkit

• Matematiikan historia Münsterin yliopistossa, a. a. Hermesin elämäkerta, pdf
• Hans Hermesin kirjallisuus Saksan kansalliskirjaston luettelossa
• Adolf Kratzerin elämäkerran kohta 4.1

Yksittäiset todisteet

1. ^ Gabriele Dörflinger: Matematiikka Heidelbergin tiedeakatemiassa . 2014, s.26-27.