Angus Macintyre

Angus Macintyre

Angus Macintyre en 2009

Biographie

Naissance	10 octobre 1941 (83 ans)
Nationalité	britannique
Formation	Université Stanford
Activités	Mathématicien, professeur d'université

Autres informations

A travaillé pour	Queen Mary University of London Université d'Édimbourg Université de Canterbury
Membre de	Royal Society (1993) Academia Europaea (2008) Royal Society of Edinburgh
Directeur de thèse	Dana S. Scott
Distinctions	Gödel Lecturer (1993) Prix Pólya (2003) Membre de la Royal Society of Edinburgh

modifier - modifier le code - modifier Wikidata

Angus John Macintyre, né le 10 octobre 1941^[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.

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

1. (en) « Macintyre, A. (Angus), 1941- », sur lccn.loc.gov (Library of Congress Authorities)
2. (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

• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • WorldCat
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
  • Royal Society
  • Scopus