Gisbert Hasenjaeger

Origem: Wikipédia, a enciclopédia livre.
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 1919Mü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]

Referências

  1. 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.
  2. Gisbert Hasenjaeger (em inglês) no Mathematics Genealogy Project

Ligações externas[editar | editar código-fonte]