Questo evento segnò un momento di transizione nella vita di un uomo che sarebbe passato dal deciframento militare di alto livello a sviluppi fondamentali nella logica matematica e nel calcolo dei predicati.
Crittografia militare e sicurezza
Nato a Hildesheim nel 1919, Hasenjaeger trascorse la prima età adulta immerso nelle realtà della Germania in tempo di guerra. Dopo essere stato gravemente ferito come artigliere sul fronte russo all'inizio del 1942, passò al Dipartimento di Cifratura dell'Alto Comando della Wehrmacht nell'ottobre dello stesso anno. Sotto la guida di Erich Hüttenhain, si formò in crittologia prima che Karl Stein lo assegnasse alla Sezione IVa. La sua responsabilità principale riguardava i test difensivi delle procedure di codifica tedesche, cercando specificamente vulnerabilità nelle macchine Enigma vendute alle nazioni neutrali. Sebbene sia riuscito a isolare specifici cablaggi e posizioni dei rotori, non rilevò la debolezza cruciale che coinvolgeva il riflettore, un punto cieco che condivise con Alan Turing.
Contributi alla logica
Dopo la guerra, Hasenjaeger proseguì gli studi avanzati presso la Westfälische Wilhelms-Universität di Münster, concentrandosi sulla logica matematica sotto la direzione di Heinrich Scholz. Alla fine del 1949, sviluppò indipendentemente una prova per il teorema di completezza di Kurt Gödel per la logica dei predicati, un'impresa realizzata simultaneamente dal matematico americano Leon Henkin. Sebbene la prova di Henkin abbia ottenuto riconoscimento per la sua flessibilità, la costruzione di Hasenjaeger è stata ampiamente considerata come l'approccio più trasparente e semplice. Continuò a perfezionare questo lavoro, pubblicando infine una svolta nel Journal of Symbolic Logic nel 1953, che rappresentò un'applicazione precoce della teoria della gerarchia aritmetica ai problemi di logica generale.
Carriera accademica e progettazione hardware
Hasenjaeger completò la sua abilitazione nel 1953 e successivamente finalizzò un libro di testo intitolato Fondamenti di logica matematica, apparso nella serie gialla di Springer nel 1961. Nel 1962, assunse una cattedra all'Università di Bonn, istituendo e dirigendo il Dipartimento di Logica e Ricerca di Base. Il suo raggio d'azione accademico si estese agli Stati Uniti, dove trascorse un anno presso l'Institute for Advanced Study dell'Università di Princeton. Oltre alle attività teoriche, costruì una macchina di Turing universale utilizzando relè telefonici nel 1963. Questo efficiente design hardware rimase privato fino a quando la sua famiglia donò la macchina al Museo Heinz Nixdorf di Paderborn dopo la sua morte nel 2006.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Fatti rapidi
- Nascita: 1919, Hildesheim - Morte: 2006, Münster - Istruzione: Università di Münster - Ruolo militare: crittanalista OKW/Chi - Cattedre: Università di Bonn - Risultato chiave: Prova del teorema di completezza (1949) - Opera notevole: Fondamenti di logica matematica (1961)
Domande dei lettori
### Hasenjaeger ha decifrato il codice Enigma durante la guerra?
Ha identificato debolezze specifiche in una versione della macchina Enigma utilizzata per le esportazioni neutrali, ma non è riuscito a scoprire la vulnerabilità critica del riflettore.
### Cosa è successo alla macchina di Turing che ha costruito?
Non ha mai pubblicato i dettagli tecnici della macchina durante la sua vita; la sua famiglia l'ha poi donata al Museo Heinz Nixdorf di Paderborn.
### Chi sono stati i suoi studenti più importanti?
Tra i suoi dottorandi all'Università di Bonn figurava Ronald B. Jensen.
.jpg)
