Де Йонг, Дик

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Дик Герман Якобус Де Йонг
Dick Herman Jacobus de Jongh
Дата рождения 19 октября 1939(1939-10-19) (84 года)
Место рождения Энсхеде, Нидерланды
Страна
Научная сфера математическая логика, теория доказательств, интуиционистская логика
Место работы Амстердамский университет
Альма-матер
Учёная степень доктор наук
Научный руководитель Стивен Клини

Дик Герман Якобус Де Йонг (нидерл. Dick Herman Jacobus de Jongh; 19 октября 1939, Энсхеде)[1] — нидерландский логик и математик, профессор Амстердамского университета на пенсии. Специалист в области математической логики, интуиционисткой теории вывода. В 1968 Дик Де Йонг защитил докторскую диссертацию в Висконсинском университете в Медисоне под руководством С. Клини на тему: "Investigations on the Intuitionistic Propositional Calculus"[2].

Де Йонг участвовал в создании коллективной монографии, выпущенной под псевдонимом L. T. F. Gamut.[3]. В 2004 по случаю выхода Де Йонга на пенсию в Институте логики, языка и информатики[en] Амстердамского университета в его честь был опубликован фестшрифт.[4]

Ссылки[править | править код]

  1. ↑ Prof. dr. D.H.J. de Jongh, 1939 - Архивная копия от 27 сентября 2022 на Wayback Machine at the University of Amsterdam Album Academicum website
  2. ↑ Де Йонг, Дик (англ.) в проекте «Математическая генеалогия».
  3. ↑ Preface to Logic, Language and Meaning, by L. T. F. Gamut, University of Chicago Press, 1991.
  4. ↑ 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.
Источник — https://ru.wikipedia.org/w/index.php?title=Де_Йонг,_Дик&oldid=137225646