Loading article…
ディック・ハーマン・ヤコブス・デ・ヨン（1939年10月19日、エンスヘーデ生まれ）[1]は、オランダの論理学者、数学者であり、アムステルダム大学の元教授である。1968年、ウィスコンシン大学マディソン校でスティーブン・クリーネの指導の下、「直観主義命題計算の研究」と題する論文で博士号を取得した。[2]デ・ヨンは、証明論、証明可能性論理、直観主義論理に関する研究でよく知られている。デ・ヨンは、 L. TF Gamutというペンネームで共同出版しているグループのメンバーである。[3] 2004年、彼の退職を機に、アムステルダム大学論理・言語・計算研究所は彼を称える記念論文集を出版した。[4]
参考文献
- ^ DHJ de Jongh教授、1939年 -アムステルダム大学 Album Academicumウェブサイト
- ^ 数学系譜プロジェクトの Dick HJ de Jongh氏。
- ^ LTF Gamut著『論理、言語、意味』序文、シカゴ大学出版局、1991年。
- ^ Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh、アムステルダム大学論理言語計算研究所、2004 年、2011 年 7 月 28 日のオリジナルからアーカイブ。
- 履歴書 2016-03-03 にWayback Machineでアーカイブされました
外部リンク
- アムステルダム大学のウェブページ