Gisbert Hasenjaeger

Gisbert F. R. Hasenjaeger
Picture of Gisbert Hasenjaeger in his identity papers during his time at OKW/Chi
Born1 June 1919
Hildesheim, Germany
Died2 September 2006(2006-09-02) (aged 87)
CitizenshipGerman
EducationMünster University
Known forTesting the Enigma encryption machine for cryptographic weaknesses.
Developing a proof of the completeness theorem in 1949.
Scientific career
FieldsMathematics
Logic
InstitutionsUniversity of Münster
University of Bonn
Princeton University
Doctoral advisorHeinrich Scholz
Doctoral studentsDieter Rödding
Ronald Jensen
Peter Schroeder-Heister[1]

Gisbert F. R. Hasenjaeger (1 June 1919 – 2 September 2006) was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic.[2][3] He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung, and was responsible for the security of the Enigma machine.[4]

Personal life

Gisbert Hasenjaeger went to high school in Mülheim, where his father Edwin Renatus Hasenjaeger [de] was a lawyer and local politician. After completing school in 1936, Gisbert volunteered for labor service. He was drafted for military service in World War II, and fought as an artillerist in the Russian campaign, where he was badly wounded in January 1942. After his recovery, in October 1942, Heinrich Scholz[5] got him employment in the Cipher Department of the High Command of the Wehrmacht (OKW/Chi), where he was the youngest member at 24. He attended a cryptography training course by Erich Hüttenhain, and was put into the recently founded Section IVa "Security check of own Encoding Procedures" under Karl Stein, who assigned him the security check of the Enigma machine.[6][7] At the end of the war as OKW/Chi disintegrated, Hasenjaeger managed to escape TICOM, the United States effort to roundup and seize captured German intelligence people and material.[6]

From the end of 1945, he studied mathematics and especially mathematical logic with Heinrich Scholz at the Westfälische Wilhelms-Universität University in Münster. In 1950 received his doctorate Topological studies on the semantics and syntax of an extended predicate calculus and completed his habilitation in 1953.[3]

In Münster, Hasenjaeger worked as an assistant to Scholz and later co-author, to write the textbook Fundamentals of Mathematical Logic in Springer's Grundlehren series (Yellow series of Springer-Verlag), which he published in 1961 fully 6 years after Scholz's death. In 1962, he became a professor at the University of Bonn, where he was Director of the newly created Department of Logic.[3]

In 1962, Dr Hasenjaeger left Münster University to take a full professorship at Bonn University, where he became Director of the newly established Department of Logic and Basic Research. In 1964/65, he spent a year at Princeton University at the Institute for Advanced Study[8] His doctoral students at Bonn included Ronald B. Jensen, his most famous pupil.[3]

Hasenjaeger became professor emeritus in 1984.[9]

Work

Safety Testing the Enigma Machine

In October 1942, after starting work at OKW/Chi, Hasenjaeger was trained in cryptology, given by the mathematician, Erich Hüttenhain, who was widely considered the most important German cryptologist of his time. Hasenjaeger was put into a newly formed department, whose principal responsibility was the defensive testing and security control of their own methods and devices.[6][10] Hasenjaeger was ordered, by the mathematician Karl Stein who was also conscripted at OKW/Chi, to examine the Enigma machine for cryptologic weaknesses, while Stein was to examine the Siemens and Halske T52 and the Lorenz SZ-42.[10] The Enigma machine that Hasenjaeger examined was a variation that worked with 3 rotors and had no plugboard. Germany sold this version to neutral countries to accrue foreign exchange. Hasenjaeger was presented with a 100 character encrypted message for analysis and found a weakness which enabled the identification of the correct wiring rotors and also the appropriate rotor positions, to decrypt the messages. Further success eluded him, however. He crucially failed to identify the most important weakness of the Enigma machine: the lack of fixed points (letters encrypting to themselves) due to the reflector. Hasenjaeger could take some comfort from the fact that even Alan Turing missed this weakness. Instead, the honour was attributed to Gordon Welchman, who used the knowledge to decrypt several hundred thousand Enigma messages during the war.[6][10] In fact fixed points were earlier used by Polish codebreaker, Henryk Zygalski, as the basis for his method of attack on Enigma cipher, referred to by the Poles as "Zygalski sheets" (Zygalski sheets) (płachty Zygalskiego) and by the British as the "Netz method".

