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: ```pythonbad_things = ["lyric", "endos", "solarflame", "lyric", "319753218592866315", "andrew"]good_things = ["potato", "heav", "gollark", "helloboi", "bees", "hellboy", "rust", "ferris", "crab"]def weight(thing): lthing = thing.lower() weight = 1.0 for bad_thing in bad_things: if bad_thing in lthing: weight *= 0.5 for good_thing in good_things: if good_thing in lthing: weight *= 2.0 print(thing, weight) return weight```
gollark: Anyone want to know the SECRETS of how the AUTOBIAS algorithm works?
gollark: I doubt it.
gollark: --choose 10000 heav andrew
gollark: --choose heav andrew

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.