アーレンド・ヘイティング

アーレンド・ヘイティング
アーレント・ヘイティング（1967）
生まれる	（1898年5月9日）1898年5月9日 アムステルダム、オランダ
死亡	1980年7月9日（1980年7月9日）（82歳） ルガーノ、スイス
母校	アムステルダム大学
知られている	ハイティング代数ハイティング算術ハイティング体ブラウワー・ハイティング・コルモゴロフ解釈直観主義論理直観主義への貢献
科学者としてのキャリア
フィールド	数学
機関	アムステルダム大学
博士課程の指導教員	LEJ ブラウワー
博士課程の学生	アン・シャープ・トロエルストラダーク・ヴァン・ダーレン

アーレント・ヘイティング（オランダ語: [ˈaːrənt ˈɦɛitɪŋ] ; 1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者であった。

バイオグラフィー

ハイティングはアムステルダム大学でルイツェン・エグベルトゥス・ヤン・ブラウワーに師事し、直観主義論理を数理論理学の一部となるべく基盤を築くことに大きく貢献した。ハイティングは、ブラウワーの数学の手法を体系化するために、直観主義論理の最初の形式的展開を行った。ブラウワー＝ハイティング＝コルモゴロフ解釈にブラウワーの名が含まれているのは、主に敬意を表したものであり、ブラウワーは特定の直観主義原理の形式化に原則的に反対していた（ハイティングの研究を「不毛な試み」とさえ呼んでいた）。^{[ 1 ]}

1942年にオランダ王立芸術科学アカデミーの会員となった。^{[ 2 ]}

ハイティングはオランダのアムステルダムで生まれ、スイスのルガーノで亡くなった。

選定された出版物

• ヘイティング、アーレンド (1930)。 「直観主義の論理を正しく理解する」。Sitzungsberichte der preußischen Akademie der Wissenschaften、物理数学。 Klasse (ドイツ語) : 42–56、57–71、158–169。OCLC 601568391。​​ ( Berka、Karel、Kreiser、Lothar編の要約再版(1986). Logik-Texte . De Gruyter . pp.  188–192 . doi : 10.1515/9783112645826 . ISBN 978-3-11-264582-6。）

• — (1934)。数学グルンドラーゲンフォルシュング。直観主義。 Beweistheorie (ドイツ語)。ベルリン：シュプリンガー。^{[ 3 ]}

• —（1941年）。 「直観主義代数の理解」。そうですね。ネデル。アカド。ウェテンシュ。アフド。ナチュルク。宗派。 1 (ドイツ語)。18 (2)：36．

• — (1956). 『直観主義入門』アムステルダム: North-Holland Publishing Co.

• — (1959). 「直観主義平面アフィン幾何学の公理．公理的方法．幾何学と物理学への特別な言及」ヘンキン, L.、サッペス, P.、タルスキ, A. (編).カリフォルニア大学バークレー校で開催された国際シンポジウム議事録, 1957年12月26日～1958年1月4日. 『論理学と数学の基礎研究』アムステルダム: ノースホランド出版社, pp.  160– 173.

• — (1962). 「30年後」. E. ネーゲル編著『論理学、方法論、そして科学哲学』（1960年国際会議紀要） . カリフォルニア州スタンフォード：スタンフォード大学出版局. pp.  194– 197.

• — (1963).公理的射影幾何学. 数学図書館. 第5巻. ニューヨーク; フローニンゲン; アムステルダム: Interscience Publishers John Wiley & Sons, Inc.; P. Noordhoff NV; North-Holland Publishing Co.

• — (1966). 『直観主義入門（改訂第2版）』アムステルダム: North-Holland Publishing Co.

• — (1973). 「A.ロビンソン教授への演説。1973年4月26日、A.ロビンソン教授によるブラウワー記念講演会にて」。ニュー・アーチ・ウィスク (3) . 21 : 134–137 .

• — (1974)。Mathematische Grundlagenforschung、Intuitionismus、Beweistheorie (ドイツ語) (再版版)。ベルリン - ニューヨーク: Springer-Verlag。

• — (1980).公理的射影幾何学. 数学図書館. 第5巻（第2版）. フローニンゲン; アムステルダム–ニューヨーク: Wolters-Noordhoff Scientific Publications, Ltd.; North-Holland Publishing Co.

注記

1. ヴァン・スティグト 1990 .
2. Digitaal Wetenschapshistorisch Centrum。
3. 教会 1935年。

参考文献

• アロンゾ教会（1935年）。「レビュー: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie by A. Heyting」ブル。アメル。数学。社会（ドイツ語で）。41 : 476–477。土井: 10.1090/S0002-9904-1935-06126-9。

• デジタル Wetenschapshistorisch Centrum。「アーレンド・ハイティング (1898 – 1980)」。オランダ王立芸術科学アカデミー。2015 年7 月 28 日に取得。

• ヴァン・スティグト、ウォルター・P. (1990)。ブラウワーの直観主義。アムステルダム：北オランダ。

外部リンク

• オコナー、ジョン・J.;ロバートソン、エドマンド・F.、「アーレント・ヘイティング」、マクチューター数学史アーカイブ、セント・アンドリュース大学

「 https://en.wikipedia.org/w/index.php?title=Arend_Heyting&oldid=1292152232」から取得