Geburt | 10. Oktober 1941 |
---|---|
Staatsangehörigkeit | britisch |
Ausbildung | Universität in Stanford |
Aktivitäten | Mathematiker , Universitätsprofessor |
Arbeitete für | Queen Mary Universität London , Universität Edinburgh , Universität Canterbury |
---|---|
Feld | Modelltheorie |
Mitglied von |
Königliche Gesellschaft von Edinburgh Royal Society (1993) Academia Europaea (2008) |
Supervisor | Dana S. Scott |
Auszeichnungen |
Mitglied der Royal Society of Edinburgh Gödel Dozent (1993) Pólya-Preis (2003) |
Angus John Macintyre , geboren am10. Oktober 1941ist ein britischer Mathematiker, der sich auf Logik und Modelltheorie spezialisiert hat und auch in Algebra und Kombinatorik arbeitet .
Angus Macintyre schloss seine Diplomarbeit 1968 an der Stanford University unter der Aufsicht von Dana Scott ab . Er war Professor an der Yale University in den 1970er Jahren, an der University of Oxford in den frühen 1990er Jahren und dann an der University of Edinburgh und ist derzeit am Queen Mary College der London University .
Seine Erdős Nummer ist 2. Er ist mit der Mathematikerin Beatrice Pelloni verheiratet.
1993 war er Gödel-Dozent der Vereinigung für symbolische Logik mit einem Vortrag mit dem Titel Logik der realen und p-adischen Analyse: Erfolge und Herausforderungen. und er wurde ein Fellow der Royal Society . Als Tarski-Dozent in Berkeley erhielt er 1998 den Pólya-Preis 2003 von der London Mathematical Society , deren Vorsitz er von 2009 bis 2011 innehatte.