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