Дик де Йонг
Дик Герман Якобус де Йонг (родился 19 октября 1939, Энсхеде ) [1] — голландский логик и математик , бывший профессор Амстердамского университета .Он получил степень доктора философии в 1968 году в Университете Висконсин-Мэдисон под руководством Стивена Клини , защитив диссертацию под названием «Исследования интуиционистского исчисления высказываний» . [2] Де Йонг наиболее известен своими работами по теории доказательств , логике доказуемости и интуиционистской логике . Де Йонг — член группы, коллективно публикующейся под псевдонимом L. TF Gamut . [3] В 2004 году, по случаю его выхода на пенсию, Институт логики, языка и вычислений Амстердамского университета опубликовал в его честь почетную грамоту . [4]
Ссылки [ править ]
- ^ Проф. д-р. DHJ де Йонг, 1939 - на Амстердамского университета. Album Academicum сайте
- ^ Дик Х.Дж. де Йонг в проекте «Математическая генеалогия» .
- ↑ Предисловие к книге «Логика, язык и значение» , автор LTF Gamut , University of Chicago Press, 1991.
- ^ Книга друзей или Liber Amicorum по случаю прощания с Диком де Йонгом , Институт логики, языка и вычислений, Амстердамский университет, 2004 г., заархивировано из оригинала 28 июля 2011 г.
- Биографические данные. Архивировано 3 марта 2016 г. в Wayback Machine.
Внешние ссылки [ править ]
- Веб-страница Амстердамского университета
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья о голландском ученом незавершена . Вы можете помочь Википедии, расширив ее . |
 | статья о европейском математике незавершена Эта . Вы можете помочь Википедии, расширив ее . |
- 1939 рождений
- Живые люди
- Голландские математики XX века
- голландские логики
- Выпускники Лейденского университета
- Выпускники Амстердамского университета
- Выпускники Университета Висконсин-Мэдисон
- Академический состав Амстердамского университета
- Теоретики доказательств
- Голландские философы ХХ века
- Люди из Энсхеде
- Голландский ученый незавершенный
- Европейские математики незавершены