Dirk van Dalen
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 LEJ Brouwer and Arend 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
- Foundations of Set Theory, in samenwerking met Yehoshua Bar-Hillel en Azriel Levy, uitgeverij North Holland Amsterdam, 1958.
- Extension problems in intuitionistic plane projective geometry, 1963.
- Structure and Logic, Springer Universitext, 1980. ISBN 3-540-20879-8
- Brouwer's Cambridge Lectures on Intuitionism, Dirk van Dalen (redactie), Cambridge University Press, Cambridge, 1981.
- Lua error in package.lua at line 80: module 'strict' not found.
- Zermelo and the Skolem Paradox, Dirk van Dalen en Heinz-Dieter Ebbinghaus in: The Bulletin of Symbolic Logic, Volume 6, Nr 2, Juni 2000.
- Intuitionistic Logic, in: The Blackwell Guide to Philosophical Logic, Lou Goble (redactie), Blackwell New York, 2001.
- L.E.J. Brouwer - Topologist, Institionalist, Philosopher, Dirk van Dalen, Springer-Verlag, London, 2013.
References
- The article was originally created as a translation (Google) of the corresponding article in Dutch Wikipedia.
Further reading
- Dirk van Dalen Festschrift, Henk Barendregt en anderen (redactie), University of Utrecht, Department of Philosophy, 1993
- Special issue: a tribute to Dirk van Dalen, Yuri Gurevich (redactie), uitgeverij North-Holland, Amsterdam, 1995.
External links
- Koninklijke bibliotheek over Dirk van Dalen
- Homepage aan de Universiteit van Utrecht
- Persbericht KNAW 2003
- Dirk van Dalen at the Mathematics Genealogy Project
<templatestyles src="Asbox/styles.css"></templatestyles>
   |
This article about a Dutch scientist is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |
- Pages with broken file links
- 1932 births
- Living people
- Dutch mathematicians
- Dutch historians
- Historians of mathematics
- Historians of science
- Logicians
- Intuitionism
- Utrecht University faculty
- University of Amsterdam alumni
- Massachusetts Institute of Technology faculty
- Writers from Amsterdam
- Dutch logicians
- Dutch scientist stubs
- European mathematician stubs
