El Sacks Prize 2021 a Marcos Mazari Armida

Marcos Mazari Armida, egresado de la licenciatura de Matemáticas de la Facultad de Ciencias (FC) y actual investigador posdoctoral de la Universidad de Colorado Boulder, ganó el 2021 Sacks Prize otorgado por la Association of Symbolic Logic (ASL) que reconoce la mejor disertación del año sobre lógica matemática.

Se trata del primer mexicano en ganar este premio y el segundo latinoamericano después del uruguayo Antonio Montalbán en 2005. Mazari Armida presentó la tesis titulada “Remarks on classification theory for abstract elementary classes with applications to abelian group theory and ring theory”, la cual realizó en Carnegie Mellon University bajo la dirección de Rami Grossberg.

El Sacks Prize es otorgado a la mejor tesis de doctorado en lógica matemática del año y se entregó el 10 de noviembre de 2021. Se trata de un premio internacional sin restricciones de nacionalidad del alumno o lugar donde se realizó el doctorado. Es emitido desde 1999 por la Association of Symbolic Logic e incluye un premio económico y cinco años de membresía en la asociación.

Mazari Armida se especializa en la teoría de modelos, un subcampo de la lógica matemática que estudia la relación entre los objetos matemáticos y los lenguajes utilizados para comunicarse sobre esos objetos.

El investigador mostró en su disertación que las clases elementales abstractas, que son un marco semántico para estudiar la teoría de modelos, pueden afectar las matemáticas tradicionales. Entre sus resultados, vinculó la noción modelo-teórica de superestabilidad con la noción algebraica clásica de anillo noetheriano.

La Association for Symbolic Logic –fundada en 1936– es una organización internacional que apoya la investigación y los estudios críticos en lógica. Su función principal es proporcionar un foro para la presentación, publicación y discusión del trabajo académico en esta área de investigación.

Desde su casa en Boulder, Colorado –donde desde hace siete meses es posdoctorante–, Marcos Mazari Armida expresa que el premio lo recibió con gran emoción. Además, reconoce que varios de sus resultados dependen del trabajo de muchos investigadores a lo largo de los años. “Quiero agradecerles por las hermosas matemáticas que desarrollaron.” También agradece a su asesor Rami Grossberg por todo su apoyo durante el doctorado.

Saber elegir el problema

Marcos Mazari Armida pertenece a la generación 2011 de la licenciatura de Matemáticas de la Facultad de Ciencias, en la que se tituló en 2015 y fue ayudante de la asignatura de Lógica Matemática.

Realizó su doctorado en Carnegie Mellon University y actualmente es visiting assistant professor en la Universidad de Colorado Boulder, donde imparte tres cursos al año y trabaja en la teoría de modelos de clases no elementales aplicada en álgebra.

La tesis por la que recibió el premio está conformada por 10 capítulos, cada uno es un paper y nueve de ellos se han publicado en revistas de lógica matemática, álgebra o matemáticas generales. Los resultados están insertos en la teoría de modelos no-elementales.

“Empecé a relacionar la teoría de clases elementales abstractas, que ha sido estudiada desde los años 70 sin muchas aplicaciones, con álgebra, más específicamente con teoría de módulos y teoría de anillos. Me di cuenta que algunas nociones clásicas, como los anillos noetherianos –que se descubrieron hace 100 años–, son lo mismo que una noción de teoría de modelos llamada superestabilidad –que se descubrió hace 50 años–.”

También abordó algunos problemas de álgebra en los que llevaban 20 años trabajando, y pudo demostrar la existencia de modelos universales en distintas clases de módulos y grupos abelianos.

Desde que estaba en Facultad de Ciencias tomó los cursos de lógica matemática y teoría de conjuntos, los cuales son preliminares para lo que terminó estudiando en el doctorado. Fue durante su tesis de licenciatura cuando se internó en la teoría de modelos con la asesoría del investigador Tim Gendron, en la Unidad Cuernavaca del Instituto de Matemáticas.

Para el matemático, impartir clases es ahora una parte muy importante de su actividad académica. Además de que le resulta muy satisfactorio ver el progreso de sus alumnos a lo largo del semestre. Sin embargo, no duda en responder que lo que más le apasiona de su actividad científica es resolver problemas.