Дик де Джонг

  • Биография и образование

    • Дик Херман Якобус де Йонг родился 19 октября 1939 года в Энсхеде, Нидерланды.  
    • В 1968 году получил степень доктора философии в Университете Висконсин–Мэдисон под руководством Стивена Клини.  
    • Тема диссертации: «Исследования по интуиционистскому исчислению высказываний».  
  • Научная деятельность

    • Де Йонг известен своими работами по теории доказательств, логике доказуемости и интуиционистской логике.  
    • Является членом группы, публикующейся под псевдонимом L. T. F. Гамма.  
  • Выход на пенсию и признание

    • В 2004 году Институт логики, языка и вычислительной техники Амстердамского университета опубликовал сборник в его честь.  
    • Де Йонг является профессором Амстердамского университета на пенсии.  
  • Дополнительная информация

    • Биографические данные заархивированы в the Wayback Machine.  
    • Внешние ссылки включают веб-страницу Амстердамского университета.  
    • Статья о голландском ученом является заглушкой, и её можно расширить.  
    • Статья о европейском математике также является заглушкой, и её можно расширить.  

Полный текст статьи:

Дик де Йонг

Оставьте комментарий

Прокрутить вверх