El profesor Angus John MacIntyre, ganador en 2003 del premio Pólya de la London Mathematical Society, visitó nuestra Universidad para dictar su charla How Model Theory Came to Make Contributions to Mainstream Mathematics, para luego charlar con algunos estudiantes.
MacIntyre es sin duda uno de los más talentosos matemáticos de su generación, quien nos honró con su visita. Pero ¿cuál es el aporte que este académico ha realizado a la ciencia? Él ha contribuido de manera fundamental a áreas tan diversas como Álgebra, la Teoría de Números, la Geometría Algebraica, la Teoría de Lie, la Informática Teórica, etcétera; en particular a través del uso de la nueva Teoría de Modelos, que tiene que ver con el estudio de las estructuras algebraicas desde el punto de vista de la Lógica Matemática, y más precisamente a través de la definibilidad (en algún lenguaje formal) de estructuras en otras.
En la actualidad es profesor en Queen Mary University of London. Obtuvo su doctorado en Stanford University, en 1968, fue académico en Yale y Oxford University entre otras, dejando esta última para volver a su país natal, Escocia, como docente en Edimburgh University.
Dirigió unas 25 Tesis de Doctorado.
Es miembro de la Royal Society of London, FRS, y de la Royal Society of Edimburgo, FRSE. También es parte del Fields Institute y de su Comité, que atribuye la distinción más prestigiosa de la matemática, la Medalla Fields. Ha sido, y todavía es, editor y co-editor de prestigiosas revistas de matemática, como por ejemplo Annals of Mathematics. El profesor MacIntyre fue vicepresidente de la London Mathematical Society de 1996 hasta 1998 y será Presidente de dicha institución a partir de noviembre de 2009.
Si bien, es sólo una parte del extenso currículum que este científico ha conseguido, quienes tuvimos la oportunidad de compartir con él sus experiencias pudimos enriquecernos y aprovechar su reconocida sabiduría durante varias horas. Así también fue el caso de Héctor Pasten, José Luis Riquelme y Javier Utreras, alumnos de las carreras de licenciatura y magíster en Matemática que se reunieron con MacIntyre y pudieron presentar sus primeros resultados de investigación.
En su conferencia, destinada a profesores y estudiantes de ciencias en general, explicó cómo la relativamente recién desarrollada Teoría de Modelos, parte de la Lógica Matemática, pudo resolver viejos problemas de otras disciplinas científicas, en particular en Geometría Algebraica y en Teoría de Números, y a menudo simplificar muchísimo demostraciones ya existentes de importantes teoremas. Sorprendió a la asamblea al final de su charla, cuando mostró contribuciones recién hechas a ciencias más aplicadas, por ejemplo, a Redes de Neuronas.
Esta visita demasiado corta del profesor MacIntyre a nuestra Universidad, podría tener efectos a corto o mediano plazo, como por ejemplo, crear o reforzar vínculos entre científicos locales y del Reino Unido, en particular a través de nuestro programa de Doctorado en Matemática.
Xavier Vidaux
Director del Programa de Doctorado en Matemática
Facultad de Ciencias Físicas y Matemáticas