Jump to content

Dick de Jongh: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
KasparBot (talk | contribs)
Rescuing 1 sources and tagging 0 as dead. #IABot (v1.2.7.1)
Line 1: Line 1:
'''Dick Herman Jacobus de Jongh''' (born 19 October 1939, [[Enschede]])<ref>[http://albumacademicum.uva.nl/cgi/b/bib/bib-idx?type=simple;lang=en;c=ap;rgn1=entirerecord;q1=Jongh;x=11;y=16;cc=ap;view=reslist;sort=achternaam;fmt=long;page=reslist;size=1;start=17 Prof. dr. D.H.J. de Jongh, 1939 -] at the [[University of Amsterdam]] ''Album Academicum'' website</ref> is a [[Netherlands|Dutch]] [[logic]]ian and [[mathematics|mathematician]] and a retired professor at the [[University of Amsterdam]].
'''Dick Herman Jacobus de Jongh''' (born 19 October 1939, [[Enschede]])<ref>[http://albumacademicum.uva.nl/cgi/b/bib/bib-idx?type=simple;lang=en;c=ap;rgn1=entirerecord;q1=Jongh;x=11;y=16;cc=ap;view=reslist;sort=achternaam;fmt=long;page=reslist;size=1;start=17 Prof. dr. D.H.J. de Jongh, 1939 -] at the [[University of Amsterdam]] ''Album Academicum'' website</ref> is a [[Netherlands|Dutch]] [[logic]]ian and [[mathematics|mathematician]] and a retired professor at the [[University of Amsterdam]].
He received his [[Doctor of Philosophy|PhD]] degree in 1968 from the [[University of Wisconsin–Madison]] under supervision of [[Stephen Cole Kleene|Stephen Kleene]] with a dissertation entitled ''Investigations on the Intuitionistic Propositional Calculus''.<ref>{{mathgenealogy|name=Dick H. J. de Jongh |id=9042}}.</ref> 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]].<ref>Preface to ''Logic, Language and Meaning'', by [[L. T. F. Gamut]], University of Chicago Press, 1991.</ref> 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.<ref>{{citation|title= Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh|year=2004|publisher=Institute for Logic, Language and Computation, University of Amsterdam|url=http://www.illc.uva.nl/D65/}}.</ref>
He received his [[Doctor of Philosophy|PhD]] degree in 1968 from the [[University of Wisconsin–Madison]] under supervision of [[Stephen Cole Kleene|Stephen Kleene]] with a dissertation entitled ''Investigations on the Intuitionistic Propositional Calculus''.<ref>{{mathgenealogy|name=Dick H. J. de Jongh |id=9042}}.</ref> 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]].<ref>Preface to ''Logic, Language and Meaning'', by [[L. T. F. Gamut]], University of Chicago Press, 1991.</ref> 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.<ref>{{citation|title=Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh|year=2004|publisher=Institute for Logic, Language and Computation, University of Amsterdam|url=http://www.illc.uva.nl/D65/}}.</ref>


==References==
==References==

Revision as of 17:40, 12 December 2016

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

  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 {{citation}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help).

External links