Angus Macintyre

Angus Macintyre Billede i infobox. Angus Macintyre i 2009 Biografi
Fødsel 10. oktober 1941
Nationalitet Britisk
Uddannelse Stanford University
Aktiviteter Matematiker , universitetsprofessor
Andre oplysninger
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 .

Biografi

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.

Præmier og anerkendelse

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.

Noter og referencer

  1. (i) "Macintyre, A. (Angus), 1941-" på lccn.loc.gov ( Library of Congress Authorities )
  2. (i) "  Angus Macintyre John  "sitet Mathematics Genealogy Project

eksterne links