Angus Macintyre

matemático britânico

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.

Angus Macintyre
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

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 editar

  Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.