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
Ligações externas
