アレン・ハイティング

アレン・ハイティング（Arend Heyting）は、1898年5月9日にオランダの首都アムステルダムで生まれた、同国を代表する数学者および論理学者です。彼の研究は特に数学基礎論の一分野である直観主義において、後世に大きな影響を与えました。

若き日のハイティングは、数学基礎論における形式主義の主唱者として知られる高名な数学者ダフィット・ヒルベルトのもとで学業を修めました。しかし、彼の学究の道は一つの流れに留まらず、後にヒルベルトとは思想的に対立する立場にあった、オランダの数学者ライツェン・エヒベルトゥス・ヤン・ブラウワーに師事することになります。ブラウワーは直観主義数学の創始者であり、当時の主流であった形式的なアプローチや、無限集合に関する特定の証明法に対して懐疑的な見解を示していました。

ハイティングがブラウワーの弟子となったことは、彼の研究人生において決定的な転換点となりました。彼はブラウワーの直観主義的な数学哲学に深く傾倒し、その思想を論理学の言葉で表現し、体系化することに尽力しました。直観主義は、数学的対象の存在や証明の正しさを、我々が構築あるいは構成できるかどうかに基づいて判断する考え方です。ブラウワー自身は、数学の真理は人間の直観に根差すものであり、形式的な論理体系に閉じ込めることはできないと考えていました。

しかし、ハイティングはブラウワーの哲学をより広い論理学の世界で探求するためには、厳密な形式化が必要であると考えました。そして、1930年、彼は直観論理の最初の形式的な公理体系を提示したのです。これは、直観主義的な推論を捉えるための論理法則を、明確な公理と推論規則によって定義する試みであり、その後の直観論理研究の基礎を築く画期的な業績となりました。彼の確立した体系は、古典論理における排中律など、直観主義が受け入れない特定の原理を含まない論理体系として特徴づけられます。

ハイティングの業績は、論理学における新たな分野を切り開いただけでなく、代数学とも関連しています。彼の名前を冠する「ハイティング代数」は、直観論理の意味論を構成する代数構造であり、ブール代数を一般化した概念として、論理学のみならずコンピューター科学など様々な分野で研究されています。

師であったヒルベルトは、才能ある弟子であったハイティングが自身の形式主義の陣営を離れ、ブラウワーの直観主義へと転じたことを深く惜しんでいたという逸話も伝えられています。このことは、当時の数学基礎論における思想的な緊張関係と、その中でハイティングという人物が独自の道を切り開いたことの証とも言えるでしょう。

数学と論理学に多大な貢献を果たしたアレン・ハイティングは、1980年7月9日、スイスのルガノにてその生涯を閉じました。彼の確立した直観論理の形式体系は、現代の論理学研究において依然として重要な位置を占めています。

もう一度検索