Fødsel | 10. oktober 1941 |
---|---|
Nationalitet | Britisk |
Uddannelse | Stanford University |
Aktiviteter | Matematiker , universitetsprofessor |
Arbejdede for | Queen Mary University of London , University of Edinburgh , University of Canterbury |
---|---|
Mark | Model teori |
Medlem af |
Royal Society of Edinburgh Royal Society (1993) Academia Europaea (2008) |
Tilsynsførende | Dana S. Scott |
Priser |
Medlem af Royal Society of Edinburgh Gödel Lektor (1993) Pólya-prisen (2003) |
Angus John Macintyre , født den10. oktober 1941, er en britisk matematiker med speciale i logik og modelteori , der også arbejder inden for algebra og kombinatorik .
Angus Macintyre afsluttede sin afhandling i 1968 ved Stanford University under vejledning af Dana Scott . Han var professor ved Yale University i 1970'erne, ved University of Oxford i begyndelsen af 1990'erne og derefter til University of Edinburgh og er i øjeblikket ved Queen Mary College of London University .
Hans Erds nummer er 2. Han er gift med matematikeren Beatrice Pelloni.
I 1993 var han Gödel-lektor i Association for Symbolic Logic med et foredrag med titlen Logic of Real and p-adic Analysis: Achievements and Challenges. og han blev stipendiat i Royal Society . Tarski-lektor ved Berkeley i 1998 modtog han 2003 Pólya-prisen fra London Mathematical Society , som han var formand for fra 2009 til 2011.