Ieke Moerdijk

Matemático holandés

Izak " Ieke " Moerdijk ( en holandés: [ˈikə ˈmuːrdɛik] ; nacido el 23 de enero de 1958) es un matemático holandés, actualmente trabajando en la Universidad de Utrecht , que en 2012 ganó el premio Spinoza . ^[1]

Educación y carrera

Moerdijk estudió matemáticas, filosofía y lingüística general en la Universidad de Ámsterdam . Obtuvo su doctorado cum laude en 1985 en la misma institución. Su tesis se tituló Temas de intuicionismo y teoría de topos y fue escrita bajo la supervisión de Anne Sjerp Troelstra . ^{[2] [3]}

Posteriormente trabajó como investigador postdoctoral en la Universidad de Chicago y Cambridge . De 1988 a 2011 fue profesor en la Universidad de Utrecht . Después de trabajar en el Instituto de Matemáticas de la Universidad Radboud de Nijmegen durante unos años, regresó a la Universidad de Utrecht en 2016. ^[4]

En 2000, Moerdijk fue orador invitado en el Tercer Congreso Europeo de Matemáticas . ^[5] Fue elegido miembro de la Real Academia Holandesa de Artes y Ciencias en 2006 ^[6] y de la Academia Europaea en 2014. ^[7]

Moerdijk recibió el premio Descartes-Huygens 2011 por su contribución a las colaboraciones científicas franco-holandesas de la Academia de Ciencias de París. ^{[8] [9]} En 2012 recibió el premio Spinoza de la Organización Holandesa para la Investigación Científica . ^{[1] [10] [11]}

Investigación

Los intereses de investigación de Moerdijk se centran en los campos de la teoría de categorías , la topología algebraica y diferencial y sus aplicaciones a la lógica matemática .

Moerdijk es considerado, junto con André Joyal , como uno de los fundadores de la teoría algebraica de conjuntos. ^{[12] [13]} En 1992 escribió, junto con Saunders Mac Lane , un libro sobre teoría de topos que se convirtió en la referencia estándar sobre el tema: Sheaves in geometry and logic. A first introduction to topos theory . ^[14] En 1995 realizó contribuciones pioneras al análisis constructivo no estándar , del que es uno de los fundadores. ^[15]

La investigación de Moerdijk también ha cubierto temas de geometría diferencial ; en particular, escribió en 2003 una influyente monografía sobre foliaciones y grupoides de Lie . ^[16] Recientemente, Moerdijk realiza, entre otros temas, investigaciones sobre la teoría de operadas , sobre la estructura lógica de la teoría de la información cuántica y sobre conjuntos dendroidales.

Moerdijk ha escrito más de cien publicaciones y es autor de varios libros influyentes. En 2021, dirigió a 19 estudiantes de doctorado. ^[3]

Libros seleccionados

• Joyal, André; Moerdijk, Ieke (1995) Teoría de conjuntos algebraicos . Serie de notas de conferencias de la London Mathematical Society, 220. Cambridge University Press, Cambridge. ISBN  978-0-511-75248-3
• Mac Lane, Saunders; Moerdijk, Ieke (1994) Haces en geometría y lógica. Una primera introducción a la teoría de topos . Reimpresión corregida de la edición de 1992. Universitext. Springer-Verlag, Nueva York, 1994. ISBN 978-0-387-97710-2 
• Moerdijk, Ieke.; Mrčun, Janez (2003) Introducción a las foliaciones y a los grupoides de Lie . Cambridge Studies in Advanced Mathematics, 91. Cambridge University Press, Cambridge. ISBN 978-0-511-61545-0 
• Moerdijk, Ieke; Reyes, Gonzalo E. (1991) Modelos para análisis infinitesimales suaves . Springer-Verlag, Nueva York. ISBN 978-0-387-97489-7 
• Moerdijk, Ieke, Clasificación de espacios y clasificación de topos , Lecture Notes in Mathematics 1616, Springer 1995. vi+94 pp. ISBN 978-3-540-60319-1 

• Moerdijk, Ieke; Van Oosten, Jaap. (2018) Conjuntos, modelos y pruebas . Springer Nature Suiza, Cham. ISBN 978-3-319-92414-4 

Referencias

1. "Premio Spinoza NWO 2012 | NWO". www.nwo.nl . Consultado el 28 de marzo de 2021 .
2. "Álbum Académico". albumacademicum.uva.nl . Consultado el 28 de marzo de 2021 .
3. "Ieke Moerdijk - El proyecto de genealogía de las matemáticas" . Consultado el 28 de marzo de 2021 .
4. "Catálogo Professorum - Detalle del profesor". profs.library.uu.nl . Consultado el 28 de marzo de 2021 .
5. "Conferencias paralelas". www.imub.ub.edu . Consultado el 28 de marzo de 2021 .
6. "Ieke Moerdijk" (en holandés). Real Academia de las Artes y las Ciencias de los Países Bajos . Consultado el 30 de junio de 2015 .
7. "Academia de Europa: Moerdijk Izak". www.ae-info.org . Consultado el 28 de marzo de 2021 .
8. "Remise du prix Descartes-Huygens 2012" (PDF) . Academia de Ciencias . Consultado el 28 de marzo de 2021 .
9. "Premio Descartes-Huygens para François Hammer e Ieke Moerdijk — KNAW". knaw.nl . Archivado desde el original el 2021-04-21 . Consultado el 2021-03-28 .
10. "Premio Spinoza para Ieke Moerdijk de la Universidad Radboud de Nimega (2,5 millones de euros)". Información para candidatos a doctorado . Consultado el 28 de marzo de 2021 .
11. "El matemático holandés Ieke Moerdjik gana el premio Spinoza | Sociedad Matemática Europea". euro-math-soc.eu . Consultado el 28 de marzo de 2021 .
12. "Teoría de conjuntos algebraicos en nLab". ncatlab.org . Consultado el 28 de marzo de 2021 .
13. Joyal, Andri; Moerdijk, Ieke (1995). Teoría de conjuntos algebraicos. Serie de notas de conferencias de la London Mathematical Society. Cambridge: Cambridge University Press. doi :10.1017/cbo9780511752483. ISBN 978-0-521-55830-3.
14. Mac Lane, Saunders; Moerdijk, Ieke (1994). Haces en geometría y lógica: una primera introducción a la teoría de topos. Universitext. Nueva York, NY: Springer New York. doi :10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2.
15. Moerdijk, Ieke (16 de mayo de 1995). "Un modelo para la aritmética no estándar intuicionista". Anales de lógica pura y aplicada . 73 (1): 37–51. doi :10.1016/0168-0072(93)E0071-U. hdl : 2066/129065 . ISSN  0168-0072. S2CID  11659129.
16. Moerdijk, I.; Mrcun, J. (2003). Introducción a las foliaciones y los grupoides de Lie. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press. doi :10.1017/cbo9780511615450. ISBN 978-0-521-83197-0.

• Página oficial de la Universidad de Utrecht
• Página oficial del grupo de Geometría y Teoría Cuántica de los Países Bajos
• Entrada en nLab, una wiki sobre teoría de categorías