1937年のミュンスターでの国家試験は、数理論理学の基礎に生涯を捧げたドイツの数学者、ハンス・エルメス（Hans Hermes）の正式な学術的キャリアの始まりを告げるものであった。1912年にノインキルヒェンで生まれた彼は、20世紀ドイツの激動する政治的・制度的状況を乗り越え、計算可能性と帰納的関数の研究における中心人物となった。
初期の学術的発展と兵役
1931年から、エルメスはフライブルク大学で数学、物理学、化学、生物学、哲学を学んだ。1937年のミュンスターでの試験後、ゲッティンゲン大学で奨学金を得て研究し、その後ボン大学で助手として勤務した。第二次世界大戦中、彼のキャリアは1943年までジャージー島での兵役によって中断された。その後、キールの海軍化学物理学研究所で働き、後にトプリッツ湖での暗号研究に参加した。
数理論理学の発展
1947年、エルメスはボン大学の講師となり、リーマン領域における解析的多様体に関する論文で教授資格を取得した。1949年にはミュンスター大学の教授に任命された。そこで1953年、ハインリヒ・ショルツから数理論理学・基礎研究研究所を引き継いだ。彼の指導の下、研究所はヴィルヘルム・アッカーマンやギスベルト・ハーゼンイェーガーを含む研究者の目的地となった。さらに1950年にはアルノルト・シュミットやユルゲン・フォン・ケンプスキと共に『数理論理学および数学基礎論アーカイブ』を共同設立し、1962年にはドイツ数理論理学・基礎科学研究協会の設立を支援するなど、この分野を形成した。
計算可能性とチューリングマシンに関する研究
エルメスは、予測可能性の基礎概念としてのチューリングマシンに関して重要な業績を残した。1937年の論文『確定項と予測可能数』ではチューリングのアイデアを検討し、1954年のプログラム制御計算機の普遍性に関する出版物では、そのような機械がチューリングマシンと同じ濃度を持つことを証明した。1966年、フライブルク大学に新設された数理論理学および数学基礎論の講座に就任し、専門の学科を設立した。1977年に名誉教授として退官するまでそこに留まった。研究以外では、ゴットロープ・フレーゲの論文の死後編集と出版にも取り組んだ。
基本データ
- 生誕: 1912年、ドイツ、ノインキルヒェン - 死没: 2003年、ドイツ、フライブルク・イム・ブライスガウ - 学歴: ミュンスター大学、ゲッティンゲン大学 - 学術的職位: ミュンスター大学、ボン大学、フライブルク大学 - 所属: ハイデルベルク科学人文学アカデミー - 主要分野: 数理論理学 - 主な貢献: 『数理論理学および数学基礎論アーカイブ』共同設立者
読者からの質問
### ミュンスターの研究所の重要性は何でしたか？
1953年からのエルメスの指導の下、数理論理学と基礎研究における著名な国際的拠点となりました。
### ハンス・エルメスはチューリングマシンの研究に貢献しましたか？
はい、1937年にチューリングの概念に関する初期の研究を発表し、後にプログラム可能な機械とチューリングマシンが同一の計算能力を持つことを証明しました。
.jpg)