Uma tese de doutoramento de 1968 na Universidade de Stanford, orientada por Dana Scott, marcou o início de uma carreira de investigação que redefiniu a aplicação da teoria dos modelos à álgebra e à teoria dos números. Angus Macintyre, um matemático britânico, estabeleceu resultados fundamentais na teoria da estabilidade geométrica e na análise de corpos p-ádicos que influenciaram décadas de investigação matemática subsequente.
Cargos acadêmicos
A sua carreira incluiu um longo período na Universidade de Yale, de 1973 a 1985. Posteriormente, atuou como Professor de Lógica Matemática no Merton College da Universidade de Oxford, entre 1985 e 1999. A seguir, ocupou cargos na Universidade de Edimburgo e na Queen Mary University of London. Também serviu como o primeiro Diretor Científico do Centro Internacional de Ciências Matemáticas em Edimburgo.
Teoria dos Modelos e Fundamentos Algébricos
Em 1971, Macintyre classificou as teorias aleph-um categóricas de grupos e corpos, fornecendo um enquadramento para a teoria da estabilidade geométrica. Por volta de 1976, provou um teorema de eliminação de quantificadores para corpos p-ádicos. Este trabalho permitiu avanços na geometria semialgebraica e subanalítica, que Jan Denef aplicou posteriormente para provar a racionalidade das séries de Poincaré p-ádicas. A sua investigação expandiu-se ainda para corpos de diferenças, automorfismos de Frobenius e teoria de interseção, onde conectou métodos da teoria dos modelos às conjecturas standard sobre ciclos algébricos.
Exponenciação e O-minimalidade
Colaborações com Alex Wilkie, Lou van den Dries e David Marker permitiram a Macintyre abordar problemas complexos na teoria dos números transcendentes. Com Wilkie, provou a decidibilidade dos corpos exponenciais reais, condicionalmente à conjectura de Schanuel. Juntamente com van den Dries e Marker, investigou a teoria dos modelos do corpo real com funções analíticas restritas, criando uma base para estudos em o-minimalidade e geometria diofantina. O seu trabalho também abrange a dimensão VC, gerando aplicações na ciência da computação teórica e em redes neuronais.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Contribuições recentes e reconhecimento profissional
Macintyre tem-se dedicado consistentemente à estrutura teórica dos corpos de números. Em colaboração com Jamshid Derakhshan, desenvolveu uma teoria dos modelos para o anel de adelos, estendendo o trabalho fundamental de Solomon Feferman e Robert Vaught. Em 2023, Derakhshan e Macintyre resolveram afirmativamente um problema de decisão colocado em 1968 por James Ax sobre a teoria dos corpos finitos. Macintyre é membro da Royal Society e da Royal Society de Edimburgo. Recebeu o Prémio Pólya em 2003 e atuou como Presidente da Sociedade Matemática de Londres de 2009 a 2011.
Factos rápidos
- Nascimento: 1941 - Cidadania: Reino Unido - Orientação de doutoramento: Dana Scott - Palestrante Gödel: 1993 - Membro da Royal Society: Eleito em 1993 - Prémio Pólya: 2003 - Presidente da LMS: 2009–2011
Perguntas frequentes dos leitores
### Qual é o principal campo de especialização de Macintyre?
Ele é um matemático e lógico especializado em teoria dos modelos e suas aplicações à álgebra, geometria algébrica e teoria dos números.
### Que grande problema matemático ele resolveu em 2023?
Trabalhando com Jamshid Derakhshan, provou a decidibilidade da classe de todos os Z/mZ, resolvendo uma conjectura de 1968 proposta por James Ax.
