アレン・ハイティング

アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。
元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱したWalter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。
1980年にスイスのルガノで亡くなる。

関連項目
 ハイティング代数

脚注

 外部リンク 
 アレン・ハイティング 

Category:19世紀の論理学者
Category:20世紀の論理学者
Category:オランダの数学者
Category:オランダの論理学者
Category:直観主義
Category:オランダ王立芸術科学アカデミー会員
Category:アムステルダム大学の教員
Category:アムステルダム大学出身の人物
Category:アムステルダム出身の人物
Category:1898年生
Category:1980年没
Category:数学に関する記事