アン・シェルプ・トロルストラ

アンネ・シェルプ・トロルストラ（1939年8月10日 - 2019年3月7日）は、アムステルダム大学論理・言語・計算研究所（ILLC）の純粋数学および数学の基礎教授であった。

彼は構成主義論理学者であり、直観主義論理の発展に影響を与えた。^[1]ゲオルク・クライゼルとともに選択列理論の開発者であった。 ^[2]彼は線型論理に関する最初のテキストの1つを執筆し、^[3]ヘルムート・シュヴィッテンベルクとともに証明理論に関する重要な本を共著した。^[4]

彼は1976年にオランダ王立芸術科学アカデミーの会員となった。^[5]トロエルストラは2019年3月7日に亡くなった。^[6]

注記

^ マーティン・レーブ (1921–2006) 2006年12月23日アーカイブ、Wayback Machine
^ マリオン、マシュー（1998）、ウィトゲンシュタイン、有限主義、数学の基礎、ニューヨーク：オックスフォード大学出版局、p. 205、ISBN 0-19-823516-X
^ ジャーベル、ハーマン・ルージュ (1996)、「レビュー： ASトロエルストラによる線形論理の講義」、Journal of Symbolic Logic、61 (1): 336– 38、doi :10.2307/2275616、JSTOR 2275616、S2CID 117923544
^ ディクホフ、ロイ (1998)、「レビュー: AS トロエルストラ、H. シュヴィッヒテンベルクによる基本証明理論」、 Journal of Symbolic Logic、63 (4): 1605–06、doi :10.2307/2586674、JSTOR 2586674、S2CID 118433941
^ 「Anne Troelstra」. オランダ王立芸術科学アカデミー。2016年2月14日時点のオリジナルよりアーカイブ。2016年2月14日閲覧。
^ “アン・トロエルストラ (1939-2019)”. ilc.uva.nl 。2019 年3 月 13 日に取得。

AS Troelstra のホームページ : リンク切れ - アーカイブ : AS Troelstra のホームページ : 2018 年 6 月 27 日に取得
数学系譜プロジェクトにおけるアン・シャープ・トロエルストラ