Proof of Gödel's completeness theorem

It was while Hasenjaeger was working at Westfälische Wilhelms-Universität University in Münster in the period between 1946 and 1953 that Hasenjaeger made a most amazing discovery - a proof of Kurt Gödel's Gödel's completeness theorem for full predicate logic with identity and function symbols.[3] Gödel's proof of 1930 for predicate logic did not automatically establish a procedure for the general case. When he had solved the problem in late 1949, he was frustrated to find that a young American mathematician Leon Henkin, had also created a proof.[3] Both construct from extension of a term model, which is then the model for the initial theory. Although the Henkin proof was considered by Hasenjaeger and his peers to be more flexible, Hasenjaeger's is considered simpler and more transparent.[3]

Hasenjaeger continued to refine his proof through to 1953 when he made a breakthrough. According to the mathematicians Alfred Tarski, Stephen Cole Kleene and Andrzej Mostowski, the Arithmetical hierarchy of formulas is the set of arithmetical propositions that are true in the standard model, but not arithmetically definable. So, what does the concept of truth for the term model mean, the results for the recursively axiomatized Peano arithmetic from the Hasenjaeger method? The result was the truth predicate is well arithmetically, it is even .[3] So far down in the arithmetic hierarchy, and that goes for any recursively axiomatized (countable, consistent) theories. Even if you are true in all the natural numbers formulas to the axioms.

This classic proof is a very early, original application of the arithmetic hierarchy theory to a general-logical problem. It appeared in 1953 in the Journal of Symbolic Logic.[11]

Construction of Turing Machines

In 1963, Hasenjaeger built a Universal Turing machine out of old telephone relays. Although Hasenjaeger's work on UTMs was largely unknown and he never published any details of the machinery during his lifetime, his family decided to donate the machine to the Heinz Nixdorf Museum in Paderborn, Germany, after his death.[12][13] In an academic paper presented at the International Conference of History and Philosophy of Computing in 2012.[12] Rainer Glaschick, Turlough Neary, Damien Woods, Niall Murphy had examined Hasenjaeger's UTM machine at the request of Hasenjaeger family and found that the UTM was remarkably small and efficiently universal. Hasenjaeger UTM contained 3-tapes, 4 states, 2 symbols and was an evolution of ideas from Edward F. Moore's first universal machine and Hao Wang's B-machine. Hasenjaeger went on to build a small efficient Wang B-machine simulator. This was again proven by the team assembled by Rainer Glaschick to be efficiently universal.

Comments on the Enigma Machine weakness

It was only in the 1970s that Hasenjaeger learned that the Enigma Machine had been so comprehensively broken.[6] It impressed him that Alan Turing himself, considered one of the greatest mathematicians of the 20th century, had worked on breaking the device. The fact that the Germans had so comprehensively underestimated the weaknesses of the device, in contrast to Turing and Welchman's work, was seen by Hasenjaeger today as entirely positive. Hasenjaeger stated:

Would it not been so, then the war would have lasted probably longer and the first atomic bomb had not fallen on Japan, but on Germany.[6]

Bibliography

  • Schmeh, Klaus (18 September 2009). "Enigma's Contemporary Witness: Gisbert Hasenjaeger". Cryptologia. 33 (4): 343–346. doi:10.1080/01611190903186003. S2CID 205487783.

