Une thèse de doctorat soutenue en 1968 à l'Université Stanford, sous la direction de Dana Scott, a marqué le début d'une carrière de recherche qui a redéfini l'application de la théorie des modèles à l'algèbre et à la théorie des nombres. Angus Macintyre, mathématicien britannique, a établi des résultats fondamentaux en théorie de la stabilité géométrique et en analyse des corps p-adiques qui ont influencé des décennies de recherches mathématiques ultérieures.
Nominations académiques
Sa carrière comprend un long séjour à l'Université Yale de 1973 à 1985. Il a ensuite occupé le poste de professeur de logique mathématique au Merton College de l'Université d'Oxford entre 1985 et 1999. Par la suite, il a occupé des postes à l'Université d'Édimbourg et à l'Université Queen Mary de Londres. Il a également été le premier directeur scientifique du Centre international des sciences mathématiques à Édimbourg.
Théorie des modèles et fondements algébriques
En 1971, Macintyre a classé les théories alépha-un catécoriques de groupes et de corps, fournissant un cadre pour la théorie de la stabilité géométrique. En 1976, il a démontré un théorème d'élimination des quantificateurs pour les corps p-adiques. Ces travaux ont permis des développements en géométrie semi-algébrique et sous-analytique, que Jan Denef a ensuite appliqués pour prouver la rationalité des séries de Poincaré p-adiques. Ses recherches se sont étendues aux corps de différences, aux automorphismes de Frobenius et à la théorie des intersections, reliant les méthodes de la théorie des modèles aux conjectures standard sur les cycles algébriques.
Exponentiation et o-minimalité
Des collaborations avec Alex Wilkie, Lou van den Dries et David Marker ont permis à Macintyre de s'attaquer à des problèmes complexes de théorie des nombres transcendants. Avec Wilkie, il a démontré la décidabilité des corps exponentiels réels, sous condition de la conjecture de Schanuel. Aux côtés de van den Dries et de Marker, il a exploré la théorie des modèles du corps réel muni de fonctions analytiques restreintes, posant les bases des études en o-minimalité et en géométrie diophantienne. Ses travaux touchent également à la dimension VC, trouvant des applications en informatique théorique et en réseaux de neurones.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Contributions récentes et reconnaissance professionnelle
Macintyre s'est constamment intéressé à la structure théorique des corps de nombres. En collaboration avec Jamshid Derakhshan, il a développé une théorie des modèles pour l'anneau adélique, prolongeant les travaux fondamentaux de Solomon Feferman et Robert Vaught. En 2023, Derakhshan et Macintyre ont résolu par l'affirmative un problème de décision posé en 1968 par James Ax concernant la théorie des corps finis. Macintyre est membre de la Royal Society et de la Royal Society d'Édimbourg. Il a reçu le prix Pólya en 2003 et a été président de la London Mathematical Society de 2009 à 2011.
En bref
- Naissance : 1941 - Nationalité : Royaume-Uni - Direction de thèse : Dana Scott - Conférencier Gödel : 1993 - Membre de la Royal Society : Élu en 1993 - Prix Pólya : 2003 - Président de la LMS : 2009–2011
Questions fréquentes
### Quel est le principal domaine d'expertise de Macintyre ?
C'est un mathématicien et logicien spécialisé dans la théorie des modèles et ses applications à l'algèbre, à la géométrie algébrique et à la théorie des nombres.
### Quel grand problème mathématique a-t-il résolu en 2023 ?
En collaboration avec Jamshid Derakhshan, il a démontré la décidabilité de la classe de tous les Z/mZ, résolvant ainsi une conjecture formulée en 1968 par James Ax.
