van Dalen, Dirk; Rowe, David E. L. E. J. Brouwer: Intuitionism. 2nd edition. (L. E. J. Brouwer: Intuitionismus.) (German) Zbl 1476.03001 Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-61388-7/pbk; 978-3-662-61389-4/ebook). ix, 191 p. (2020). Reviewer: Valery Plisko (Moskva) MSC: 03-03 03B20 03F55 01A70 01A75 PDFBibTeX XMLCite \textit{D. van Dalen} and \textit{D. E. Rowe}, L. E. J. Brouwer: Intuitionismus. 2nd edition. Berlin: Springer Spektrum (2020; Zbl 1476.03001) Full Text: DOI
van Dalen, Dirk (ed.); Jongbloed, Geurt (ed.); Klop, Jan Willem (ed.); van Mill, Jan (ed.) Preface: L. E. J. Brouwer, fifty years later [Preface to the virtual special issue]. (English) Zbl 1411.00049 Indag. Math., New Ser. 30, No. 3, 387-402 (2019). MSC: 00B15 01A60 01A70 03-06 03-03 PDFBibTeX XMLCite \textit{D. van Dalen} (ed.) et al., Indag. Math., New Ser. 30, No. 3, 387--402 (2019; Zbl 1411.00049) Full Text: DOI
van Dalen, Dirk Blumenthal in Holland. Book review of: V. Felsch, Otto Blumenthals Tagebücher. Ein Aachener Mathematikprofessor erleidet die NS-Diktatur in Deutschland, den Niederlanden und Theresienstadt. (Dutch) Zbl 1347.00052 Nieuw Arch. Wiskd. (5) 16, No. 1, 17-21 (2015). MSC: 00A17 01A60 01A70 01A85 PDFBibTeX XMLCite \textit{D. van Dalen}, Nieuw Arch. Wiskd. (5) 16, No. 1, 17--21 (2015; Zbl 1347.00052)
van Dalen, Dirk L. E. J. Brouwer – from mysticism to mathematics. (L. E. J. Brouwer – van mystiek tot wiskunde.) (Dutch) Zbl 1342.03006 Epsilon Uitgaven 74. Utrecht: Epsilon Uitgaven (ISBN 978-90-5041-133-2/pbk). 263 p. (2013). MSC: 03-03 01A70 01A60 PDFBibTeX XMLCite \textit{D. van Dalen}, L. E. J. Brouwer -- van mystiek tot wiskunde (Dutch). Utrecht: Epsilon Uitgaven (2013; Zbl 1342.03006)
van Dalen, Dirk L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life. Updated revision of the two volume biography ‘Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer’ published 1999 and 2005. (English) Zbl 1255.01024 Berlin: Springer (ISBN 978-1-4471-4615-5/hbk; 978-1-4471-4616-2/ebook). xii, 875 p. (2013). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A70 00A30 01-02 01A60 01A72 PDFBibTeX XMLCite \textit{D. van Dalen}, L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life. Updated revision of the two volume biography `Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer' published 1999 and 2005. Berlin: Springer (2013; Zbl 1255.01024) Full Text: DOI
van Dalen, Dirk Poincaré and Brouwer on intuition and logic. (English) Zbl 1261.03011 Nieuw Arch. Wiskd. (5) 13, No. 3, 191-195 (2012). MSC: 03-03 01A60 PDFBibTeX XMLCite \textit{D. van Dalen}, Nieuw Arch. Wiskd. (5) 13, No. 3, 191--195 (2012; Zbl 1261.03011)
van Dalen, Dirk [Brouwer, L. E. J.] The selected correspondence of L. E. J. Brouwer. (English) Zbl 1225.01097 Sources and Studies in the History of Mathematics and Physical Sciences. London: Springer (ISBN 978-0-85729-527-9/hbk; 978-1-4471-2691-1/pbk; 978-0-85729-537-8/ebook). vii, 529 p. (2011). Reviewer: Jim Mackenzie (Sydney) MSC: 01A75 00A30 01A60 03A05 01-02 PDFBibTeX XMLCite \textit{D. van Dalen}, The selected correspondence of L. E. J. Brouwer. London: Springer (2011; Zbl 1225.01097) Full Text: DOI
van Dalen, Dirk Brouwer’s \(\epsilon\)-fixed point and Sperner’s lemma. (English) Zbl 1220.03051 Theor. Comput. Sci. 412, No. 28, 3140-3144 (2011). MSC: 03F55 03-03 54H25 PDFBibTeX XMLCite \textit{D. van Dalen}, Theor. Comput. Sci. 412, No. 28, 3140--3144 (2011; Zbl 1220.03051) Full Text: DOI
van Dalen, Dirk The revolution of 1907 – Brouwer’s dissertation. (English) Zbl 1198.01023 Ran, André (ed.) et al., European congress of mathematics. Proceedings of the 5th ECM congress, Amsterdam, Netherlands, July 14–18, 2008. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-077-7/hbk). 213-230 (2010). Reviewer: R. W. van der Waall (Huizen) MSC: 01A60 03-03 PDFBibTeX XMLCite \textit{D. van Dalen}, in: European congress of mathematics. Proceedings of the 5th ECM congress, Amsterdam, Netherlands, July 14--18, 2008. Zürich: European Mathematical Society (EMS). 213--230 (2010; Zbl 1198.01023)
van Dalen, Dirk; Remmert, Volker R. Ce périodique foncièrement international: the birth and youth of Compositio Mathematica. (English) Zbl 1239.01061 Nieuw Arch. Wiskd. (5) 8, No. 3, 178-189 (2007). MSC: 01A60 PDFBibTeX XMLCite \textit{D. van Dalen} and \textit{V. R. Remmert}, Nieuw Arch. Wiskd. (5) 8, No. 3, 178--189 (2007; Zbl 1239.01061)
van Dalen, Dirk Snapshots from Brouwer’s universe. (English) Zbl 1196.03081 Joray, Pierre (ed.), Contemporary perspectives on logicism and the foundation of mathematics. Based on the conference on contemporary perspectives on logicism, Neuchâtel, Switzerland, April 2005. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. Travaux de Logique. Centre de Recherches Sémiologiques 18, 1-14 (2007). Reviewer: Teun Koetsier (Amsterdam) MSC: 03F55 00A30 01A60 03-03 PDFBibTeX XMLCite \textit{D. van Dalen}, Trav. Log., Cent. Rech. Sémiol. 18, 1--14 (2007; Zbl 1196.03081)
van Dalen, Dirk; Remmert, Volker R. The birth and youth of Compositio Mathematica: ‘Ce périodique foncièrement international’. (English) Zbl 1107.01007 Compos. Math. 142, No. 5, 1083-1102 (2006). Reviewer: Immo O. Kerner (Nienhagen) MSC: 01A60 PDFBibTeX XMLCite \textit{D. van Dalen} and \textit{V. R. Remmert}, Compos. Math. 142, No. 5, 1083--1102 (2006; Zbl 1107.01007) Full Text: DOI
van Dalen, Dirk How the mathematical objects determine the mathematical principles. (English) Zbl 1124.03300 J. UCS 11, No. 12, 2132-2141 (2005). MSC: 03-03 00A30 03F55 03F60 PDFBibTeX XMLCite \textit{D. van Dalen}, J. UCS 11, No. 12, 2132--2141 (2005; Zbl 1124.03300) Full Text: Link
van Dalen, Dirk Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer, 1881–1966. Volume 2: Hope and disillusion. (English) Zbl 1096.01014 Oxford: Oxford University Press (ISBN 0-19-851620-7). x, 441-946. (2005). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A70 00A30 01A72 01A60 01-02 PDFBibTeX XMLCite \textit{D. van Dalen}, Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer, 1881--1966. Volume 2: Hope and disillusion. Oxford: Oxford University Press (2005; Zbl 1096.01014)
van Dalen, D. Kolmogorov and Brouwer on constructive implication, and the contradiction rule. (English. Russian original) Zbl 1056.03039 Russ. Math. Surv. 59, No. 2, 247-257 (2004); translation from Usp. Mat. Nauk 59, No. 2, 53-64 (2004). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03F55 01A60 03-03 PDFBibTeX XMLCite \textit{D. van Dalen}, Russ. Math. Surv. 59, No. 2, 247--257 (2003; Zbl 1056.03039); translation from Usp. Mat. Nauk 59, No. 2, 53--64 (2004) Full Text: DOI
van Atten, Mark; van Dalen, Dirk; Tieszen, Richard Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuum. (English) Zbl 1032.01025 Philos. Math. (3) 10, No. 2, 203-226 (2002). Reviewer: Ivor Grattan-Guinness (Bengeo/Herts) MSC: 01A60 01A70 03A05 03F55 PDFBibTeX XMLCite \textit{M. van Atten} et al., Philos. Math. (3) 10, No. 2, 203--226 (2002; Zbl 1032.01025) Full Text: DOI
van Dalen, Dirk The development of Brouwer’s intuitionism. (English) Zbl 1013.03003 Hendricks, Vincent F. (ed.) et al., Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31-November 1, 1997. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 292, 117-152 (2002). Reviewer: Victor V.Pambuccian (Phoenix) MSC: 03-03 03F55 PDFBibTeX XMLCite \textit{D. van Dalen}, Synth. Libr. 292, 117--152 (2002; Zbl 1013.03003)
van Dalen, Dirk L. E. J. Brouwer and the foundations of mathematics. (L. E. J. Brouwer en de grondslagen van de wiskunde.) (Dutch) Zbl 1024.03003 Epsilon Uitgaven 51. Utrecht: Epsilon Uitgaven (ISBN 90-5041-061-8/pbk). iv, 209 p. (2001). Reviewer: Teun Koetsier (Amsterdam) MSC: 03-03 01A60 03F55 01A75 PDFBibTeX XMLCite \textit{D. van Dalen}, L. E. J. Brouwer en de grondslagen van de wiskunde (Dutch). Utrecht: Epsilon Uitgaven (2001; Zbl 1024.03003)
van Dalen, Dirk Brouwer and Fraenkel on intuitionism. (English) Zbl 0969.03002 Bull. Symb. Log. 6, No. 3, 284-310 (2000). Reviewer: Victor V.Pambuccian (Phoenix) MSC: 03-03 03F55 03A05 PDFBibTeX XMLCite \textit{D. van Dalen}, Bull. Symb. Log. 6, No. 3, 284--310 (2000; Zbl 0969.03002) Full Text: DOI Link
van Dalen, Dirk; Ebbinghaus, Heinz-Dieter Zermelo and the Skolem paradox. (English) Zbl 0976.03002 Bull. Symb. Log. 6, No. 2, 145-161 (2000). Reviewer: Ulrich Felgner (Tübingen) MSC: 03-03 01A60 00A30 03E30 03E70 03B15 PDFBibTeX XMLCite \textit{D. van Dalen} and \textit{H.-D. Ebbinghaus}, Bull. Symb. Log. 6, No. 2, 145--161 (2000; Zbl 0976.03002) Full Text: DOI Link
Van Dalen, Dirk Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer, 1881–1966. Volume 1: The dawning revolution. Volume 2: Hope and disillusion. (English) Zbl 1122.01019 Oxford: Oxford University Press (ISBN 0-19-850297-4/v.1; 0-19-851620-7/v.2). xv, 946 p. (1999/2005). Reviewer: Alexander Soifer (Colorado Springs) MSC: 01A70 00A30 01A72 01A60 01-02 PDFBibTeX XMLCite \textit{D. Van Dalen}, Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer, 1881--1966. Volume 1: The dawning revolution. Volume 2: Hope and disillusion. Oxford: Oxford University Press (1999; Zbl 1122.01019)
van Dalen, Dirk Luitzen Egbertus Jan Brouwer. (English) Zbl 0948.01037 James, I. M. (ed.), History of topology. Amsterdam: Elsevier. 947-964 (1999). MSC: 01A70 01A60 54-03 57-03 03-03 PDFBibTeX XMLCite \textit{D. van Dalen}, in: History of topology. Amsterdam: Elsevier. 947--964 (1999; Zbl 0948.01037)
van Dalen, Dirk The role of language and logic in Brouwer’s work. (English) Zbl 0918.01015 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 3-14 (1999). Reviewer: V.Peckhaus (Erlangen) MSC: 01A60 00A30 03-03 03A05 PDFBibTeX XMLCite \textit{D. van Dalen}, Stud. Fuzziness Soft Comput. 24, 3--14 (1999; Zbl 0918.01015)
Van Dalen, Dirk Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 1: The dawning revolution. (English) Zbl 0916.01021 Oxford: Oxford University Press. xv, 440 p. (1999). Reviewer: J.J.Burckhardt (Zürich) MSC: 01A70 01A60 01-02 PDFBibTeX XMLCite \textit{D. Van Dalen}, Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 1: The dawning revolution. Oxford: Oxford University Press (1999; Zbl 0916.01021)
van Dalen, Dirk L. E. J. Brouwer’s intuitionism: A revolution in two installments. (English) Zbl 0945.03500 Thirteenth annual IEEE symposium on Logic in computer science. Held in Indianapolis, IN, USA, June 21-24, 1998. Los Alamitos, CA: IEEE Computer Society. 228-241 (1998). MSC: 03-03 01A60 03F55 03A05 PDFBibTeX XMLCite \textit{D. van Dalen}, in: Thirteenth annual IEEE symposium on logic in computer science. Held in Indianapolis, IN, USA, June 21--24, 1998. Los Alamitos, CA: IEEE Computer Society. 228--241 (1998; Zbl 0945.03500)
van Dalen, Dirk Hermann Weyl’s intuitionistic mathematics. (English) Zbl 0858.03007 Bull. Symb. Log. 1, No. 2, 145-169 (1995). Reviewer: A.Garciadiego (Mexico) MSC: 03-03 01A60 03F55 01A72 PDFBibTeX XMLCite \textit{D. van Dalen}, Bull. Symb. Log. 1, No. 2, 145--169 (1995; Zbl 0858.03007) Full Text: DOI Link
van Dalen, Dirk The dispute about the foundations of mathematics between Brouwer and Hilbert. (Der Grundlagenstreit zwischen Brouwer und Hilbert.) (German) Zbl 0796.01015 Eichhorn, Eugen (ed.) et al., Vorlesungen zum Gedenken an Felix Hausdorff. Berlin: Heldermann Verlag. Berl. Studienr. Math. 5, 207-212 (1994). Reviewer: J.J.Burckhardt (Zürich) MSC: 01A60 PDFBibTeX XMLCite \textit{D. van Dalen}, Berl. Studienr. Math. 5, 207--212 (1994; Zbl 0796.01015)
van Dalen, D. Freudenthal and the foundations of mathematics. (English) Zbl 0751.03002 Nieuw Arch. Wiskd., IV. Ser. 9, No. 2, 137-143 (1991). Reviewer: D.Bridges (Hamilton / New Zealand) MSC: 03-03 01A60 PDFBibTeX XMLCite \textit{D. van Dalen}, Nieuw Arch. Wiskd., IV. Ser. 9, No. 2, 137--143 (1991; Zbl 0751.03002)
van Dalen, D. The war of the frogs and the mice, or the crisis of the Mathematische Annalen. (English) Zbl 0723.01006 Math. Intell. 12, No. 4, 17-31 (1990). Reviewer: U.D’Ambrosio (Campinas) MSC: 01A60 01A70 PDFBibTeX XMLCite \textit{D. van Dalen}, Math. Intell. 12, No. 4, 17--31 (1990; Zbl 0723.01006) Full Text: DOI
van Dalen, D. Heyting and intuitionistic geometry. (English) Zbl 0770.03001 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 19-27 (1990). Reviewer: G.Kreisel (Oxford) MSC: 03-03 03F55 01A60 PDFBibTeX XMLCite \textit{D. van Dalen}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 19--27 (1990; Zbl 0770.03001)
Müller, Gert H. (ed.); Lenski, W. (ed.); Kister, J. E. (ed.); van Dalen, D. (ed.); Troelstra, A. S. (ed.) \(\Omega\)-bibliography of mathematical logic. In collaboration with Wolfgang Lenski. Volume VI: Proof theory. Constructive mathematics. Edited by Jane E. Kister, Dirk van Dalen and Anne S. Troelstra. (English) Zbl 0632.03007 Perspectives in Mathematical Logic. Berlin etc.: Springer-Verlag. XLI, 405 p.; 6-vol.-set: DM 1.940.00 (1987). Reviewer: P.Hájek MSC: 03-00 00A15 03Fxx 03B40 03A05 PDFBibTeX XML
van Dalen, Dirk; Monna, A. F. Sets and integration. An outline of the development. (English) Zbl 0274.01028 Groningen, The Netherlands: Wolters-Noordhoff Publishing. VIII, 162 p. Dfl. 43.30 (1972). MSC: 01A55 03-03 26-03 28-03 01A60 01A65 PDFBibTeX XML