Dick de Jongh
Dick Herman Jacobus de Jongh (Enschede, 19 ottobre 1939) è un logico e matematico olandese e professore all'Università di Amsterdam[1].
Biografia[modifica | modifica wikitesto]
Nel 1968 conseguì il dottorato presso l'Università del Wisconsin-Madison con una dissertazione intitolata Investigations on the Intuitionistic Propositional Calculus (Indagini sul calcolo intuizionistico proposizionale), supervisionata da Stephen Kleene.[2]
De Jongh è noto principalmente per le sue opere sulla teoria della dimostrazione, la logica dimostrativa e la logica intuizionistica.
È membro di un gruppo di logici che si firma collettivamente con lo pseudonimo di L. T. F. Gamut.[3]
In occasione del suo pensionamento nel 1994, l'Istituto per la Logica, il Linguaggio e il Calcolo dell'Università di Amsterdam pubblicò un festschrift in suo onore.[4]
Note[modifica | modifica wikitesto]
- ^ Prof. dr. D.H.J. de Jongh, 1939 - all'Album Academicum dell'Università di Amsterdam
- ^ Dick H. J. de Jongh, su Mathematics Genealogy Project.
- ^ Prefazione a Logic, Language and Meaning, a cura di 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 (archiviato dall'url originale il 28 luglio 2011)..
Collegamenti esterni[modifica | modifica wikitesto]
- (EN) Dick de Jongh, su Mathematics Genealogy Project, North Dakota State University.
- Opere di Dick de Jongh, su MLOL, Horizons Unlimited.
| Controllo di autorità | VIAF (EN) 12329961 · ISNI (EN) 0000 0000 3745 8518 · LCCN (EN) n87882694 · GND (DE) 124543367 · BNF (FR) cb120641885 (data) · J9U (EN, HE) 987007455144305171 · WorldCat Identities (EN) lccn-n87882694 |
|---|
