Hans Hermes

L'esame di stato a Münster nel 1937 segnò l'inizio accademico formale di Hans Hermes, un matematico tedesco che ha dedicato la sua carriera ai fondamenti della logica matematica. Nato nel 1912 a Neunkirchen, ha navigato attraverso i mutevoli scenari politici e istituzionali della Germania del XX secolo per diventare una figura centrale nello studio della calcolabilità e delle funzioni ricorsive.

Sviluppo accademico iniziale e servizio militare

A partire dal 1931, Hermes ha proseguito gli studi in matematica, fisica, chimica, biologia e filosofia presso l'Università di Friburgo. Dopo il suo esame del 1937 a Münster, ha ottenuto una borsa di studio presso l'Università di Gottinga prima di servire come assistente all'Università di Bonn. Durante la Seconda Guerra Mondiale, la sua traiettoria è stata interrotta dal servizio militare sull'isola di Jersey fino al 1943. Successivamente ha lavorato presso l'Istituto di Fisica Chimica della Marina a Kiel e in seguito ha partecipato a ricerche crittografiche a Toplitzsee.

Progresso della logica matematica

Nel 1947, Hermes divenne docente all'Università di Bonn, completando la sua abilitazione con una tesi riguardante le varietà analitiche in aree riemanniane. Nel 1949, fu nominato professore all'Università di Münster. Lì, prese in carico l'Istituto per la Logica Matematica e la Ricerca di Base da Heinrich Scholz nel 1953. Sotto la sua guida, l'istituto divenne una destinazione per ricercatori tra cui Wilhelm Ackermann e Gisbert Hasenjaeger. Ha ulteriormente plasmato il campo co-fondando l'Archivio per la Logica Matematica e i Fondamenti della Matematica nel 1950 insieme ad Arnold Schmidt e Jürgen von Kempski, e aiutando a stabilire l'Associazione Tedesca per la Logica Matematica e per la Ricerca di Base delle Scienze Esatte nel 1962.

Ricerca sulla calcolabilità e macchine di Turing

Hermes ha prodotto un lavoro significativo riguardante la macchina di Turing come concetto fondamentale per la prevedibilità. Il suo articolo del 1937, Termini definiti e numeri prevedibili, ha esaminato le idee di Turing, mentre la sua pubblicazione del 1954 sull'universalità delle macchine di calcolo controllate da programma ha dimostrato che tali macchine possiedono la stessa cardinalità delle macchine di Turing. Nel 1966, ha accettato una nomina alla cattedra appena istituita di Logica Matematica e Fondamenti della Matematica presso l'Università di Friburgo, dove ha fondato un dipartimento specializzato. Vi è rimasto fino al suo pensionamento come professore emerito nel 1977. Oltre alla sua ricerca, ha lavorato alla compilazione e pubblicazione postuma degli scritti di Gottlob Frege.

Fatti rapidi

- Nascita: 1912, Neunkirchen, Germania - Decesso: 2003, Friburgo in Brisgovia, Germania - Istruzione: Università di Münster, Università di Gottinga - Posizioni accademiche: Università di Münster, Università di Bonn, Università di Friburgo - Membro: Accademia delle Scienze e delle Lettere di Heidelberg - Campo principale: Logica matematica - Contributi notevoli: Co-fondatore dell'Archivio per la Logica Matematica e i Fondamenti della Matematica

Domande poste dai lettori

### Qual è stata l'importanza dell'istituto a Münster?

Sotto la guida di Hermes a partire dal 1953, è diventato un noto centro internazionale per la logica matematica e la ricerca di base.

### Hans Hermes ha contribuito allo studio delle macchine di Turing?

Sì, ha pubblicato lavori precoci nel 1937 riguardanti i concetti di Turing e in seguito ha dimostrato che le macchine programmabili e le macchine di Turing condividono un'identica portata computazionale.