References

  1. ^ Gisbert Hasenjaeger at the Mathematics Genealogy Project
  2. ^ "Past Professors at Münster University" (PDF). wwmath.uni-muenster.de. Retrieved 6 January 2014.
  3. ^ a b c d e f g h "Laudatio anläßlich der Erneuerung der Doktorurkunde". WWU Münster Mathematik: Logik. Archived from the original on 31 August 2012. Retrieved 17 February 2014.
  4. ^ Schmeh, Klaus (15 September 2009). "Enigma's Contemporary Witness: Gisbert Hasenjaeger". Cryptologia. 33 (4): 343–346. doi:10.1080/01611190903186003. ISSN 0161-1194. S2CID 205487783.
  5. ^ Hasenjaeger knew Scholz since his school days and corresponded with him during his time as a conscript.
  6. ^ a b c d e f "Enigma Contemporary Witness - Enigma Vulnerability Part 3". Heise Online. Klaus Schmeh. 29 August 2005. Retrieved 2 March 2014.
  7. ^ Friedrich L. Bauer (2000). Entzifferte Geheimnisse — Methoden und Maximen der Kryptologie (3 ed.). Heidelberg: Springer. ISBN 978-3-540-67931-8. Cited from German Wikipedia
  8. ^ "IAS - Gisbert Hasenjeager". www.ias.edu. IAS. Retrieved 20 July 2016.
  9. ^ Wirth, Claus-Peter (4 March 2018). A Most Interesting Draft for Hilbert and Bernays' "Grundlagen der Mathematik" that never found its way into any publication, and two CV of Gisbert Hasenjaeger. Saarland University.
  10. ^ a b c Cooper, S. Barry; Leeuwen, J. van (3 Jun 2013). Alan Turing: His Work and Impact. Elsevier Science. p. 936. ISBN 978-0-12-386980-7.
  11. ^ Hasenjaeger, G. (1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe". Journal of Symbolic Logic. 18 (1): 42–48. doi:10.2307/2266326. JSTOR 2266326. S2CID 45705695. Gödel proof.
  12. ^ a b Neary, Turlough; Woods, Damien; Murphy, Niall; Glaschick, Rainer (October 2014). "Wang's B machines are efficiently universal, as is Hasenjaeger's small universal electromechanical toy". Journal of Complexity. 30 (5): 634–646. arXiv:1304.0053. Bibcode:2013arXiv1304.0053N. doi:10.1016/j.jco.2014.02.003. S2CID 18828226.
  13. ^ "Hasenjaeger's electromechanical small universal Turing machine is time efficient". Department of History and Philosophy Universiteit Gent. Archived from the original (PDF) on 19 March 2014. Retrieved 18 March 2014.

Further reading

  • Rebecca Ratcliffe: Searching for Security. The German Investigations into Enigma's security. In: Intelligence and National Security 14 (1999) Issue 1 (Special Issue) S.146–167.
  • Rebecca Ratcliffe: How Statistics led the Germans to believe Enigma Secure and Why They Were Wrong: neglecting the practical Mathematics of Cipher machines Add:. Brian J. angle (eds.) The German Enigma Cipher Machine. Artech House: Boston, London of 2005.

Read other articles:

Artikel ini sebagian besar atau seluruhnya berasal dari satu sumber. Diskusi terkait dapat dibaca pada the halaman pembicaraan. Tolong bantu untuk memperbaiki artikel ini dengan menambahkan rujukan ke sumber lain yang tepercaya. Dirk KapteijnDirk Kapteijn dalam De Locomotief, 1936Wali Kota Padang ke-2Masa jabatan4 November 1940 – 1942WakilAbdoel HakimPendahuluWillem Matthijs OuwerkerkPenggantiAbdoel HakimWali Kota Manado ke-3Masa jabatan27 Agustus 1936 – 1940Pend...

 

Fifth-century conflict in England vteAnglo-Saxon invasions and the founding of EnglandTimeline Groans of the Britons Guoloph Aylesford Treason of the Long Knives Wippedesfleot Mercredesburne Badon Beranburh Alclud Ford Argoed Llwyfain Deorham 1st Wodensburh Raith Catraeth Degsastan Chester Cirencester Cefn Digoll Caer-Uisc Hatfield Chase Heavenfield Maserfield Winwaed Peonnum Two Rivers Trent Nechtansmere 2nd Wodensburh Hehil Pencon Hereford Otford Bensington Ellandun Hingston Down Scotland B...

 

For the Earl Thomas Conley song, see Love Out Loud (Earl Thomas Conley song). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Love Out Loud – news · newspapers · books · scholar · JSTOR (September 2013) (Learn how and when to remove this template message) 2008 studio album by Jaci VelasquezLove Out LoudS...

село Чумаки Країна  Україна Область Полтавська область Район Полтавський район Громада Білицька селищна громада Основні дані Населення 72 Поштовий індекс 39213 Телефонний код +380 5343 Географічні дані Географічні координати 49°15′47″ пн. ш. 34°04′28″ сх. д. / ...

 

Aligator Tiongkok 揚子鱷 Status konservasi Kritis (IUCN 2.3) Klasifikasi ilmiah Kerajaan: Animalia Filum: Chordata Kelas: Sauropsida Ordo: Crocodilia Famili: Alligatoridae Genus: Alligator Spesies: A. sinensis Nama binomial Alligator sinensisFauvel, 1879 Aligator Tiongkok atau Aligator Yangtze (Hanzi: 揚子鱷, Alligator sinensis) adalah salah satu dari 2 jenis aligator dari keluargais Alligatoridae. Aligator Tiongkok hanya bisa ditemukan di wilayah sungai Yangtze di Republi...

 

School in New York, New York, United StatesHigh School of Graphic Communication ArtsWest 49th Street facadeAddress439 West 49th StreetNew York, New York 10019United StatesCoordinates40°45′48″N 73°59′26″W / 40.763466°N 73.990561°W / 40.763466; -73.990561InformationSchool districtNew York City Geographical District 2SuperintendentElaine GormanSchool number625PrincipalBrendan LyonsGrades9-12Enrolment1,344 The High School of Graphic Communication Arts (H.S.G.C....

Ukrainian rabbi Mordechai TwerskyTwersky's tombTitleChornobyler MaggidPersonalBornMordechai Twerskyc. 1770DiedMay 1837 (20 Iyar 5597)ReligionJudaismSpouseChaya Soro (daughter of Aharon of Karlin), Feygele (daughter of Dovid Leikes)ChildrenAaron Twersky of ChornobylMoshe Twersky of KorostyshivYaakov Yisroel Twersky of CherkasyMalka, Menachem Nochum Twersky of Makariv Avrohom Twersky of TriskDovid Twersky of TalneYitschok Twersky of SkviraYochonon Twersky of RakhmastrivkaChana Chaya TwerskyPare...

 

Official archives of Alberta, Canada The Provincial Archives of AlbertaEstablished1962Location8555 Roper Rd NW, Edmonton, AB T6E 5W1Coordinates53°29′15″N 113°27′07″W / 53.487409°N 113.451929°W / 53.487409; -113.451929TypeArchivesCollection size2 million[1]DirectorLeslie LattaWebsiteprovincialarchives.alberta.ca The Provincial Archives of Alberta is the official archives of the Canadian Province of Alberta. It preserves and makes available for resear...

 

The National discographyThe National performing at Brooklyn Academy of Music in 2010.Studio albums10Live albums4Music videos26EPs2Singles24 The discography of American indie rock band the National consists of ten studio albums, two extended plays (EPs), thirteen singles and nine music videos. The band's first two albums, were released by Brassland Records. Their next two albums were released by Beggars Banquet Records, and their subsequent albums were released by 4AD. The documentary film, A ...

أحمد ناصر الجابري معلومات شخصية الميلاد سنة 1948 (العمر 74–75 سنة)  المعر، محافظة أبين. الجنسية  اليمن الحياة العملية المهنة كاتب، شاعر، معلم. بوابة الأدب تعديل مصدري - تعديل   أحمد ناصر جابر الجابري هو شاعر يمني، وعضو في اتحاد الأدباء والكتاب اليمنيين. ولد عام 1948 في قر...

 

Moroccan footballer Khalid Askri Personal informationFull name Khalid Askri[1]Date of birth (1981-03-20) 20 March 1981 (age 42)[1]Place of birth Missour, MoroccoHeight 1.85 m (6 ft 1 in)[1]Position(s) GoalkeeperTeam informationCurrent team Raja CasablancaNumber 61Youth career1992–1998 FAR RabatSenior career*Years Team Apps (Gls)1998–2012 FAR Rabat 199 (0)2011 →Chabab Rif Al Hoceima (loan) - (0)2012 →Raja Casablanca (loan) 10 (0)2012– Raja ...

 

American television comedy series BarryGenre Black comedy[1] Comedy drama[2] Crime[3] Psychological drama[4] Tragicomedy[5][6][7] Created by Alec Berg Bill Hader Starring Bill Hader Stephen Root Sarah Goldberg Glenn Fleshler Anthony Carrigan Henry Winkler Sarah Burns Robert Wisdom Opening themeChange for the World by Charles Bradley (seasons 1–3)ComposerDavid WingoCountry of originUnited StatesOriginal languageEnglishNo. of seasons4No....

B-52-crash bij Fairchild Air Force Base B-52 Stratofortress callsign Czar 52, een fractie van een seconde voor de crash. Het ontsnappingsluik van copiloot McGeehan, weggeschoten in een poging zijn schietstoel te gebruiken, is te zien bij de staart. Overzicht Datum 24 Juni 1994 Type ramp Pilotenfout Locatie Fairchild Air Force Base, Washington, Verenigde Staten Coördinaten 47° 37′ NB, 117° 39′ WL Doden 4 Gewonden 0 Vliegtuig(en) Vliegtuigtype B-52 Stratofortress Registratienumme...

 

2011 video gameDream Club Zero (Dream C Club Zero)Xbox 360 cover art of Dream Club ZeroDeveloper(s)TamsoftPublisher(s)D3 PublisherPlatform(s)Xbox 360, PlayStation Vita, PlayStation 3ReleaseJP: January 27, 2011[1]Genre(s)Dating simMode(s)Single-player Dream Club Zero (ドリームクラブゼロ, Dream C Club Zero) is a dating sim video game developed by Tamsoft and published by D3 Publisher for the Xbox 360. The game is a prequel[2] to Dream Club and basically a Japanese hoste...

 

Hindu temple in Tamil Nadu, India Pasupathi KovilReligionAffiliationHinduismDistrictThanjavurDeityBrahmapureeswarar(Shiva)Anandeeswarar(Shiva)LocationLocationPasupathikoilStateTamil NaduCountryIndiaLocation in Tamil NaduGeographic coordinates10°53′N 79°10′E / 10.883°N 79.167°E / 10.883; 79.167ArchitectureTypeDravidian architecture Tirupullamangai or Thirupullamangai is a Hindu temple dedicated to Lord Siva located in Pasupathikoil, Papanasam taluk of Thanjavur ...

Iranian TV series The FrogPersianقورباغه Genre Mystery Drama Crime Thriller Created byHouman SeyyediBased onLa Haine (only first episode)Written byHouman SeyyediDirected byHouman Seyyedi[1]Starring Saber Abar Navid Mohammadzadeh Fereshteh Hosseini Sahar Dolatshahi Narrated bySaber AbarMusic byBamdad AfsharComposerBamdad AfsharCountry of originIranOriginal languagePersianNo. of seasons1No. of episodes15ProductionProducerAli AsadzadehProduction locationsIranThailandCinematography...

 

For the Irish flying ace, see Alfred William Saunders. This article's lead section may be too short to adequately summarize the key points. Please consider expanding the lead to provide an accessible overview of all important aspects of the article. (November 2023) Alfred Saunders3rd Superintendent of Nelson ProvinceIn officeMarch 1865 – 4 February 1867Preceded byJohn Perry RobinsonSucceeded byOswald Curtis Personal detailsBorn(1820-06-12)12 June 1820Died28 October 1905(1905-10-28)...

 

Rumah Sakit Huoshenshan(火神山医院)GeografiLokasiJalan Raya Zhiyinhu, Distrik Caidian, kota Wuhan, provinsi Hubei, TiongkokKoordinatCoordinates: Unknown argument formatKoordinat: Coordinates: Unknown argument format{{#coordinates:}}: lintang salahOrganisasiPendanaanPemerintah TiongkokJenisKhususPelayananUnit Gawat DaruratVirus KoronaRanjang pasien1,000[1]SejarahDibuka22 Januari 2020 s/d 2 Februari 2020 Rumah Sakit Huoshenshan Hanzi sederhana: 火神山医院 Hanzi tradisional: �...

Sault Sainte Marie Air Defense Sector Emblem of the Sault Sainte Marie Air Defense SectorActive1958–1966CountryUnited StatesBranchUnited States Air ForceRoleAir DefensePart ofAir Defense CommandMilitary unit Map all coordinates using: OpenStreetMap Download coordinates as: KML GPX (all coordinates) GPX (primary coordinates) GPX (secondary coordinates) Map of Sault Sainte Marie ADS The Sault Sainte Marie Air Defense Sector (SsmADS) is an inactive United States Air Force organization. It...

 

Public university in Chongqing, China Chongqing University重庆大学 (Chinese)Motto耐劳苦, 尚俭朴, 勤学业, 爱国家[1]Motto in EnglishEndure Toil, Cherish Thrift, Work Hard and Love the Country[2]TypeNational PublicEstablished1929; 94 years ago (1929)PresidentDr. Zhang, ZongyiAcademic staff5,200Students50,000Undergraduates28,000Postgraduates21,000LocationChongqing, People's Republic of ChinaCampusThree campuses (A, B, C) downtown, one ca...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!