Dick de Jongh

Dick Herman Jacobus de Jongh (born 19 October 1939) is a Dutch logician and mathematician. He is a retired professor at the University of Amsterdam. De Jongh received his PhD in 1968 from the University of Wisconsin–Madison, with Stephen Kleene as his supervisor. His doctoral dissertation was titled "Investigations on the Intuitionistic Propositional Calculus". He is primarily recognized for his contributions to proof theory, provability logic, and intuitionistic logic. De Jongh was also part of a group that published collectively under the pseudonym L. T. F. Gamut. In 2004, a festschrift was published in his honor by the Institute for Logic, Language and Computation at the University of Amsterdam, marking his retirement.