Dick Herman Jacobus de Jongh (nacido el 19 de octubre de 1939, Enschede ) [1] es un lógico y matemático holandés y profesor jubilado en la Universidad de Amsterdam . Recibió su doctorado en 1968 de la Universidad de Wisconsin-Madison bajo la supervisión de Stephen Kleene con una disertación titulada Investigations on the Intuitionistic Propositional Calculus . [2] De Jongh es conocido principalmente por su trabajo sobre teoría de la prueba , lógica de demostrabilidad y lógica intuicionista.. De Jongh es miembro del grupo que publica colectivamente bajo el seudónimo de L. TF Gamut . [3] En 2004, con motivo de su jubilación, el Instituto de Lógica, Lenguaje y Computación de la Universidad de Amsterdam publicó un festschrift en su honor. [4]
Referencias
- ^ Prof. dr. DHJ de Jongh, 1939 - en elsitio web Album Academicum de la Universidad de Ámsterdam
- ^ Dick HJ de Jongh en el Proyecto de genealogía de las matemáticas .
- ^ Prefacio a la lógica, el lenguaje y el significado , por LTF Gamut , University of Chicago Press, 1991.
- ^ Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh , Instituto de Lógica, Lenguaje y Computación, Universidad de Amsterdam, 2004, archivado desde el original el 28 de julio de 2011.
enlaces externos
- Página web de la Universidad de Amsterdam