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 |
