Оглавление
Дик де Джонг
-
Биография и образование
- Дик Херман Якобус де Йонг родился 19 октября 1939 года в Энсхеде, Нидерланды.
- В 1968 году получил степень доктора философии в Университете Висконсин–Мэдисон под руководством Стивена Клини.
- Тема диссертации: “Исследования по интуиционистскому исчислению высказываний”.
-
Научная деятельность
- Де Йонг известен своими работами по теории доказательств, логике доказуемости и интуиционистской логике.
- Является членом группы, публикующейся под псевдонимом L. T. F. Гамма.
-
Выход на пенсию и признание
- В 2004 году Институт логики, языка и вычислительной техники Амстердамского университета опубликовал сборник в его честь.
- Де Йонг является профессором Амстердамского университета на пенсии.
-
Дополнительная информация
- Биографические данные заархивированы в the Wayback Machine.
- Внешние ссылки включают веб-страницу Амстердамского университета.
- Статья о голландском ученом является заглушкой, и её можно расширить.
- Статья о европейском математике также является заглушкой, и её можно расширить.