Dick de Jongh - Dick de Jongh
Dick Herman Jacobus de Jongh (né le 19 octobre 1939 à Enschede ) est un logicien et mathématicien néerlandais et professeur à la retraite à l' université d'Amsterdam . Il a obtenu son doctorat en 1968 à l' Université du Wisconsin-Madison sous la direction de Stephen Kleene avec une thèse intitulée Investigations on the Intuitionistic Propositional Calculus . De Jongh est surtout connu pour ses travaux sur la théorie de la preuve , la logique de prouvabilité et la logique intuitionniste . De Jongh est membre du groupe publiant collectivement sous le pseudonyme L. TF Gamut . En 2004, à l'occasion de sa retraite, l' Institute for Logic, Language and Computation de l'Université d'Amsterdam a publié un festschrift en son honneur.
Les références
Liens externes
- Page Web à l'Université d'Amsterdam
  
|
Cet article d'un scientifique néerlandais est un bout . Vous pouvez aider Wikipedia en l' étendant . |
 |
Cet article d'un mathématicien européen est un bout . Vous pouvez aider Wikipedia en l' étendant . |