Loading AI tools
professor académico alemão Da Wikipédia, a enciclopédia livre
Hans Hermes (Neunkirchen, Sarre, 12 de fevereiro de 1912 – 10 de novembro de 2003) foi um matemático alemão, que contribuiu de forma significativa para os fundamentos da lógica matemática.
| Hans Hermes | |
|---|---|
 | |
| Nascimento | 12 de fevereiro de 1912 Neunkirchen |
| Morte | 10 de novembro de 2003 (91 anos) |
| Cidadania | Alemanha |
| Alma mater | |
| Ocupação | matemático, professor universitário, cientista de computação |
| Empregador(a) | Universidade de Freiburgo, Universidade de Münster, Universidade de Bonn |
Hermes estudou a partir de 1931 matemática, física, química, biologia e filosofia na Universidade de Freiburg, Universidade de Munique e Universidade de Münster. Em 1937 prestou o Staatsexamen em Münster, onde obteve um doutorado em 1938, orientado pelo físico Adolf Kratzer e pelo filósofo e lógico Heinrich Scholz, com a tese Eine Axiomatisierung der Mechanik.[1] Em seguida obteve uma bolsa de estudos e foi para a Universidade de Göttingen sendo depois assistente na Universidade de Bonn. Na Segunda Guerra Mundial esteve até 1943 como soldado na ilha Jersey, ocupada pela Wehrmacht desde 1940 e depois no Chemisch-Physikalisches Institut da Marinha em Kiel e no final da guerra no Toplitzsee, Áustria. Em 1947 obteve a habilitação com Ernst Peschl em Bonn (Analytische Mannigfaltigkeiten in Riemannschen Bereichen) e foi então em Diätendozent e a partir de 1949 Dozent na Universidade de Münster, onde voltou-se novamente para a lógica matemática.
Em 1952 publicou conjuntamente com Heinrich Scholz um relatório enciclopédico que influenciou e deu suporte para o desenvolvimento da lógica matemática.
Em 1953 sucedeu Heinrich Scholz na direção do influente Institut für mathematische Logik und Grundlagenforschung da Universidade de Münster. Sob sua direção o instituto tornou-se um centro da nova disciplina, com reputação não apenas não apenas na Alemanha. Trabalhando com Hermes estiveram lá dentre outros Wilhelm Ackermann e Gisbert Hasenjaeger. Em 1966 seguiu um chamado para a nova cátedra Mathematische Logik und Grundlagen der Mathematik da Universidade de Freiburg, onde aposentou-se em 1977.
Em 1967 Hermes foi eleito membro da Academia de Ciências de Heidelberg.[2]
Os livros-texto de Hermes e seus artigos científicos convencem por sua originalidade, exatidão e clareza intuitiva, de acordo com Heinz-Dieter Ebbinghaus.
Hermes também envolveu-se com a edição iniciada por Scholz da obra de Gottlob Frege. Foi coeditor do Journal of Symbolic Logic. Em 1962 foi um dos membros fundadores da Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften (DVMLG). Em 1950 foi cofundador com Arnold Schmidt e Jürgen von Kempski do Archiv für Mathematische Logik und Grundlagen der Mathematik.
Dentre seus doutorandos constam Heinz-Dieter Ebbinghaus, Werner Markwald, Arnold Oberschelp, Walter Oberschelp e Jörg Flum.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
