Gisbert Hasenjaeger

Este evento marcou um momento de transição na vida de um homem que acabaria por passar da descodificação militar de alto nível para desenvolvimentos fundamentais na lógica matemática e no cálculo de predicados.

Criptografia militar e segurança

Nascido em Hildesheim em 1919, Hasenjaeger passou a sua juventude imerso nas realidades da Alemanha em tempo de guerra. Depois de ter sido gravemente ferido como artilheiro na frente russa no início de 1942, passou para o Departamento de Cifra do Alto Comando da Wehrmacht em outubro desse ano. Sob a orientação de Erich Hüttenhain, formou-se em criptologia antes de Karl Stein o atribuir à Secção IVa. A sua principal responsabilidade envolvia o teste defensivo dos procedimentos de codificação alemães, procurando especificamente vulnerabilidades nas máquinas Enigma vendidas a nações neutras. Embora tenha conseguido isolar cablagens e posições específicas dos rotores, não detetou a fraqueza crucial que envolvia o refletor, um ponto cego que partilhou com Alan Turing.

Contribuições para a lógica

Após a guerra, Hasenjaeger prosseguiu estudos avançados na Westfälische Wilhelms-Universität em Münster, concentrando-se na lógica matemática sob a orientação de Heinrich Scholz. No final de 1949, desenvolveu independentemente uma prova para o teorema da completude de Kurt Gödel para a lógica de predicados, um feito alcançado simultaneamente pelo matemático americano Leon Henkin. Embora a prova de Henkin tenha ganho reconhecimento pela sua flexibilidade, a construção de Hasenjaeger foi amplamente considerada como a abordagem mais transparente e simples. Continuou a refinar este trabalho, publicando finalmente um avanço no Journal of Symbolic Logic em 1953, que representou uma aplicação precoce da teoria da hierarquia aritmética a problemas de lógica geral.

Carreira académica e design de hardware

Hasenjaeger completou a sua habilitação em 1953 e mais tarde finalizou um livro intitulado Fundamentos da Lógica Matemática, que apareceu na série amarela da Springer em 1961. Em 1962, assumiu uma cátedra na Universidade de Bona, estabelecendo e dirigindo o Departamento de Lógica e Investigação Básica. O seu alcance académico estendeu-se aos Estados Unidos, onde passou um ano no Institute for Advanced Study da Universidade de Princeton. Para além das atividades teóricas, construiu uma máquina de Turing universal utilizando relés telefónicos em 1963. Este design de hardware eficiente permaneceu privado até que a sua família doou a máquina ao Museu Heinz Nixdorf em Paderborn após a sua morte em 2006.

Factos rápidos

- Nascimento: 1919, Hildesheim - Falecimento: 2006, Münster - Educação: Universidade de Münster - Papel militar: criptoanalista OKW/Chi - Cátedras: Universidade de Bona - Conquista chave: Prova do teorema da completude (1949) - Obra notável: Fundamentos da Lógica Matemática (1961)

Perguntas dos leitores

### Hasenjaeger quebrou o código Enigma durante a guerra?

Identificou fraquezas específicas numa versão da máquina Enigma usada para exportações neutras, mas não conseguiu descobrir a vulnerabilidade crítica do refletor.

### O que aconteceu à máquina de Turing que ele construiu?

Nunca publicou detalhes técnicos da máquina durante a sua vida; a sua família doou-a mais tarde ao Museu Heinz Nixdorf em Paderborn.

### Quem foram os seus alunos mais proeminentes?

Os seus alunos de doutoramento na Universidade de Bona incluíram Ronald B. Jensen.