Dirk van Dalen - Dirk van Dalen

Dirk van Dalen
Dirk van Dalen (narozen 20. prosince 1932, Amsterdam ) je holandský matematik a historik vědy.
Van Dalen vystudoval matematiku, fyziku a astronomii na VŠE University of Amsterdam. Inspirován prací Brouwer a Hej, získal titul Ph.D. v roce 1963 z University of Amsterdam pro tuto práci Problémy s rozšířením v intuitivní rovině Projektivní geometrie. V letech 1964 až 1966 Van Dalen učil logiku a matematiku na MIT, a později Oxford. Od roku 1967 byl profesorem na Univerzita v Utrechtu. V roce 2003 získal Dirk van Dalen akademickou medaili 2003 Královské nizozemské akademie věd za to, že se Brouwerovi dostalo mezinárodní pozornosti.[1]
Funguje
- 1958: (s Yehoshua Bar-Hillel a Azriel Levy ) Základy teorie množin, North Holland Publishing
- 1963: Problémy s rozšířením v intuitivní rovině projektivní geometrie
- 1978: (s H.C.Detsem a H. De Swartem) Sady: Naivní, Axiomatické a Aplikované, Pergamon Press ISBN 0-08-021166-6
- 1980: Logika a struktura, Springer Universitext ISBN 3-540-20879-8
- 1981: (editor) Brouwer's Cambridge Lectures on Intuitionism Cambridge University Press ISBN 0521234417
- 1988: Troelstra, Anne; van Dalen, Dirku. Konstruktivismus v matematice, sv. 2. Studie v logice a základech matematiky. ISBN 0-444-70358-6.
- 2000: (s Heinz-Dieter Ebbinghaus ) „Zermelo a Skolemův paradox“, Bulletin of Symbolic Logic 6(2)
- 2001: „Intuitionistic Logic“, in: Blackwell Guide to Philosophical Logic, Lou Goble (redaktor), Blackwell
- 2013: L.E.J. Brouwer - topolog, intuice, filozof: Jak je matematika zakořeněna v životě, Springer-Verlag ISBN 9781447146155
Reference
- Článek byl původně vytvořen jako překlad (Google) příslušného článku v Holandská Wikipedia.
Další čtení
- Dirk van Dalen Festschrift, Henk Barendregt en anderen (redactie), University of Utrecht, Department of Philosophy, 1993
- Zvláštní vydání: pocta Dirkovi van Dalenovi, Jurij Gurevič (redactie), uitgeverij North-Holland, Amsterdam, 1995.
externí odkazy
- Koninklijke bibliotheek nad Dirkem van Dalenem
- Domovská stránka aan de Universiteit van Utrecht
- Dirk van Dalen na Matematický genealogický projekt