アレン・ハイティング
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。 元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱した[1]。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。 1980年にスイスのルガノで亡くなる。
関連項目
[編集]脚注
[編集]- ^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
外部リンク
[編集]| 全般 | |
|---|---|
| 国立図書館 | |
| 学術データベース | |
| 人物 | |
| その他 | |
 | この項目は、数学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:人物伝／Portal:自然科学）。 |