Dicka de Jongha
Dick Herman Jacobus de Jongh (urodzony 19 października 1939, Enschede ) to holenderski logik i matematyk oraz emerytowany profesor na Uniwersytecie w Amsterdamie . Stopień doktora uzyskał w 1968 roku na Uniwersytecie Wisconsin-Madison pod kierunkiem Stephena Kleene'a na podstawie rozprawy zatytułowanej Investigations on the Intuitionistic Propositional Calculus . De Jongh jest głównie znany ze swojej pracy nad teorią dowodu , logiką możliwości udowodnienia i logiką intuicjonistyczną . De Jongh jest członkiem grupy zbiorowo wydawniczej pod pseudonimem L.TF Gamut . W 2004 roku, z okazji jego przejścia na emeryturę, Instytut Logiki, Języka i Obliczeń na Uniwersytecie w Amsterdamie opublikował festschrift na jego cześć.
Linki zewnętrzne
- Strona internetowa na Uniwersytecie w Amsterdamie
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |
| Naukowe bazy danych | |
| Inny | |
- 1939 urodzeń
- Holenderscy matematycy XX wieku
- Filozofowie holenderscy XX wieku
- Pracownicy naukowi Uniwersytetu Amsterdamskiego
- logicy holenderscy
- Holenderskie odcinki naukowców
- Zalążki europejskich matematyków
- Absolwenci Uniwersytetu w Lejdzie
- Żywi ludzie
- Ludzie z Enschede
- Teoretycy dowodu
- Absolwenci Uniwersytetu Amsterdamskiego
- Absolwenci Uniwersytetu Wisconsin-Madison