Dick de Jongh

Dick de Jongh
Born (1939-10-19) October 19, 1939 (age 87)
Enschede
EducationUniversity of Wisconsin-Madison

University of Amsterdam

Universiteit Leiden
Scientific career
WorkplacesUniversity of Amsterdam
Stephen Kleene
Doctoral students

Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and professor emeritus at the University of Amsterdam. He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a dissertation titled Investigations on the Intuitionistic Propositional Calculus. De Jongh is mostly known for his work on proof theory, provability logic and intuitionistic logic. De Jongh is a member of the group collectively publishing under the pseudonym L. T. F. Gamut. In

2004, on the occasion of his retirement, the Institute for Logic, Language and Computation at the University of Amsterdam published a festschrift in his honor.

References

  1. ↑ Prof. dr. D.H.J. de Jongh, 1939 - at the University of Amsterdam Album Academicum website
  2. ↑ Dick H. J. de Jongh at the Mathematics Genealogy Project.
  3. ↑ Preface to Logic, Language and Meaning, by L. T. F. Gamut, University of Chicago Press, 1991.
  4. ↑ Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh, Institute for Logic, Language and Computation, University of Amsterdam, 2004, archived from the original on 2011-07-28.