Una tesis doctoral de 1968 en la Universidad de Stanford, dirigida por Dana Scott, marcó el inicio de una carrera investigadora que redefinió la aplicación de la teoría de modelos al álgebra y a la teoría de números. Angus Macintyre, un matemático británico, estableció resultados fundamentales en la teoría de la estabilidad geométrica y el análisis de cuerpos p-ádicos que influyeron en décadas de investigación matemática posterior.
Cargos académicos
Su carrera incluyó una larga etapa en la Universidad de Yale de 1973 a 1985. Posteriormente ejerció como profesor de Lógica Matemática en el Merton College de la Universidad de Oxford entre 1985 y 1999. A continuación, ocupó puestos en la Universidad de Edimburgo y en la Queen Mary University of London. También fue el primer director científico del Centro Internacional de Ciencias Matemáticas en Edimburgo.
Teoría de modelos y fundamentos algebraicos
En 1971, Macintyre clasificó las teorías aleph-uno categóricas de grupos y cuerpos, proporcionando un marco para la teoría de la estabilidad geométrica. Hacia 1976, demostró un teorema de eliminación de cuantores para cuerpos p-ádicos. Este trabajo permitió avances en la geometría semialgebráica y subanalítica, que Jan Denef aplicó más tarde para demostrar la racionalidad de las series de Poincaré p-ádicas. Su investigación se amplió hacia los cuerpos de diferencias, los automorfismos de Frobenius y la teoría de intersección, donde conectó métodos de la teoría de modelos con las conjeturas estándar sobre ciclos algebraicos.
Exponenciación y o-minimalidad
Las colaboraciones con Alex Wilkie, Lou van den Dries y David Marker permitieron a Macintyre abordar problemas complejos en la teoría de números trascendentes. Con Wilkie, demostró la decidibilidad de los cuerpos exponenciales reales, bajo la condición de la conjetura de Schanuel. Junto a van den Dries y Marker, investigó la teoría de modelos del cuerpo real con funciones analíticas restringidas, creando una base para los estudios de o-minimalidad y geometría diofántica. Su trabajo también aborda la dimensión VC, con aplicaciones en la informática teórica y las redes neuronales.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Contribuciones recientes y reconocimiento profesional
Macintyre se ha dedicado constantemente a la estructura teórica de los cuerpos de números. En colaboración con Jamshid Derakhshan, desarrolló una teoría de modelos para el anillo de adelas, ampliando el trabajo fundamental de Solomon Feferman y Robert Vaught. En 2023, Derakhshan y Macintyre resolvieron afirmativamente un problema de decisión planteado en 1968 por James Ax sobre la teoría de los cuerpos finitos. Macintyre es miembro de la Royal Society y de la Royal Society de Edimburgo. Recibió el premio Pólya en 2003 y fue presidente de la Sociedad Matemática de Londres de 2009 a 2011.
Datos rápidos
- Nacimiento: 1941 - Nacionalidad: Reino Unido - Dirección doctoral: Dana Scott - Conferenciante Gödel: 1993 - Miembro de la Royal Society: Elegido en 1993 - Premio Pólya: 2003 - Presidente de la LMS: 2009–2011
Preguntas frecuentes de los lectores
### ¿Cuál es el principal campo de especialización de Macintyre?
Es un matemático y lógico especializado en la teoría de modelos y sus aplicaciones al álgebra, la geometría algebraica y la teoría de números.
### ¿Qué gran problema matemático resolvió en 2023?
Trabajando con Jamshid Derakhshan, demostró la decidibilidad de la clase de todos los Z/mZ, resolviendo una conjetura de 1968 de James Ax.
