Dick de Jongh - Dick de Jongh
Dick Herman Jacobus de Jongh (nacido el 19 de octubre de 1939, Enschede ) 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 . 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 . 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.
Referencias
enlaces externos
- Página web de la Universidad de Amsterdam
  
|
Este artículo sobre un científico holandés es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |
 |
Este artículo sobre un matemático europeo es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |