Gisbert Hasenjaeger
Gisbert Hasenjaeger | |
---|---|
Outono de 1949 no Instituto de Pesquisas Matemáticas de Oberwolfach (4º a partir da esquerda) | |
Nascimento | 1 de junho de 1919 Hildesheim |
Morte | 2 de setembro de 2006 (87 anos) Münster |
Nacionalidade | alemão |
Cidadania | Alemanha |
Alma mater | |
Ocupação | lógico, matemático, filósofo |
Orientador(a)(es/s) | Heinrich Scholz |
Campo(s) | matemática |
Gisbert Hasenjaeger (Hildesheim, 1 de junho de 1919 – Münster, 2 de setembro de 2006) foi um matemático alemão.
Vida e obra
[editar | editar código-fonte]Na Segunda Guerra Mundial participou da campanha da Rússia, onde foi em janeiro de 1942 gravemente ferido. Esteve depois sob a direção de Heinrich Scholz no Referat IV a do Cipher Department of the High Command of the Wehrmacht com Karl Stein, responsável pela segurança da Enigma.[1]
Estudou lógica matemática a partir de 1945 com Heinrich Scholz na Universidade de Münster, obtendo um doutorado em 1950, com a tese Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls,[2]) onde obteve a habilitação em 1953. Com Scholz escreveu o livro-texto Grundzüge der Mathematischen Logik.
Independente e simultaneamente com Leon Henkin desenvolveu em 1949 uma nova prova do teorema da completude de Gödel.
Dentre seus orientados de doutorado constam Ronald Jensen e Dieter Rödding.
Obras
[editar | editar código-fonte]- Einführung in die Grundbegriffe und Probleme der modernen Logik. Alber, Freiburg, München 1962 (englische Übersetzung: Introduction to the basic concepts and problems of modern logic, Reidel 1972).
- om Heinrich Scholz: Grundzüge der mathematischen Logik, Springer 1961.
Bibliografia
[editar | editar código-fonte]- Klaus Schmeh: Enigma’s Contemporary Witness: Gisbert Hasenjaeger. In: Cryptologia. Volume 33, Nr. 4, 2009, p. 343–46, doi:10.1080/01611190903186003.
Referências
- ↑ Friedrich Bauer Entzifferte Geheimnisse, Springer 2000. Die Dienststelle war unterbesetzt mit nur vier Mitarbeitern und Hasenjaeger selbst war damals noch völlig unerfahren als Kryptologe. Immerhin gelang es ihm gleich am Anfang, einige Enigma Botschaften in einer vereinfachten Version zu entschlüsseln. Eine inhärente Schwäche der Enigma, die 1942 von Gordon Welchman für die Entzifferungsarbiet in Bletchley Park gefunden wurde, entging aber damals sogar Alan Turing.
- ↑ Gisbert Hasenjaeger (em inglês) no Mathematics Genealogy Project