Biography:Dirk van Dalen

Short description: Dutch mathematician and historian of science

Dirk van Dalen

Dirk van Dalen (born 20 December 1932, Amsterdam) is a Dutch mathematician and historian of science.

Van Dalen studied mathematics and physics and astronomy at the University of Amsterdam. Inspired by the work of Brouwer and Heyting, he received his Ph.D. in 1963 from the University of Amsterdam for the thesis Extension problems in intuitionistic plane Projective geometry. From 1964 to 1966 Van Dalen taught logic and mathematics at MIT, and later Oxford. From 1967 he was professor at the University of Utrecht. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the Royal Dutch Academy of Sciences for bringing the works of Brouwer to international attention.

Works

As (co-)author

• Fraenkel, Abraham; Bar-Hillel, Yehoshua; Levy, Azriel; Van Dalen, Dirk (1973). Foundations of Set Theory. Studies in Logic and Foundations of Mathematics. 67 (2nd revised ed.). Amsterdam: North Holland Publishing. ISBN 9780080887050. 

• — (1963). Extension problems in intuitionistic plane projective geometry (Thesis).

• Van Dalen, Dirk; Monna, Antonie Frans (1972). Sets and Integration. An Outline of the Development. Groningen: Wolters-Noordhoff. doi:10.1007/978-94-010-2718-2. ISBN 90-01-59775-0. 

• Van Dalen, Dirk; Doets, H.C.; De Swart, H.C.M. (1975) (in nl). Verzamelingen - naïef, axiomatisch en toegepast. Utrecht: Oosthoek, Scheltema & Holkema. pp. 364. ISBN 9789031300587. 

• Van Dalen, Dirk; Doets, H.C.; De Swart, H.C.M. (1978). Sets: Naive, Axiomatic and Applied. Pergamon Press. ISBN 0-08-021166-6. 

•   (1978) (in nl). Filosofische grondslagen van de Wiskunde. Terreinverkenningen in de filosofie. 4. Assen: Van Gorcum. ISBN 90-232-1540-0. 

•   (2013). Logic and Structure. Universitext (5 ed.). London, Heidelberg, New York, Dordrecht: Springer. doi:10.1007/978-1-4471-4558-5. ISBN 978-1447145578. 

•   (1982). "Braucht die konstruktive Mathematik Grundlagen?" (in de). Jahresbericht der Deutschen Mathematiker-Vereinigung (Berlin: G. Reimer) 84: 57–78. ISSN 0012-0456. 

• Troelstra, Anne Sjerp; Van Dalen, Dirk (1988). Constructivism in Mathematics: An Introduction. Amsterdam: North-Holland Publishing. 

1. Volume 1. Studies in Logic and the Foundations of Mathematics; 121. ISBN 0-444-70266-0. https://archive.org/details/troelstra-and-van-dalen-constructivism-in-mathematics-an-introduction-vol-1. 
2. Volume 2. Studies in Logic and the Foundations of Mathematics; 123. 1988. ISBN 0-444-70358-6. https://archive.org/details/constructivismin0002troe. 

•   (1990). "'The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen". Mathematical Intelligencer (Springer Verlag) 12 (4): 17–31. doi:10.1007/BF03024028. ISSN 0343-6993. 

• Van Dalen, Dirk; Ebbinghaus, Heinz-Dieter (June 2000). "Zermelo and the Skolem Paradox". Bulletin of Symbolic Logic 6 (2): 145–161. doi:10.2307/421203. 

•   (2001). "Intuitionistic Logic". in Goble, Lou. The Blackwell Guide to Philosophical Logic. New York: Blackwell Publishing. pp. 224–257. doi:10.1002/9781405164801.ch11. ISBN 9780631206934. 

•   (2002) (in nl). L.E.J. Brouwer (1881-1966). Een Biografie. Het heldere licht der wiskunde. Amsterdam: Bert Bakker. pp. 561. ISBN 9789035124820. 

•  . Mystic, Geometer and Intuitionist. The life of L. E. J. Brouwer. London: Oxford University Press. 

1. The dawning revolution. 2002. ISBN 0-19-850297-4. 
2. Dalen, Dirk van (2005). Hope and desillusion. Clarendon Press. ISBN 978-0-19-851620-0. 

•   (2005) (in nl). L.E.J. Brouwer en de Grondslagen van de Wiskunde. Utrecht: Epsilon. pp. 209. ISBN 9789050410939. 

•   (2013). L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How mathematics is rooted in life. Springer Verlag. ISBN 9781447146155. 

As (co-)editor

• Van Dalen, Dirk, ed (1981). Brouwer's Cambridge Lectures on Intuitionism. Cambridge University Press. ISBN 0521234417. 

• Freudenthal, Hans (2009). Selecta (Heritage of European Mathematics). Sources and studies in the history of mathematics and physical sciences. Zürich: European Mathematical Society. ISBN 978-3-03-719058-6. 

• Van Dalen, Dirk, ed (2011). The selected correspondence of L. E. J. Brouwer. Sources and studies in the history of mathematics and physical sciences. London: Springer Verlag. ISBN 978-0-85729-527-9. 

Further reading

• Dirk van Dalen Festschrift. University of Utrecht, Department of Philosophy. 1993. pp. 229. ISBN 9039303355. 
• Gurevich, Yuri, ed (1995). Special issue: a tribute to Dirk van Dalen. Amsterdam: North-Holland. 

External links

• KNAW (21 May 2003). "Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen" (in nl). http://www.knaw.nl/cfdata/nieuws/nieuws_detail.cfm?nieuws__id=145. 
• "Over Dirk van Dalen" (in nl). Koninklijke Bibliotheek (KB). https://poortman.kb.nl/long2.php?TABEL=T_NAAM&ID=4893. 
• "Dirk van Dalen, Emeritus Professor - Logic and Philosophy of Mathematics". http://www.phil.uu.nl/~dvdalen/. 
• Dirk van Dalen at the Mathematics Genealogy Project
• Interview Dirk van Dalen over L.E.J. Brouwer (2015) on YouTube