Dirk van Dalen
Dirk van Dalen (born December 20, 1932 in Amsterdam ) is a Dutch mathematician (mathematical logic), science philosopher and mathematician.
Life
Van Dalen studied at the University of Amsterdam , where he received his doctorate on the application of the intuitionistic logic of Luitzen Egbertus Jan Brouwer in geometry under Arend Heyting in 1963 (Extensions in intuitionistic plane geometry, Indag.Math. Vol. 25). He was a post-doc at the Massachusetts Institute of Technology and Oxford University . Since 1960 he has been at the University of Utrecht , first in the mathematics faculty since 1967 as a professor in the philosophy faculty. He retired in 1997, but continues to teach History of Logic and Philosophy of Mathematics (2009).
Van Dalen wrote a biography of Brouwer and directed the Brouwer project, editing lectures by Brouwer and Brouwer's 1981 On the Fundamentals of Mathematics and Intuitionism (1992, Bibliographical Institute) and the Centenary Symposium on Brouwer's 100th birthday with Anne Troelstra (1982 ).
In 2003 he received the medal (Akademiepenning) of the Royal Netherlands Academy of Sciences. Since 1998 he has been a knight of the Order of the Dutch Lion. In 2007 he became an honorary member of the Dutch Mathematical Society ( Koninklijk Wiskundig Genootschap ), at the invitation of which he gave the lecture The Revolution of 1907 - Brouwers dissertation at the European Congress of Mathematicians in Amsterdam in 2008 . In 1962 he gave a lecture at the International Congress of Mathematicians in Stockholm ( Some problems in intuitionistic affine geometry ).
His doctoral students include Henk Barendregt , Lou van den Dries and Jan van Leeuwen .
Fonts (selection)
As an author
- Mystic, Geometer and Intuitionist. The life of LEJ Brouwer . Oxford University Press, London
- The dawning revolution . New edition 2002, ISBN 0-19-850297-4 .
- Hope and disillusion . 2005, ISBN 978-0-19-851620-0 .
- 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 ed. Elsevier, Amsterdam 2001, ISBN 0-7204-2270-1 (together with Abraham Fraenkel , Yehoshua Bar-Hillel , Azriel Levy ; reprint of the Amsterdam 1958 edition).
- Filosofische grondslagen van de Wiskunde (Terreinverkenningen in de filosofie; 4). Van Gorcum, Assen 1978, ISBN 90-232-1540-0 .
- Constructivism in Mathematics. An Introduction . North-Holland Publ., Amsterdam 1988 (together with Anne Troelstra).
- 1988, ISBN 0-444-70266-0 (Studies in logic and the foundations of mathematics; 121).
- 1988, ISBN 0-444-70358-6 (Studies in logic and the foundations of mathematics; 123).
- Sets and integration. An Outline of the Development . Wolters-Noordhoff, Groningen 1972, ISBN 90-01-59775-0 (together with Antonie Frans Monna ).
- Sets. Naive, Axiomatic and Applied (International series in pure and applied mathematics; 106). Pergamon Press, Oxford 1978, ISBN 0-08-021166-6 (together with HC Doets and Henricus CM de Swart).
- 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 (on the dispute between David Hilbert and Brouwer).
- Do constructive mathematics need basics? In: Annual Report of the German Mathematicians Association , Vol. 84 (1982), pp. 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 (together with Tonny Springer ).
Web links
Individual evidence
- ↑ Dirk van Dalen in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Dalen, Dirk van |
| BRIEF DESCRIPTION | Dutch mathematician |
| DATE OF BIRTH | December 20, 1932 |
| PLACE OF BIRTH | Amsterdam |