Dirk van Dalen

Summary

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

Dirk van Dalen

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.[1] 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.[2]

Works edit

As (co-)author edit

  • Fraenkel, Abraham; Bar-Hillel, Yehoshua; Levy, Azriel; — (1973) [1958]. Foundations of Set Theory. Studies in Logic and Foundations of Mathematics. Vol. 67 (2nd revised ed.). Amsterdam: North Holland Publishing. ISBN 9780080887050.
  • — (1963). Extension problems in intuitionistic plane projective geometry (Thesis).
  • —; 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.
  • —; Doets, H.C.; De Swart, H.C.M. (1975). Verzamelingen - naïef, axiomatisch en toegepast (in Dutch). Utrecht: Oosthoek, Scheltema & Holkema. p. 364. ISBN 9789031300587.
  • —; Doets, H.C.; De Swart, H.C.M. (1978) [1975]. Sets: Naive, Axiomatic and Applied. Pergamon Press. ISBN 0-08-021166-6.
  • — (1978). Filosofische grondslagen van de Wiskunde. Terreinverkenningen in de filosofie (in Dutch). Vol. 4. Assen: Van Gorcum. ISBN 90-232-1540-0.
  • — (2013) [1980]. 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?". Jahresbericht der Deutschen Mathematiker-Vereinigung (in German). 84. Berlin: G. Reimer: 57–78. ISSN 0012-0456.
  1. Volume 1. Studies in Logic and the Foundations of Mathematics; 121. ISBN 0-444-70266-0.
  2. Volume 2. Studies in Logic and the Foundations of Mathematics; 123. 1988. ISBN 0-444-70358-6.
  • — (1990). "'The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen". Mathematical Intelligencer. 12 (4). Springer Verlag: 17–31. doi:10.1007/BF03024028. ISSN 0343-6993. S2CID 123400249.
  • — (2001). "Intuitionistic Logic". In Goble, Lou (ed.). The Blackwell Guide to Philosophical Logic. New York: Blackwell Publishing. pp. 224–257. doi:10.1002/9781405164801.ch11. ISBN 9780631206934.
  • — (2002). L.E.J. Brouwer (1881-1966). Een Biografie. Het heldere licht der wiskunde (in Dutch). Amsterdam: Bert Bakker. p. 561. ISBN 9789035124820.
  1. The dawning revolution. 2002 [1999]. ISBN 0-19-850297-4.
  2. Dalen, Dirk van (2005). Hope and desillusion. Clarendon Press. ISBN 978-0-19-851620-0.
  • — (2005). L.E.J. Brouwer en de Grondslagen van de Wiskunde (in Dutch). Utrecht: Epsilon. p. 209. ISBN 9789050410939.
  • — (2013). L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How mathematics is rooted in life. Springer Verlag. ISBN 9781447146155.

As (co-)editor edit

  • —, 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.

References edit

Further reading edit

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

External links edit

  • KNAW (21 May 2003). "Berichten aan de pers: Akademiepenning 2003 voor Dirk van Dalen" (in Dutch). Archived from the original on 26 December 2010. Retrieved 2 December 2023.
  • "Over Dirk van Dalen". Koninklijke Bibliotheek (KB) (in Dutch). Archived from the original on 2016-03-03. Retrieved 2023-12-02.
  • "Dirk van Dalen, Emeritus Professor - Logic and Philosophy of Mathematics". Archived from the original on 2010-03-28. Retrieved 2 December 2023.
  • Dirk van Dalen at the Mathematics Genealogy Project
  • Interview Dirk van Dalen over L.E.J. Brouwer (2015) on YouTube