Dick de Jongh

Dick H. J. de Jongh (born 1939) 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.^[1] 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.^[2] 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.^[3]

References

1. ^ Dick H. J. de Jongh at the Mathematics Genealogy Project..
2. ^ Preface to Logic, Language and Meaning, by L. T. F. Gamut, University of Chicago Press, 1991.
3. ^ Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh, Institute for Logic, Language and Computation, University of Amsterdam, 2004, http://www.illc.uva.nl/D65/ .

External links

• Web page at the University of Amsterdam

Persondata
Name	Jongh, Dick de
Alternative names
Short description
Date of birth	1939
Place of birth
Date of death
Place of death

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.v · Categories: 1939 births 20th-century mathematicians Dutch mathematicians Living people Dutch logicians University of Wisconsin–Madison alumni Dutch scientist stubs European mathematician stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем написать реферат Gaius Claudius Pulcher (consul 177 BC) Single cylinder engine Look at other dictionaries: Dick Bruna — est le pseudonyme du dessinateur hollandais Hendrik Magdalenus Bruna né en 1927 à Utrecht. Biographie Bruna était le deuxième fils de l éditeur A. W. Bruna et de J. C. C. Erdbrink, ainsi que le neveu de Henk Bruna. Pendant la Seconde Guerre… …   Wikipédia en Français Provability logic — is a modal logic, in which the box (or necessity ) operator is interpreted as it is provable that . The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. There are a number of… …   Wikipedia Lógica demostrativa — La lógica demostrativa es una lógica modal, en la que el operador caja (o necesidad ) es interpretado significando debe ser demostrado que . El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal… …   Wikipedia Español Stephen Cole Kleene — Infobox Scientist name = Stephen Kleene caption = birth date = birth date|1909|1|5 birth place = USA death date = death date and age|1994|1|25|1909|1|5 death place = residence = USA nationality = USA field = Mathematics work institutions =… …   Wikipedia List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia Interpretability logic — Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Pi;1 conservativity,… …   Wikipedia L. T. F. Gamut — was a collective pseudonym for the Dutch logicians Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. Logic, Language and Meaning is one of the most authoritative and widely used graduate textbook in formal… …   Wikipedia Institute for Logic, Language and Computation — The Institute for Logic, Language, and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate.ILLC s central research area is the study …   Wikipedia List of Dutch painters — History of Dutch and Flemish painting Early Netherlandish  (1400–1500) Renaissance painting  (1500–1584) Dutch Golden Age painting  (1584–1702) Flemish Baroque painting  (1585–1700) List of Dutch painters… …   Wikipedia Liste des sélectionnés en équipe d'Afrique du Sud de rugby à XV — Ceci est une liste des sélectionnés en équipe d Afrique du Sud de rugby à XV. La liste ci après comprend 828 sélectionnés. Le premier Springbok est Ben Duff, alors que le plus récent est Zane Kirchner. 1 à 100 Paul Roos …   Wikipédia en Français 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”