rdfs:comment
| - Angus John Macintyre FRS, FRSE (born 1941) is a British mathematician and logician who is a leading figure in model theory, logic, and their applications in algebra, algebraic geometry, and number theory. He is Emeritus Professor of Mathematics, at Queen Mary University of London. (en)
- Angus John Macintyre, né le 10 octobre 1941, 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. (fr)
- Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre an der Universität Oxford und später an der Universität Edinburgh und ist zurzeit am Queen Mary College der Universität London. 1993 war er Gödel-Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges). (de)
- Angus John Macintyre é um lógico matemático britânico. Trabalha com lógica e teoria dos modelos, e também álgebra e combinatória. Macintyre obteve um doutoramento em 1968 na Universidade Stanford, orientado por Dana Scott, com a tese Classifying Pairs of Real-Closed Fields. Na década de 1970 foi professor da Universidade Yale, no início da década de 1990 da Universidade de Oxford e mais tarde da Universidade de Edimburgo. É atualmente professor do da Universidade de Londres. Em 1993 foi Gödel Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges). (pt)
|