Angus Macintyre – Wikipédia, a enciclopédia livre
Angus Macintyre | |
---|---|
Angus Macintyre em 2009 | |
Nascimento | 10 de outubro de 1941 (82 anos) |
Nacionalidade | britânico |
Cidadania | Reino Unido |
Alma mater | Universidade Stanford |
Ocupação | matemático, professor universitário |
Prêmios | Gödel Lecturer (1993), Prêmio Pólya (2003) |
Empregador(a) | Queen Mary University of London, Universidade de Edimburgo, Universidade de Canterbury |
Orientador(a)(es/s) | Dana Scott[1] |
Orientado(a)(s) | Zoé Chatzidakis, Francisco Miraglia, Peter Winkler |
Instituições | Universidade Yale, Universidade de Oxford, Universidade de Edimburgo |
Campo(s) | Lógica matemática |
Tese | 1968: Classifying Pairs of Real-Closed Fields |
Angus John Macintyre é um lógico matemático britânico. Trabalha com lógica e teoria dos modelos, e também álgebra e combinatória.
Macintyre obteve um doutoramento em 1968 na Universidade Stanford, orientado por Dana Scott, com a tese Classifying Pairs of Real-Closed Fields. Na década de 1970 foi professor da Universidade Yale, no início da década de 1990 da Universidade de Oxford e mais tarde da Universidade de Edimburgo. É atualmente professor do Queen Mary College da Universidade de Londres.
Em 1993 foi Gödel Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges).
É desde 1993 fellow da Royal Society e recebeu em 2003 o Prêmio Pólya da London Mathematical Society. Em 1998 foi Tarski Lecturer na Universidade da Califórnia em Berkeley. De 2009 a 2011 foi presidente da London Mathematical Society.[2]
É casado com a matemática Beatrice Pelloni.[3]
Referências
- ↑ Angus Macintyre (em inglês) no Mathematics Genealogy Project
- ↑ «List of Presidents of the London Mathematical Society» (PDF) (em inglês)
- ↑ «Curta biografia» (PDF) (em inglês)