Dirk van Dalen

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

Life

Van Dalen studied at the University of Amsterdam where he on the application of intuitionistic logic of Brouwer Luitzen Egbertus January in geometry at Arend Heyting in 1963 received his doctorate ( Extensions in intuitionistic plane geometry, Indag.Math. Bd.25 ). As a post-doc, he was at the Massachusetts Institute of Technology and the University of Oxford. Since 1960 he was at the University of Utrecht, first in the mathematics department since 1967 as a professor in the Faculty of Arts. In 1997 he retired, but further teaches the history of logic and philosophy of mathematics ( 2009).

Van Dalen wrote a biography of Brouwer and Brouwer led the project, which he published lectures by Brouwer and Brouwer 1981 The Foundations of Mathematics and intuitionism (1992, Bibliographical Institute ) and Anne Troelstra the Centenary Symposium on Brouwer's 100th birthday (1982 ).

In 2003 he received the Medal ( Academy Penning ) of the Royal Netherlands Academy of Sciences. Since 1998 he has been a Knight of the Order of the Netherlands Lion. In 2007 he was made an honorary member of the Dutch Mathematical Society ( Koninklijk Wiskundig Genootschap ), on whose invitation he lecture The Revolution of 1907 2008 - Brouwer's dissertation held at the European Congress of Mathematicians in Amsterdam. In 1962 he was invited speaker at the International Congress of Mathematicians in Stockholm ( Some problems in intuitionistic affine geometry ).

Writings (selection )

As author

  • Mystic, geometer and intuitionist. The life of L. E. J. Brouwer. Oxford University Press, London
  • Logic and Structure. 4th Edition, Springer, Berlin 2008, ISBN 978-3-540-20879-2.
  • Foundations of Set Theory ( Studies in logic and the foundations of mathematics, 67 ). 2nd edition, Elsevier, Amsterdam, 2001, ISBN 0-7204-2270-1 (along with Abraham Fraenkel, Yehoshua Bar - Hillel, Azriel Levy; Nachdr d ed Amsterdam 1958).
  • Constructivism in Mathematics. An Introduction. North -Holland Publ, Amsterdam, 1988 ( together with Anne Troelstra ).
  • Sets and integration. An Outline of the Development. Wolters- Noordhoff, Groningen 1972, ISBN 90-01-59775-0 (together with Frans Antonie Monna ).
  • Sets. Naive, Axiomatic and Applied (International series in pure and applied mathematics, 106 ). Pergamon Press, Oxford 1978, ISBN 0-08-021166-6 (along with HC Doets and Henricus C. de Swaart ).
  • Intuitionistic Logic. In: Lou Goble (ed.): The Blackwell Guide to Philosophical Logic ( Blackwell Philosophical Guides, 4). Blackwell, New York 2001, ISBN 0-631-20692-2.
  • The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen. In: Mathematical Intelligencer, Vol 12 (1990 ), pp. 17-31, ISSN 0343-6993 ( to battle against David Hilbert Brouwer ).
  • Does the constructive mathematics basics? In: Annual Report of the German Mathematical Society, vol 84 (1982 ), p.57 -78, ISSN 0012-0456.

As editor

  • Brouwer's Cambridge Lectures on Intuitionism. Cambridge University Press, Cambridge 1981, ISBN 0-521-23441-7.
  • The selected correspondence of LEJ Brouwer ( Sources and studies in the history of mathematics and physical sciences ). Springer Verlag, London 2011, ISBN 978-0-85729-527-9.
  • Hans Freudenthal: Selecta (Heritage of European Mathematics ). European Mathematical Society, Zurich 2009, ISBN 978-3-03-719058-6 ( with Tonny Springer ).
Azriel Lévy Name Authority File
290899
de