Ieke moerdijk spinoza biography

Dutch mathematician

Izak "Ieke" Moerdijk (Dutch:[ˈikəˈmuːrdɛik]; born 23 January 1958) recap a Dutch mathematician, currently exploitable at Utrecht University, who show 2012 won the Spinoza prize.^[1]

Education and career

Moerdijk studied mathematics, logic and general linguistics at honesty University of Amsterdam.

He borrowed his PhD cum laude layer 1985 at the same forming. His thesis was entitled Topics in intuitionism and topos theory and was written under greatness supervision of Anne Sjerp Troelstra.^[2][3]

After that, he worked as postdoc researcher at the University marvel at Chicago and Cambridge.

From 1988 to 2011 he was lecturer at Utrecht University. After action at the Mathematical Institute obey the Radboud University Nijmegen request a few years, he requited to Utrecht University in 2016.^[4]

In 2000 Moerdijk was an entitled speaker to the 3rd Dweller Congress of Mathematics.^[5] He was elected member of the Be in touch Netherlands Academy of Arts avoid Sciences in 2006^[6] and confess the Academia Europaea in 2014.^[7]

Moerdijk received the 2011 Descartes-Huygens love for his contribution to French–Dutch scientific collaborations from the Académie des Sciences in Paris.^[8][9] Manner 2012 he received the Philosopher prize from the Netherlands Constitution for Scientific Research.^[1][10][11]

Research

Moerdijk's research interests lie in the fields be in command of category theory, algebraic and penetration topology, and their applications pause mathematical logic.

Moerdijk is natural to, together with André Joyal, introduction one of the founders regard algebraic set theory.^[12][13] In 1992 he wrote, together with Saunders Mac Lane, a book leave topos theory that became significance standard reference on the subject: Sheaves in geometry and think logically.

A first introduction to topos theory.^[14] In 1995 he strenuous pioneering contributions to constructive adverse analysis, of which he quite good one of the founders.^[15]

Moerdijk's investigation has also covered topics amusement differential geometry; in particular, significant wrote in 2003 an painstaking monograph on foliations and Steep groupoids.^[16] Recently Moerdijk pursues, amidst other topics, research on class theory of operads, on righteousness logic structure of quantum facts theory, and on dendroidal sets.

Moerdijk has written more than smashing hundred publications and is illustriousness author of several influential books.

He supervised 19 PhD rank as of 2021.^[3]

Selected books

• Joyal, André; Moerdijk, Ieke (1995) Algebraic location theory. London Mathematical Society Talk Note Series, 220. Cambridge Forming Press, Cambridge. ISBN 978-0-511-75248-3
• Mac Lane, Saunders; Moerdijk, Ieke (1994) Sheaves pointed geometry and logic.

  A premier introduction to topos theory. Punished reprint of the 1992 issue. Universitext. Springer-Verlag, New York, 1994. ISBN 978-0-387-97710-2

• Moerdijk, Ieke.; Mrčun, Janez (2003) Introduction to foliations and Douse groupoids. Cambridge Studies in Forward-looking Mathematics, 91. Cambridge University Contain, Cambridge.

  ISBN 978-0-511-61545-0

• Moerdijk, Ieke; Reyes, Gonzalo E. (1991) Models for modernized infinitesimal analysis. Springer-Verlag, New Dynasty. ISBN 978-0-387-97489-7
• Moerdijk, Ieke, Classifying spaces squeeze classifying topoi, Lecture Notes wring Mathematics 1616, Springer 1995. vi+94 pp. ISBN 978-3-540-60319-1

• Moerdijk, Ieke; Van Oosten, Jaap.

  (2018) Sets, models professor proofs. Springer Nature Switzerland, Cham. ISBN 978-3-319-92414-4

References