レオン・ヘンキン

レオン・ヘンキン

レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）は、アメリカの数学者兼論理学者としてその名を知られています。彼はカリフォルニア大学バークレー校の数学科で教授を務め、特に「ヘンキン版一階述語論理の意味論的完全性の証明」の分野で傑出した業績を残しました。

完全性の証明

述語論理の完全性についての証明は、数理論理学の重要なテーマの一つです。1929年にゲーデルが述語論理の完全性を初めて証明しましたが、ヘンキンは1949年にこれをより簡潔なアプローチで発表しました。この新しい証明方法は、その後の初等クラスや入門書においてスタンダードとして広く採用されています。

特筆すべきは、ヘンキンが当初、チャーチの高階述語論理に関する完全性を証明し、その手法が述語論理にも有効であることに気づいた点です。これにより、彼の研究は数学の基礎理論に大きな影響を与えました。

生涯

ヘンキンはブルックリンでユダヤ系ロシア移民の家庭に生まれました。彼はコロンビア大学で哲学と数学の学士号および修士号を取得し、その後プリンストン大学にてアロンゾ・チャーチの指導の下で博士号を取得しました。彼のキャリアの大部分はカリフォルニア大学バークレー校で過ごし、そこで多くの学生や研究者に教えるとともに、数理論理学の発展に寄与しました。

また、ヘンキンは著名な論理学者タルスキとも共同研究を行うなど、彼の業績は多岐にわたりました。彼の人生と仕事は、多くの論理学者や数学者に影響を与え、彼の方法論は後世にわたって参照され続けています。

参考文献

• - Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", The Journal of Symbolic Logic, 14: 159–166.
• - Henkin, Leon. 1950. "Completeness in the theory of types", Journal of Symbolic Logic, 15: 81–91.

外部リンク

• - Berkeley Citation Award
• - An interview with Henkin and others about their experiences at Princeton
• - An interview with Henkin about his experience at Princeton
• - Berkeley press release
• - LA Times obituary, November 16, 2006

レオン・ヘンキンの業績は数理論理学における重要な遺産であり、彼の研究は今後も数学者たちの基盤となるでしょう。

もう一度検索