Ieke Moerdijk

matemático holandés

Izak (Ieke) Moerdijk ( holandés: [ˈikə ˈmurdɛ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 Amsterdam . Obtuvo su doctorado cum laude en 1985 en la misma institución. Su tesis se tituló Temas de intuicionismo y teoría del 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 algunos años, regresó a la Universidad de Utrecht en 2016. ^[4]

En 2000, Moerdijk fue orador invitado en el 3er Congreso Europeo de Matemáticas . ^[5] Fue elegido miembro de la Real Academia de Artes y Ciencias de los Países Bajos 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 encuentran 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 visto, 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 del topos que se convirtió en la referencia estándar sobre el tema: Sheaves in geometría and logic. Una primera introducción a la teoría del topos . ^[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 investiga, entre otros temas, la teoría de las óperas , la estructura lógica de la teoría de la información cuántica y los conjuntos dendroides.

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

Libros seleccionados

• Joyal, André; Moerdijk, Ieke (1995) Teoría algebraica de conjuntos . 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) Gavillas en geometría y lógica. Una primera introducción a la teoría del topos . Reimpresión corregida de la edición de 1992. Texto universitario. Springer-Verlag, Nueva York, 1994. ISBN 978-0-387-97710-2 
• Moerdijk, Ieke.; Mrčun, Janez (2003) Introducción a las foliaciones y grupoides de Lie . Estudios de Cambridge en Matemáticas Avanzadas, 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 topoi , Lecture Notes in Mathematics 1616, Springer 1995. vi+94 págs. 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 del Nuevo Orden Mundial 2012 | Nuevo Orden Mundial". 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 Artes y 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". saber.nl . Consultado el 28 de marzo de 2021 .
10. "Premio Spinoza para Ieke Moerdijk de la Universidad Radboud de Nijmegen (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 Europea de Matemáticas". 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 algebraica de conjuntos. Serie de notas de conferencias de la Sociedad Matemática de Londres. Cambridge: Prensa de la Universidad de Cambridge. doi :10.1017/cbo9780511752483. ISBN 978-0-521-55830-3.
14. Mac Lane, Saunders; Moerdijk, Ieke (1994). Gavillas en geometría y lógica: una primera introducción a la teoría del topos. Texto universitario. Nueva York, Nueva York: Springer Nueva 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 de aritmética intuicionista no estándar". 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, yo; Mrcun, J. (2003). Introducción a las foliaciones y grupoides de mentira. Estudios de Cambridge en Matemáticas Avanzadas. Cambridge: Prensa de la Universidad de Cambridge. doi :10.1017/cbo9780511615450. ISBN 978-0-521-83197-0.

• Página oficial en el sitio web de la Universidad de Utrecht
• Página oficial del grupo holandés de geometría y teoría cuántica
• Entrada en nLab, una wiki de teoría de categorías