to Content

Dr. Dirk VAN DALEN Utrecht University

CV

 Math teacher Lyceum, assistant Mathematics Department Amsterdam, Assoc. Prof. Math Dept. Utrecht, Instructor MIT (math), Visiting Prof. Oxford, Prof. Phil of Math. and Logic Utrecht University, Prof. History of Logic and Phil. of Mathematics, Visiting Professor in Antwerp, and Leuven

Memberships

Association for Symbolic Logic
Royal Dutch Math Soc.
Kurt Gödel Society
European Association for Computer Science Logic

Publications

Logic & Structure, 1981-2005
Mystic, Geometer and Intuitionist: The Life of L. E. J. Brouwer; Vol 1, The Dawning Revolution, 1999; Vol 2, Hope and Disillusion, 2005
Constructivism in mathematics (2v ols.), with A. S. Troelstra, 1988

Awards

Royal Ac. medal for the exact Sciences
Knight in the Order of the Dutch Lion