Дик Херман Якобус де Йонг (родился 19 октября 1939 г., Enschede )[1] это нидерландский язык логик и математик и профессор на пенсии Амстердамский университет Он получил свой кандидат наук степень в 1968 г. Университет Висконсина-Мэдисона под наблюдением Стивен Клини с диссертацией под названием Исследования по интуиционистскому исчислению высказываний.[2] Де Йонг в основном известен своей работой над теория доказательств, логика доказуемости и интуиционистская логика. Де Йонг является членом группы, публикующейся под псевдоним Л. Т. Ф. Гамут.[3] В 2004 году по случаю выхода на пенсию Институт логики, языка и вычислений в Амстердамском университете опубликовал фестивальный сбор в его честь.[4]
Рекомендации
- ^ Проф. Др. D.H.J. де Йонг, 1939 - на Амстердамский университет Альбом Academicum интернет сайт
- ^ Дик Х. Дж. Де Йонг на Проект "Математическая генеалогия".
- ^ Предисловие к Логика, язык и смысл, к Л. Т. Ф. Гамут, Издательство Чикагского университета, 1991.
- ^ Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh, Институт логики, языка и вычислений, Амстердамский университет, 2004 г., архив оригинал на 2011-07-28.
внешняя ссылка
Авторитетный контроль  | |
|---|
