ウィキペディア |
 
|
アレン・ハイティング
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2011/11/22 06:47 UTC 版)
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。 元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱した[1]。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。 1980年にスイスのルガノで亡くなる。
- ^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
[続きの解説]
「アレン・ハイティング」の続きの解説一覧
- 1 アレン・ハイティングとは
- 2 アレン・ハイティングの概要
固有名詞の分類
| 論理学者 |
計算機科学 テオプラストス アレン・ハイティング ジョン・レモン 廣瀬健 |
| オランダの数学者 |
トーマス・スティルチェス ゲンマ・フリシウス アレン・ハイティング クリスティアーン・ホイヘンス ライツェン・エヒベルトゥス・ヤン・ブラウワー |
アレン・ハイティングのページへのリンク
