Hans Hermes

O exame estatal em Münster em 1937 marcou o início académico formal de Hans Hermes, um matemático alemão que dedicou a sua carreira aos fundamentos da lógica matemática. Nascido em 1912 em Neunkirchen, navegou pelas paisagens políticas e institucionais em mudança da Alemanha do século XX para se tornar uma figura central no estudo da computabilidade e das funções recursivas.

Desenvolvimento académico inicial e serviço militar

A partir de 1931, Hermes prosseguiu estudos em matemática, física, química, biologia e filosofia na Universidade de Friburgo. Após o seu exame de 1937 em Münster, obteve uma bolsa na Universidade de Göttingen antes de servir como assistente na Universidade de Bona. Durante a Segunda Guerra Mundial, a sua trajetória foi interrompida pelo serviço militar na ilha de Jersey até 1943. Posteriormente, trabalhou no Instituto de Física Química da Marinha em Kiel e mais tarde participou em pesquisas criptográficas em Toplitzsee.

Avanço da lógica matemática

Em 1947, Hermes tornou-se professor na Universidade de Bona, completando a sua habilitação com uma tese sobre variedades analíticas em áreas de Riemann. Em 1949, foi nomeado professor na Universidade de Münster. Lá, assumiu o Instituto de Lógica Matemática e Investigação Básica de Heinrich Scholz em 1953. Sob a sua orientação, o instituto tornou-se um destino para investigadores, incluindo Wilhelm Ackermann e Gisbert Hasenjaeger. Ele moldou ainda mais o campo ao cofundar o Arquivo para a Lógica Matemática e Fundamentos da Matemática em 1950, juntamente com Arnold Schmidt e Jürgen von Kempski, e ajudando a estabelecer a Associação Alemã para a Lógica Matemática e para a Investigação Básica das Ciências Exatas em 1962.

Pesquisa sobre computabilidade e máquinas de Turing

Hermes produziu um trabalho significativo sobre a máquina de Turing como um conceito fundamental para a previsibilidade. O seu artigo de 1937, Termos definidos e números previsíveis, examinou as ideias de Turing, enquanto a sua publicação de 1954 sobre a universalidade das máquinas de computação controladas por programa demonstrou que tais máquinas possuem a mesma cardinalidade que as máquinas de Turing. Em 1966, aceitou uma nomeação para a recém-criada Cátedra de Lógica Matemática e Fundamentos da Matemática na Universidade de Friburgo, onde fundou um departamento especializado. Permaneceu lá até à sua reforma como professor emérito em 1977. Para além da sua pesquisa, trabalhou na compilação e publicação póstuma dos trabalhos de Gottlob Frege.

Factos rápidos

- Nascimento: 1912, Neunkirchen, Alemanha - Falecimento: 2003, Friburgo em Brisgóvia, Alemanha - Educação: Universidade de Münster, Universidade de Göttingen - Cargos académicos: Universidade de Münster, Universidade de Bona, Universidade de Friburgo - Membro: Academia de Ciências e Humanidades de Heidelberg - Campo principal: Lógica matemática - Contribuições notáveis: Cofundador do Arquivo para a Lógica Matemática e Fundamentos da Matemática

Perguntas dos leitores

### Qual foi a importância do instituto em Münster?

Sob a liderança de Hermes a partir de 1953, tornou-se um notável centro internacional para a lógica matemática e investigação básica.

### Hans Hermes contribuiu para o estudo das máquinas de Turing?

Sim, publicou trabalhos iniciais em 1937 sobre os conceitos de Turing e mais tarde provou que as máquinas programáveis e as máquinas de Turing partilham um alcance computacional idêntico.