1937年在明斯特通过的国家考试标志着汉斯·赫尔梅斯(Hans Hermes)正式开启了学术生涯,这位德国数学家将他的职业生涯奉献给了数理逻辑基础的研究。他于1912年出生在诺因基兴,在20世纪德国动荡的政治和制度环境中,成为了可计算性和递归函数研究领域的核心人物。
早期学术发展与战争服役
从1931年开始,赫尔梅斯在弗赖堡大学学习数学、物理、化学、生物和哲学。在1937年于明斯特通过考试后,他获得了哥廷根大学的奖学金,随后在波恩大学担任助理。第二次世界大战期间,他的职业轨迹因在泽西岛服兵役而中断,直至1943年。此后,他在基尔的海军化学物理研究所工作,后来参与了托普利茨湖的密码研究。
数理逻辑的推进
1947年,赫尔梅斯成为波恩大学的讲师,并凭借关于黎曼区域解析流形的论文完成了教授资格论文。1949年,他被任命为明斯特大学教授。1953年,他从海因里希·肖尔茨手中接管了数理逻辑与基础研究研究所。在他的指导下,该研究所成为了包括威廉·阿克曼和吉斯伯特·哈森耶格在内的研究人员的目的地。他进一步塑造了该领域,于1950年与阿诺德·施密特和尤尔根·冯·肯普斯基共同创立了《数理逻辑与数学基础档案》,并于1962年协助建立了德国数理逻辑与精确科学基础研究协会。
关于可计算性和图灵机的研究
赫尔梅斯在图灵机作为可预测性基础概念方面做出了重要贡献。他1937年的文章《确定项与可预测数》探讨了图灵的思想,而他1954年关于程序控制计算机器普遍性的出版物证明了此类机器与图灵机具有相同的基数。1966年,他接受了弗赖堡大学新设立的数理逻辑与数学基础教席的任命,并在那里创立了一个专门的系。他一直任职到1977年退休成为名誉教授。除了研究工作外,他还致力于戈特洛布·弗雷格论文的遗作整理与出版。
快速事实
- 出生:1912年,德国诺因基兴 - 去世:2003年,德国弗赖堡 - 教育:明斯特大学,哥廷根大学 - 学术职位:明斯特大学,波恩大学,弗赖堡大学 - 成员:海德堡科学院 - 主要领域:数理逻辑 - 重要贡献:《数理逻辑与数学基础档案》共同创始人
读者常见问题
### 明斯特研究所的重要性是什么?
在赫尔梅斯自1953年开始的领导下,它成为了数理逻辑和基础研究领域著名的国际中心。
### 汉斯·赫尔梅斯对图灵机的研究有贡献吗?
是的,他于1937年发表了关于图灵概念的早期研究,并后来证明了可编程机器与图灵机具有相同的计算能力。
.jpg)