Angus Macintyre
| Angus Macintyre | |
|---|---|
 | |
| 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 |
[edite no Wikidata] | |
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)
Ligações externas
- «Undecidable and Decidable Problems in Mathematics: A survey and some reflections, for the centenary of Turing's birth» (em inglês) (vídeo)
 | Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|
