ハンス・ヘルメス

ハンス・ヘルメス
1970年頃オーバーヴォルフアッハ
生まれる	( 1912-02-12 )1912年2月12日 ノインキルヒェン、ドイツ帝国
死亡	2003年11月10日(2003-11-10)（享年91歳）
科学者としてのキャリア
論文	Eine Axiomatisierung der allgemeinen Mechanik  (1938) 「リーマンシェン・ベライヒェン」の分析分析 (1947)
博士課程の指導教員	アドルフ・クラッツァー、ハインリヒ・ショルツ(1938)、エルンスト・ペシュル(1947)

ハンス・ヘルメス（ドイツ語: [ˈhɛʁmɛs] ; 1912年2月12日 - 2003年11月10日）はドイツの数学者、論理学者であり、数理論理学の基礎に多大な貢献をした。^[1]

ヘルメスはノインキルヒェンに生まれた。^{[2] 1931年より}フライブルク大学で数学、物理学、化学、生物学、哲学を学ぶ。1937年ミュンスターの国家試験に合格し、1938年には物理学者アドルフ・クラッツァーが在籍していた同大学に通っていた。その後、奨学金を得てゲッティンゲン大学に進学し、その後ボン大学の助手となった。第二次世界大戦中は1943年までチャンネル諸島のジャージー島で兵士として過ごし、その後キールの海軍化学物理学研究所に進んだ。終戦後、トプリッツ湖に移り、新しい暗号化方式の研究を任された。1947年、ボン大学の講師となり、学位を取得した。論文は「リーマン領域における解析多様体」。 1949年にミュンスター大学の教授となり、再び数理論理学の研究に戻った。^[2]

ハンス・ヘルメスは、予測可能性の中心概念としてのチューリングマシンの先駆者でした。1937年に、ヘルメスは「限定語と予測可能な数」というタイトルでチューリングマシンに関する論文を発表しました。これはチューリングの考えに忠実ではあるものの、万能マシンや決定問題の概念は含まれていませんでした 。

1952年にハインリヒ・ショルツと共著で百科事典を出版し、ドイツにおける数理論理学の発展に大きく貢献した。^[3]

1953年、彼はミュンスター大学の影響力の大きい数理論理学および基礎研究研究所の経営をハインリヒ・ショルツから引き継ぎました。^[4]彼のリーダーシップの下、研究所は連邦共和国内外の若手研究者を惹きつける著名な中心地となりました。ヘルメスと共に研究所に在籍していたのは、ヴィルヘルム・アッカーマンやギスベルト・ハーゼンイェーガーなどです。1966年、彼はフライブルク大学に新設された数理論理学および数学基礎学科に任命され、数学研究所に同名の学科を設立し始め、1977年に同大学の名誉教授となりました。

1954年、ヘルメスは、プログラム可能な固有値の可能性には予測可能な関数が含まれるという非公式の証明を発表し、そのため計算機はチューリングマシンと同じ濃度を持ち、チューリング完全性があることを証明した。^[2]

ヘルメスの教科書と彼の科学的研究は、ハインツ・ディーター・エビングハウスに彼の教科書の独創性、正確さ、直感的な明快さを認識させるものでした。 [ ^2]彼はまた、難しい問題や複雑な証明を非常に分かりやすく伝える方法を知っていた優れた学術教師でもありました。^[2]

ヘルメスは、ショルツがすでに始めていたゴットロープ・フレーゲの論文集成と出版にも携わった。1962年、彼はドイツ数理論理学・精密科学基礎研究協会（DVMLG）の創立メンバーの一人となった。^[5] 1950年、彼はアルノルド・シュミット、ユルゲン・フォン・ケンプスキーとともに数理論理学および数学の基礎に関するアーカイブの共同創立者となった。1967年、彼はハイデルベルク科学アカデミーの会員となった。^[6]

• 明確な用語と予測可能な数。、数学セミナーからの大学と学校の関係のケアのための学期レポート、ミュンスター 1937、110-123。
• 一般力学の公理化。論理と正確な科学の基礎に関する研究、第 3 号、ライプツィヒ、1938 年。
• 数学の問題を決定する機械。数学と物理学の学期レポート（ゲッティンゲン）（1952）、179-189。
• プログラム制御計算機の普遍性。数学と物理学学期レポート（ゲッティンゲン）4（1954）、42-53。
• 格子理論入門ベルリン – ゲッティンゲン – ハイデルベルク 1955 2 上級版 1967
• 列挙可能性 – 決定可能性 – 予測可能性。再帰関数の理論入門。、ベルリン – ゲッティンゲン – ハイデルベルク 1961 第 2 版 1971 (ハイデルベルク ペーパーバックとして)。
• 数理論理学入門 - 古典述語論理。Teubner Verlag、シュトゥットガルト 1963 年、1969 年に第 2 版が拡張されました。
• 選択演算子を使用した項論理。、ベルリン、1965 年。
• 再帰関数。、クラウス・ハイドラーとフリードリヒ-K.マーン、マンハイム – ウィーン – チューリッヒ 1977年。
• 数字とゲーム。、ハインツ・ディーター・エビングハウス、フリードリヒ・ヒルツェブルッフ、ヘルメス、その他：数字、シュプリンガー・フェアラーク、第3版、1992年
• 決定問題とドミノゲーム。Konrad Jacobs (編) Selecta Mathematica II、Springer、Heidelberg ペーパーバック、1970 年
• 数学の基礎。ヴェルナー・マルクヴァルトとの共著、ベンケ、スウィート、フラッド：数学の原理、第1巻、1958年、ヴァンデンフックとルプレヒト
• 数学論理学、数学科学百科事典、ハインリヒ・ショルツ新シリーズ、1952年
• 連想理論、数学百科事典、ゴットフリート・ケーテ共著、新シリーズ、1939年

• ヘルメス、ウィルヘルム・アッカーマン 1896-1962 を偲んで (pdf 945 KB)
• 数学系譜プロジェクトのハンス・ヘルメス