Dick de Jongh: Difference between revisions
m improve link: Mathematician (via WP:JWB) |
|||
| Line 21: | Line 21: | ||
[[Category:University of Amsterdam alumni]] |
[[Category:University of Amsterdam alumni]] |
||
[[Category:University of Wisconsin–Madison alumni]] |
[[Category:University of Wisconsin–Madison alumni]] |
||
[[Category:University of Amsterdam |
[[Category:Academic staff of the University of Amsterdam]] |
||
[[Category:Proof theorists]] |
[[Category:Proof theorists]] |
||
[[Category:20th-century Dutch philosophers]] |
[[Category:20th-century Dutch philosophers]] |
||
Revision as of 15:30, 12 January 2023
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
- ^ Prof. dr. D.H.J. de Jongh, 1939 - at the University of Amsterdam Album Academicum website
- ^ Dick H. J. de Jongh at the Mathematics Genealogy Project.
- ^ Preface to Logic, Language and Meaning, by L. T. F. Gamut, University of Chicago Press, 1991.
- ^ 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
- Web page at the University of Amsterdam
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
   | This article about a Dutch scientist is a stub. You can help Wikipedia by expanding it. |
 | This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |
- 1939 births
- Living people
- 20th-century Dutch mathematicians
- Dutch logicians
- Leiden University alumni
- University of Amsterdam alumni
- University of Wisconsin–Madison alumni
- Academic staff of the University of Amsterdam
- Proof theorists
- 20th-century Dutch philosophers
- People from Enschede
- Dutch scientist stubs
- European mathematician stubs