Una tesi di dottorato del 1968 presso la Stanford University, supervisionata da Dana Scott, ha segnato l'inizio di una carriera di ricerca che ha ridefinito l'applicazione della teoria dei modelli all'algebra e alla teoria dei numeri. Angus Macintyre, un matematico britannico, ha stabilito risultati fondamentali nella teoria della stabilità geometrica e nell'analisi dei campi p-adici che hanno influenzato decenni di successive ricerche matematiche.
Incarichi accademici
La sua carriera ha incluso un lungo periodo presso la Yale University dal 1973 al 1985. In seguito ha prestato servizio come professore di logica matematica al Merton College dell'Università di Oxford tra il 1985 e il 1999. Successivamente ha ricoperto incarichi presso l'Università di Edimburgo e la Queen Mary University of London. È stato inoltre il primo direttore scientifico del Centro internazionale di scienze matematiche di Edimburgo.
Teoria dei modelli e fondamenti algebrici
Nel 1971 Macintyre ha classificato le teorie aleph-uno categoriche di gruppi e campi, fornendo un quadro di riferimento per la teoria della stabilità geometrica. Entro il 1976 ha dimostrato un teorema di eliminazione dei quantificatori per i campi p-adici. Questo lavoro ha permesso sviluppi nella geometria semi-algebrica e subanalitica, che Jan Denef ha successivamente applicato per dimostrare la razionalità delle serie di Poincaré p-adiche. La sua ricerca si è ulteriormente estesa ai campi di differenze, agli automorfismi di Frobenius e alla teoria dell'intersezione, collegando i metodi della teoria dei modelli alle congetture standard sui cicli algebrici.
Esponenziazione e o-minimalità
Le collaborazioni con Alex Wilkie, Lou van den Dries e David Marker hanno permesso a Macintyre di affrontare problemi complessi nella teoria dei numeri trascendenti. Con Wilkie ha dimostrato la decidibilità dei campi esponenziali reali, subordinatamente alla congettura di Schanuel. Insieme a van den Dries e Marker ha studiato la teoria dei modelli del campo reale con funzioni analitiche ristrette, ponendo le basi per gli studi di o-minimalità e geometria diofantea. Il suo lavoro tocca anche la dimensione VC, offrendo applicazioni nell'informatica teorica e nelle reti neurali.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Contributi recenti e riconoscimento professionale
Macintyre si è costantemente occupato della struttura teorica dei campi di numeri. In collaborazione con Jamshid Derakhshan, ha sviluppato una teoria dei modelli per l'anello degli adeli, estendendo il lavoro fondamentale di Solomon Feferman e Robert Vaught. Nel 2023 Derakhshan e Macintyre hanno risolto affermativamente un problema decisionale del 1968 posto da James Ax riguardo alla teoria dei campi finiti. Macintyre è membro della Royal Society e della Royal Society of Edinburgh. Ha ricevuto il premio Pólya nel 2003 ed è stato presidente della London Mathematical Society dal 2009 al 2011.
Dati rapidi
- Nato: 1941 - Cittadinanza: Regno Unito - Supervisione di dottorato: Dana Scott - Conferenziere Gödel: 1993 - Membro della Royal Society: Eletto nel 1993 - Premio Pólya: 2003 - Presidente della LMS: 2009–2011
Domande frequenti dei lettori
### Qual è il principale campo di competenza di Macintyre?
È un matematico e logico specializzato nella teoria dei modelli e nelle sue applicazioni all'algebra, alla geometria algebrica e alla teoria dei numeri.
### Quale importante problema matematico ha risolto nel 2023?
Lavorando con Jamshid Derakhshan, ha dimostrato la decidibilità della classe di tutti i Z/mZ, risolvendo una congettura del 1968 di James Ax.
