Izak (Ieke) Moerdijk ( holandés: [ˈikə ˈmurdɛik] ; nacido el 23 de enero de 1958) es un matemático holandés que trabaja actualmente en la Universidad de Utrecht y que en 2012 ganó el premio Spinoza . [1]
Ieke Moerdijk | |
---|---|
Nació | |
Nacionalidad | holandés |
alma mater | Universidad de Amsterdam |
Premios | Premio Descartes-Huygens , Premio Spinoza 2011 , 2012 |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Utrecht |
Tesis | Temas de intuicionismo y teoría del Topos (1985) |
Asesor de doctorado | Anne Sjerp Troelstra |
Estudiantes notables | Janez Mrčun Marius Crainic |
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 unos años, regresó a la Universidad de Utrecht en 2016. [4]
En 2000 Moerdijk fue ponente invitado al 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 Académie des Sciences 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]
Investigar
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 de conjuntos algebraica. [12] [13] En 1992 escribió, junto con Saunders Mac Lane , un libro sobre la teoría del topos que se convirtió en la referencia estándar sobre el tema: Gavillas en geometría y lógica. Una primera introducción a la teoría del topos . [14] En 1995 hizo contribuciones pioneras al análisis constructivo no estándar , del cual 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 persigue, entre otros temas, la investigación sobre la teoría de los operados , 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. Supervisó a 19 estudiantes de doctorado a partir de 2021. [3]
Libros seleccionados
- Joyal, André; Moerdijk, Ieke (1995) Teoría de conjuntos algebraica . Serie de notas de conferencia de la London Mathematical Society, 220. Cambridge University Press, Cambridge. ISBN 9780511752483
- 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. Universitext. Springer-Verlag, Nueva York, 1994. ISBN 978-0-387-97710-2
- Moerdijk, Ieke .; Mrčun, Janez (2003) Introducción a las foliaciones y los grupos de Lie . Cambridge Studies in Advanced Mathematics, 91. Cambridge University Press, Cambridge. ISBN 9780511615450
- Moerdijk, Ieke; Reyes, Gonzalo E. (1991) Modelos para análisis suave infinitesimal . Springer-Verlag, Nueva York. ISBN 978-0-387-97489-7
- Moerdijk, Ieke, Clasificando espacios y clasificando topoi , Lecture Notes in Mathematics 1616, Springer 1995. vi + 94 pp. ISBN 3-540-60319-0
Referencias
- ^ a b "Premio NWO Spinoza 2012 | NWO" . www.nwo.nl . Consultado el 28 de marzo de 2021 .
- ^ "Álbum Academicum" . albumacademicum.uva.nl . Consultado el 28 de marzo de 2021 .
- ^ a b "Ieke Moerdijk - El proyecto de genealogía de las matemáticas" . Consultado el 28 de marzo de 2021 .
- ^ "Catalogus Professorum - Prof Detail" . profs.library.uu.nl . Consultado el 28 de marzo de 2021 .
- ^ "Conferencias paralelas" . www.imub.ub.edu . Consultado el 28 de marzo de 2021 .
- ^ "Ieke Moerdijk" (en holandés). Real Academia de Artes y Ciencias de los Países Bajos . Consultado el 30 de junio de 2015 .
- ^ "Academia de Europa: Moerdijk Izak" . www.ae-info.org . Consultado el 28 de marzo de 2021 .
- ^ "Remise du prix Descartes-Huygens 2012" (PDF) . Académie des sciences . Consultado el 28 de marzo de 2021 .
- ^ "Premio Descartes-Huygens para François Hammer e Ieke Moerdijk - KNAW" . knaw.nl . Consultado el 28 de marzo de 2021 .
- ^ "Premio Spinoza para Ieke Moerdijk de Radboud University Nijmegen (2,5 millones de euros)" . Información para candidatos a doctorado . Consultado el 28 de marzo de 2021 .
- ^ "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 .
- ^ "teoría de conjuntos algebraicos en nLab" . ncatlab.org . Consultado el 28 de marzo de 2021 .
- ^ Joyal, Andri; Moerdijk, Ieke (1995). Teoría algebraica de conjuntos . Serie de notas de conferencia de la London Mathematical Society. Cambridge: Cambridge University Press. doi : 10.1017 / cbo9780511752483 . ISBN 978-0-521-55830-3.
- ^ Mac Lane, Saunders; Moerdijk, Ieke (1994). Gavillas 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.
- ^ 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 .
- ^ Moerdijk, I .; Mrcun, J. (2003). Introducción a las foliaciones y los grupos de mentiras . Estudios de Cambridge en Matemáticas Avanzadas. Cambridge: Cambridge University Press. 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 clúster holandés de geometría y teoría cuántica
- Entrada en nLab, una wiki de teoría de categorías