Angus Macintyre
Angus John Macintyre, né le [1], est un mathématicien britannique spécialiste de logique et de théorie des modèles, qui travaille aussi en algèbre et en combinatoire.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinctions |
Biographie
Angus Macintyre a passé sa thèse en 1968 à l'université Stanford, sous la direction de Dana Scott[2]. Il a été professeur à l'université Yale dans les années 1970, à l'université d'Oxford au début des années 1990, puis à l'université d'Édimbourg et est actuellement au Queen Mary College de l'université de Londres.
Son nombre d'Erdős est 2. Il est marié à la mathématicienne Beatrice Pelloni.
Prix et distinctions
En 1993, il a été Gödel Lecturer de l'Association for Symbolic Logic avec une conférence intitulée Logic of Real and p-adic Analysis: Achievements and Challenges. et il est devenu Fellow de la Royal Society. Conférencier Tarski à Berkeley en 1998, il a reçu en 2003 le prix Pólya de la London Mathematical Society, qu'il a présidée de 2009 à 2011.
Notes et références
- (en) « Macintyre, A. (Angus), 1941- », sur lccn.loc.gov (Library of Congress Authorities)
- (en) « Angus John Macintyre », sur le site du Mathematics Genealogy Project
- (en) Erskine Fellows, courte présentation de A. Macintyre, professeur invité en 2008 à l'université de Canterbury
- (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Angus Macintyre » (voir la liste des auteurs).
Liens externes
- Ressources relatives Ă la recherche :
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project
- (en-GB + en) Royal Society
- (mul) Scopus