Дик Херман Якобус де Йонг (родился 19 октября 1939 года, Энсхеде ) [1] - голландский логик и математик, профессор Амстердамского университета на пенсии . Он получил докторскую степень в 1968 году в Университете Висконсин-Мэдисон под руководством Стивена Клини, защитив диссертацию на тему « Исследования интуиционистского исчисления высказываний» . [2] Де Йонг больше всего известен своими работами по теории доказательств , логике доказуемости и интуиционистской логике.. Де Йонг является членом группы, публикующейся коллективно под псевдонимом L. TF Gamut . [3] В 2004 году по случаю его выхода на пенсию Институт логики, языка и вычислений при Амстердамском университете опубликовал праздничный сборник в его честь. [4]
- ^ Проф. Др. Д. Дж. Де Йонг, 1939 - насайте Альбома Академикума Амстердамского университета
- ↑ Дик Х. Дж. Де Йонг в проекте « Математическая генеалогия» .
- ^ Предисловие к логике, языку и смыслу , по ЛТС Gamut , Университет Chicago Press, 1991.
- ^ Vriendenboek ofwel Liber Amicorum тер gelegenheid ван гет afscheid ван Дик де Йонг , Институт логики, языка и вычислениям, Амстердамский университет, 2004, архив с оригинала на 2011-07-28.
Внешние ссылки [ править ]
| | Эта статья о голландском ученом - незавершенная . Вы можете помочь Википедии, расширив ее . |
| Эта статья о европейском математике - незавершенная . Вы можете помочь Википедии, расширив ее . |
