アーレント・ヘイティング （オランダ語: [ ˈaːrənt ˈɦɛitɪŋ ] - 1980年7月9日）は、オランダの数学者 、論理学者 。
主な出版物 ヘイティング、アーレンド (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 (ドイツ語)。ベルリン：シュプリンガー。— （1941年）。 「直観主義代数の理解」。そうですね。ネデル。アカド。ウェテンシュ。アフド。ナチュルク。宗派。 1 (ドイツ語)。18 (2)：36．— (1956).直観主義入門. アムステルダム: ノースホランド出版— (1959). 「直観主義平面アフィン幾何学の公理。公理的方法。幾何学と物理学に特に言及して」。L. Henkin、P. Suppes、A. Tarski (編)『1957年12月26日～1958年1月4日にカリフォルニア大学バークレー校で開催された国際シンポジウムの議事録』 。論理学と数学の基礎に関する研究。アムステルダム：North-Holland Publishing Co.、pp. 160–173 。 — (1962). 「30年後」。Nagel, E. (編)『論理学、方法論、科学哲学（1960年国際会議議事録）』 。カリフォルニア州スタンフォード：スタンフォード大学出版局。pp. 194–197 。 — (1963).公理的射影幾何学 . Bibliotheca Mathematica. Vol. V. ニューヨーク; フローニンゲン; アムステルダム: Interscience Publishers John Wiley & Sons, Inc.; P. Noordhoff NV; North-Holland Publishing Co.— (1966).直観主義入門 （第2版改訂 版）. アムステルダム：ノースホランド出版— (1973). 「A. ロビンソン教授への講演。1973年4月26日にA. ロビンソン教授によって行われたブロウワー記念講演の際に」。ニュー・アーキテクチュア・ウィスク。(3) . 21 : 134– 137。— (1974)。Mathematische Grundlagenforschung、Intuitionismus、Beweistheorie (ドイツ語) (再版 版)。ベルリン - ニューヨーク: Springer-Verlag。— (1980).公理的射影幾何学 . Bibliotheca Mathematica. Vol. V (第 2 版). フローニンゲン; アムステルダム–ニューヨーク: Wolters-Noordhoff Scientific Publications, Ltd.; North-Holland Publishing Co.
参考文献 アロンゾ教会 （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)。ブラウワーの直観主義 。アムステルダム：北オランダ。 