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 |
Mitgliedschaften
Association for Symbolic Logic | |
Royal Dutch Math Soc. | |
Kurt Gödel Society | |
European Association for Computer Science Logic |
Publikationen
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 |
Auszeichnungen
Royal Ac. medal for the exact Sciences | |
Knight in the Order of the Dutch Lion |