Де Йонг, Дик
| Дик Герман Якобус Де Йонг | |
|---|---|
| Dick Herman Jacobus de Jongh | |
| Дата рождения | 19 октября 1939 (85 лет) |
| Место рождения | Энсхеде, Нидерланды |
| Страна | |
| Род деятельности | математик, философ |
| Научная сфера | математическая логика, теория доказательств, интуиционистская логика |
| Место работы | Амстердамский университет |
| Альма-матер | |
| Учёная степень | доктор наук |
| Научный руководитель | Стивен Клини |
Дик Герман Якобус Де Йонг (нидерл. Dick Herman Jacobus de Jongh; 19 октября 1939, Энсхеде)[1] — нидерландский логик и математик, профессор Амстердамского университета на пенсии. Специалист в области математической логики, интуиционисткой теории вывода. В 1968 Дик Де Йонг защитил докторскую диссертацию в Висконсинском университете в Медисоне под руководством С. Клини на тему: "Investigations on the Intuitionistic Propositional Calculus"[2].
Де Йонг участвовал в создании коллективной монографии, выпущенной под псевдонимом L. T. F. Gamut.[3]. В 2004 по случаю выхода Де Йонга на пенсию в Институте логики, языка и информатики Амстердамского университета в его честь был опубликован фестшрифт.[4]
Ссылки
- ↑ Prof. dr. D.H.J. de Jongh, 1939 - Архивная копия от 27 сентября 2022 на Wayback Machine at the University of Amsterdam Album Academicum website
- ↑ Де Йонг, Дик (англ.) в проекте «Математическая генеалогия».
- ↑ Preface to Logic, Language and Meaning, by L. T. F. Gamut, University of Chicago Press, 1991.
- ↑ Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh, Institute for Logic, Language and Computation, University of Amsterdam, 2004, Архивировано из оригинала 28 июля 2011.
Библиография
- Bezhanishvili N., de Jongh D. Intuitionistic logic. – 2006.