Войти
Дик Херман Якобус де Йонг (родился 19 октября 1939 г., Энсхеде ), нидерландский логик и математик и профессор на пенсии Университета Амстердам. Он получил степень доктора философии в 1968 году в Университете Висконсина-Мэдисона под руководством Стивена Клини, защитив диссертацию на тему «Исследования интуиционистского исчисления высказываний». Де Йонг больше всего известен своими работами по теории доказательств, логике доказуемости и интуиционистской логике. Де Джонг является участником группы, публикующейся коллективно под псевдонимом L. Т. Ф. Гамут. В 2004 году по случаю его выхода на пенсию Институт логики, языка и вычислений Амстердамского университета опубликовал festschrift в его честь.
