Ieke Moerdijk

Izak (Ieke) Moerdijk (Dutch: [ˈikə ˈmurdɛik]; born 23 January 1958) is a Dutch mathematician who in 2012 won the Spinoza prize.[1]

Ieke Moerdijk
Born (1958-01-23) January 23, 1958
NationalityDutch
Alma materUniversity of Amsterdam
AwardsSpinoza Prize, 2012
Scientific career
FieldsMathematics
InstitutionsUtrecht University
ThesisTopics in Intuitionism and Topos Theory (1985)
Doctoral advisorAnne Sjerp Troelstra
Notable studentsJanez Mrčun
Marius Crainic

Moerdijk obtained his PhD at the University of Amsterdam in 1985. From 1988 to 2011 he was professor at Utrecht University. After working at the Mathematisch Instituut of the Radboud University Nijmegen for a few years, he returned to Utrecht University in 2016. He is the author of several books.

Since 2006 Moerdijk has been a member of the Royal Netherlands Academy of Arts and Sciences.[2]

Selected works

  • Mac Lane, Saunders; Moerdijk, Ieke (1994) Sheaves in geometry and logic. A first introduction to topos theory. Corrected reprint of the 1992 edition. Universitext. Springer-Verlag, New York, 1994.
  • Moerdijk, I.; Mrčun, J. (2003) Introduction to foliations and Lie groupoids. Cambridge Studies in Advanced Mathematics, 91. Cambridge University Press, Cambridge.
  • Moerdijk, Ieke; Reyes, Gonzalo E. (1991) Models for smooth infinitesimal analysis. Springer-Verlag, New York.
  • Joyal, A.; Moerdijk, I. (1995) Algebraic set theory. London Mathematical Society Lecture Note Series, 220. Cambridge University Press, Cambridge.
  • Ieke Moerdijk, "Classifying spaces and classifying topoi", Lecture Notes in Mathematics 1616, Springer 1995. vi+94 pp. ISBN 3-540-60319-0
gollark: https://lhartikk.github.io/
gollark: If you ARE to make one, at least be cool about it, write it yourself, and introduce 128471894619824671894718947120984789174018741461845182674512894697 horrible security vulnerabilities.
gollark: Are you making uncool cryptocurrency #19257125891725891725891259?
gollark: You can selectively mute @⁡everyone pings you know.
gollark: Have you tried having fewer pings?

See also

  • Constructive non-standard analysis

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.