Dick Herman Jacobus de Jongh (nacido el 19 de octubre de 1939 en Enschede ) [1] es un lógico y matemático holandés y profesor jubilado de la Universidad de Ámsterdam . Recibió su doctorado en 1968 de la Universidad de Wisconsin-Madison bajo la supervisión de Stephen Kleene con una disertación titulada Investigaciones sobre el cálculo proposicional intuicionista . [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]