Syntymä |
1. st Kesäkuu 1919 Hildesheim |
---|---|
Kuolema |
2. syyskuuta 2006(klo 87) Münster |
Kansalaisuus | Saksan kieli |
Koulutus | Münsterin yliopisto |
Toiminta | Logistiikka , matemaatikko , filosofi |
Valvoja | Heinrich Scholz ( in ) |
---|
Gisbert FR Hasenjaeger (1. st kesäkuu 1919 - 2. syyskuuta 2006) on saksalainen matemaatikko ja logistiikka . Itsenäisesti ja samanaikaisesti Leon Henkinin kanssa vuonna 1949 hän kehitti uuden todistuksen Gödelin täydellisyyslauseesta predikaattien logiikalle. Hän työskenteli Heinrich Scholzin avustajana Oberkommando der Wehrmacht Chiffrierabteilungin osassa IVa ja vastasi Enigma-koneen turvallisuudesta .
Gisbert Hasenjaeger opiskeli Mülheimin lukiossa , jossa hänen isänsä Edwin Renatus Hasenjaeger oli paikallinen asianajaja ja poliitikko. Valmistuttuaan koulusta vuonna 1936 Gisbert ilmoittautui vapaaehtoiseksi työosastolle. Hänet värvättiin asepalvelukseen toisen maailmansodan aikana ja taisteli tykistönä Venäjän kampanjassa , jossa hänet loukkaantui vakavasti.Tammikuu 1942. Paranemisen jälkeen vuonnaLokakuu 1942Heinrich Scholz sai hänet työhön Wehrmachtin ylimmän johdon salausosastolle (OKW / Chi), jossa hän oli tuolloin nuorin jäsen 24-vuotiaana. Hän seuraa koulutuskurssin salakirjoituksessa Erich Hüttenhain, ja annetaan nyt aloittavan osio IV "Turvallisuus todentaminen koodausproseduurit" johdolla Karl Stein, joka uskoo pojalleen turvallisuuden todentaminen Enigma . Sodan lopussa, kun OKW / Chi hajotetaan, Hasenjaeger onnistuu pakenemaan Yhdysvaltain TICOM-operaation joukosta ja vangitsemaan kaapatut saksalaiset tutkijat ja tarvikkeet.
Vuoden 1945 lopusta lähtien hän opiskeli matematiikkaa ja erityisesti matemaattista logiikkaa Heinrich Scholzin luona Münsterin yliopistossa . Vuonna 1950 hän valmistui tohtoriksi väitöskirjalla Topologiset tutkimukset laajennetun predikaattilaskennan semantiikasta ja syntaksista ja vahvisti habilitointinsa vuonna 1953.
Münsterissä hän työskenteli Scholzin avustajana ja myöhemmin toisena kirjoittajana kirjoittamassa kirjan Matematiikan logiikan perusteet Springerin Grundlehren- sarjassa (Springer-Verlag Yellow -sarja), jonka hän julkaisi. 1961 kokonaan kuusi vuotta sen jälkeen. Scholzin kuolema. Vuonna 1962 hänestä tuli professori Bonnin yliopistossa , jossa hän toimi uuden logiikan osaston johtajana.
Vuonna 1962 D r Hasenjaeger lähti Münsterin yliopistosta professuuriksi Bonnin yliopistoon, jossa hänet nimitettiin uuden logiikan ja perustutkimuksen osaston johtajaksi. Vuonna 1964/65 hän vietti vuoden Princetonin yliopistossa klo Institute for Advanced Study . Hänen tohtorikoulutuksensa Bonnissa ovat hänen tunnetuin oppilaansa Ronald Jensen .
Hänestä tuli emeritusprofessori vuonna 1984.
Sisään Lokakuu 1942, työn aloittamisen jälkeen OKW / Chissä, Hasenjaeger koulutettiin salauksen alalla matemaatikko Erich Hüttenhain, jota pidetään laajalti aikansa tärkeimpänä saksalaisena kryptologina. Hasenjaeger on nimetty vasta muodostettuun osastoon, jonka päävastuu on testata puolustuksia ja seurata omien menetelmiensä ja laitteidensa turvallisuutta. Hasenjaegerin tehtävänä on matemaatikko Karl Stein, joka on myös mobilisoitu OKW / Chi: ssä, tutkia, onko Enigma-koneella salauksen heikkoutta, kun taas Stein on vastuussa Siemensin ja Halske T52: n ja Lorenzin koneiden tutkimuksesta . Hasenjaegerin tutkima Enigma-kone on malli, joka käyttää kolmea roottoria eikä siinä ole nastoja. Saksa myi tämän version neutraaleille maille yrittäen kerätä valuuttaa. Hasenjaeger testaa 100 merkin salatulla sanomalla analysointia varten ja löytää heikkouden, joka sallii roottorin johdotuksen ja myös roottorin sijaintien tunnistamisen ja siten viestien salauksen. Mutta sen menestys päättyy siihen. Hän ei pääsääntöisesti pystynyt tunnistamaan Enigma-koneen tärkeintä heikkoutta: heijastimesta johtuvien kiinteiden pisteiden puuttumista. Hasenjaeger saattaa löytää lohtua siitä, että jopa Alan Turing kaipasi tätä heikkoutta. Sen sijaan hyvitys meni William Gordon Welchmanille , joka käytti tietoa salaamaan satojatuhansia Enigma-viestejä sodan aikana. Itse asiassa, kiintopisteitä aikaisemmin käytetty Puolan cryptanalist, Henryk Zygalski, kuten perusteella hänen menetelmän hyökkäyksen Enigma cipher, nimetty napoihin " Zygalski levyt " ( płachty Zygalskiego ) ja British kuin "Netz menetelmä".
Se oli sinä aikana, Hasenjaeger työskennellyt Universität Münster yliopiston Münster, vuosien 1946 ja 1953, että Hasenjaeger tehty yksi hämmästyttävä löytöjä a proof of Gödelin täydellisyyden lause, että logiikan predikaatteja. Gödelin todistus predikaattien logiikasta vuodelta 1930 ei automaattisesti luo menettelyä yleiseen tapaukseen. Kun hän ratkaisee ongelman vuoden 1949 lopussa, hän on turhautunut huomatessaan, että nuori amerikkalainen matemaatikko Leon Henkin oli myös saanut todistuksen. Molemmat rakensivat todisteensa termimallin laajennuksesta, joka on sitten teorian alkuperäinen malli. Vaikka Hasenjaeger ja hänen ikäisensä pitävät Henkinin todisteita joustavampana, Hasenjaegerin nähdään yksinkertaisempana ja avoimempana.
Hasenjaeger jatkoi todisteidensa tarkentamista vuoteen 1953, jolloin hän teki läpimurron. Mukaan matemaatikot Alfred Tarski , Stephen Cole Kleene, ja Andrzej Mostowski The aritmeettinen hierarkia kaavojen on joukko aritmeettinen esityksiä, jotka ovat totta Standardimalli, mutta ei aritmeettisesti määriteltävissä tavalla. Joten mitä totuuden käsite tarkoittaa termille malli, Peanon aritmeettisen tuloksen suhteen , joka on aksiomatisoitu rekursiivisella tavalla Hasenjaeger-menetelmän ansiosta? Tuloksena on, että totuusennuste on aritmeettisesti, se on sama. Toistaiseksi aritmeettisessa hierarkiassa, ja se koskee kaikkia rekursiivisesti aksiomatisoituja teorioita (laskettavissa, mukautettavissa).
Tämä klassinen todiste on yksi aritmeettisen hierarkian teorian ensimmäisistä ja alkuperäisistä sovelluksista logiikan ongelmaan. Se ilmestyi vuonna 1953 Journal of Symbolic Logic -lehdessä .
Vuonna 1963 Hasenjaeger rakensi MTU: n ( Universal Turing Machine ) vanhoista puhelinreleistä. Vaikka Hasenjaeger työtä MTU vielä tunneta laajalti ja hän ei koskaan julkaissut yksityiskohtia koneen elinaikanaan, hänen perheensä päätti lahjoittaa kone Heinz Nixdorf Museum Paderborn. , Vuonna Saksassa , hänen kuolemansa jälkeen. Turlough Neary, Damien Woods ja Niall Murphy tutkivat Rainer Glaschickin kansainvälisessä konferenssissa laskennan historiasta ja filosofiasta Hasenjaegerin MTU-konetta Hasenjaegerin perheen pyynnöstä ja totesivat sen olevan huomattavan pieni ja käytännöllisesti katsoen universaali . Hasenjaegerin MTU-kone sisälsi 3 kaistaa, 4 tilaa, 2 symbolia ja toi kehityksen Edward F. Mooren ensimmäisen universaalikoneen ja Hao Wangin B-koneen ideoista . Hasenjaeger jatkoi Wangin B-koneen tehokkaan pienen simulaattorin rakentamista. Rainer Glaschickin kokoama joukkue osoittautui jälleen tehokkaaksi universaaliksi .
Vasta 1970-luvulla Hasenjaeger sai tietää, että Enigma-kone oli niin rikki. Tämä on tehnyt vaikutuksen Alan Turing itse, jota pidetään yhtenä suurimmista matemaatikot XX : nnen vuosisadan on toiminut rikkoa koneen toiminnan. Hasenjaeger piti nykyään täysin myönteisenä sitä, että saksalaiset olivat yleensä aliarvioineet laitteen heikkoudet. Hasenjaeger sanoi:
"Jos sitä ei olisi ollut, sota olisi todennäköisesti kestänyt kauemmin ja ensimmäinen atomipommi ei olisi pudonnut Japaniin, vaan Saksaan. "