Dirk van Dalen explained

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

• Book: Fraenkel. Abraham. Abraham Fraenkel. Bar-Hillel. Yehoshua. Yehoshua Bar-Hillel. Levy. Azriel. Azriel Lévy. Van Dalen. Dirk. 1. 1973. 1958. Foundations of Set Theory. Studies in Logic and Foundations of Mathematics. 67. North Holland Publishing. Amsterdam. 2nd revised. 9780080887050.
• Van Dalen. Dirk. 1. 1963. Extension problems in intuitionistic plane projective geometry.
• Book: Van Dalen. Dirk. 1. Monna. Antonie Frans. 1972. Sets and Integration. An Outline of the Development. Wolters-Noordhoff. Groningen. 10.1007/978-94-010-2718-2. 90-01-59775-0.
• Book: Van Dalen. Dirk. 1. Doets. H.C. . De Swart. H.C.M. . Verzamelingen - naïef, axiomatisch en toegepast. nl. Oosthoek, Scheltema & Holkema. Utrecht. 364. 1975. 9789031300587.
• Book: Van Dalen. Dirk. 1. Doets. H.C. . De Swart. H.C.M. . Sets: Naive, Axiomatic and Applied. Pergamon Press. 1978. 1975. 0-08-021166-6.
• Book: Van Dalen , Dirk . 1. 1978. Filosofische grondslagen van de Wiskunde. Terreinverkenningen in de filosofie. 4. Van Gorcum. nl. Assen. 90-232-1540-0.
• Book: Van Dalen , Dirk . 1. 2013. 1980. Logic and Structure. Universitext. 5. Springer. London, Heidelberg, New York, Dordrecht. 978-1447145578. 10.1007/978-1-4471-4558-5.
• Van Dalen. Dirk. 1. 1982. Braucht die konstruktive Mathematik Grundlagen?. Jahresbericht der Deutschen Mathematiker-Vereinigung. de. G. Reimer. Berlin. 84. 57–78. 0012-0456.
• Book: Troelstra. Anne Sjerp. Anne Sjerp Troelstra. Van Dalen. Dirk. 1. 1988. Constructivism in Mathematics: An Introduction. North-Holland Publishing. Amsterdam.

1. Book: Volume 1. Studies in Logic and the Foundations of Mathematics; 121. 0-444-70266-0 .
2. Book: Volume 2. Studies in Logic and the Foundations of Mathematics; 123. 1988. 0-444-70358-6.

• Van Dalen. Dirk. 1. 1990. 'The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen. Mathematical Intelligencer. Springer Verlag. 12. 4. 17–31. 10.1007/BF03024028. 123400249. 0343-6993.
• Van Dalen. Dirk. 1. Ebbinghaus. Heinz-Dieter. June 2000. Zermelo and the Skolem Paradox. Bulletin of Symbolic Logic. 6. 2. 145–161. 10.2307/421203. 421203. 8530810.
• Book: Van Dalen , Dirk . 1. Intuitionistic Logic. 2001. The Blackwell Guide to Philosophical Logic. 224–257. Goble. Lou. Blackwell Publishing. New York. 9780631206934. 10.1002/9781405164801.ch11.
• Book: Van Dalen , Dirk . 1. 2002. L.E.J. Brouwer (1881-1966). Een Biografie. Het heldere licht der wiskunde. nl. Bert Bakker. Amsterdam. 561. 9789035124820.
• Book: Van Dalen , Dirk . 1. Mystic, Geometer and Intuitionist. The life of L. E. J. Brouwer. Oxford University Press. London.

1. Book: The dawning revolution. 2002. 1999. 0-19-850297-4.
2. Book: Hope and desillusion. 2005. 978-0-19-851620-0. Dalen. Dirk van. Clarendon Press.

• Book: Van Dalen , Dirk . 1. 2005. L.E.J. Brouwer en de Grondslagen van de Wiskunde. nl. Epsilon. Utrecht. 209. 9789050410939.
• Book: Van Dalen , Dirk . 1. 2013. L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How mathematics is rooted in life. Springer Verlag. 9781447146155.

As (co-)editor

• Book: Van Dalen. Dirk. 1. 1981. Brouwer's Cambridge Lectures on Intuitionism. Cambridge University Press. 0521234417.
• Book: Freudenthal , Hans . Hans Freudenthal. Springer. Tonny A.. T. A. Springer. Van Dalen. Dirk. 1. 2009. Selecta (Heritage of European Mathematics). Sources and studies in the history of mathematics and physical sciences. European Mathematical Society. Zürich. 978-3-03-719058-6.
• Book: Van Dalen. Dirk. 1. 2011. The selected correspondence of L. E. J. Brouwer. Sources and studies in the history of mathematics and physical sciences. Springer Verlag. London. 978-0-85729-527-9.

Further reading

• Book: Barendregt. Henk. Henk Barendregt. Bezem. Marc. Klop. Jan Willem. Jan Willem Klop . 1993. Dirk van Dalen Festschrift. University of Utrecht, Department of Philosophy. 9039303355. 229.
• Book: Gurevich. Yuri. Yuri Gurevich. e.a.. 1995. Special issue: a tribute to Dirk van Dalen. North-Holland. Amsterdam.

External links

• News: KNAW. 21 May 2003. Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen. nl. 2 December 2023. 26 December 2010. https://web.archive.org/web/20101226081522/http://www.knaw.nl/cfdata/nieuws/nieuws_detail.cfm?nieuws__id=145. dead.
• Web site: Over Dirk van Dalen. nl. Koninklijke Bibliotheek (KB). 2023-12-02. 2016-03-03. https://web.archive.org/web/20160303235858/http://poortman.kb.nl/long2.php?TABEL=T_NAAM&ID=4893. dead.
• Web site: Dirk van Dalen, Emeritus Professor - Logic and Philosophy of Mathematics. 2 December 2023. 2010-03-28. https://web.archive.org/web/20100328192916/http://www.phil.uu.nl/~dvdalen/. dead.