アレン・ハイティングとは - わかりやすく解説 Weblio辞書

アレン・ハイティング

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/07 09:43 UTC 版)

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

^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.

「アレン・ハイティング」の続きの解説一覧

固有名詞の分類

論理学者	計算機科学テオプラストスアレン・ハイティングジョン・レモン廣瀬健 >>固有名詞 >>人名一覧 >>学者・研究者一覧 >>哲学者一覧
オランダの数学者	トーマス・スティルチェスゲンマ・フリシウスアレン・ハイティングクリスティアーン・ホイヘンスライツェン・エヒベルトゥス・ヤン・ブラウワー >>人名 >>学者・研究者一覧 >>数学者一覧

このページでは「ウィキペディア」からアレン・ハイティングを検索した結果を表示しています。
Weblioに収録されているすべての辞書からアレン・ハイティングを検索する場合は、下記のリンクをクリックしてください。