See more Dick de Jongh articles on AOD.

Powered by
TTSReader
Share this page on
Article provided by Wikipedia


( => ( => ( => Dick de Jongh [pageid] => 3888928 ) =>

Dick Herman Jacobus de Jongh (born 19 October 1939, "Enschede)[1] is a "Dutch "logician and "mathematician and a retired professor 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 entitled Investigations on the Intuitionistic Propositional Calculus.[2] 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.[3] 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.[4]

References[edit]

  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 .

External links[edit]

) )