Angus Macintyre
http://dbpedia.org/resource/Angus_Macintyre an entity of type: Thing
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.
rdf:langString
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.
rdf:langString
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).
rdf:langString
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).
rdf:langString
rdf:langString
Angus Macintyre
rdf:langString
Angus Macintyre
rdf:langString
Angus Macintyre
rdf:langString
Angus Macintyre
rdf:langString
Angus MacIntyre
rdf:langString
Angus MacIntyre
xsd:integer
11551260
xsd:integer
1123672159
rdf:langString
Classifying Pairs of Real-Closed Fields
xsd:integer
1968
rdf:langString
Stanford University
rdf:langString
University of Cambridge
rdf:langString
rdf:langString
rdf:langString
Fellow of the Royal Society
rdf:langString
Fellow of the Royal Society of Edinburgh
rdf:langString
Gödel Lecture
rdf:langString
Polya Prize
rdf:langString
Angus John MacIntyre
rdf:langString
Angus Macintyre in 2009
xsd:integer
200
rdf:langString
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.
rdf:langString
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). Er ist seit 1993 Fellow der Royal Society und erhielt 2003 den Pólya-Preis der London Mathematical Society. 1998 hielt er die Tarski Lectures in Berkeley. Seit 2008 ist er Mitglied der Academia Europaea. Er ist mit der Mathematikerin Beatrice Pelloni verheiratet. Zu seinen Doktoranden zählen Zoé Chatzidakis und Ali Nesin.
rdf:langString
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.
rdf:langString
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). É desde 1993 fellow da Royal Society e recebeu em 2003 o Prêmio Pólya da London Mathematical Society. Em 1998 foi Tarski Lecturer na Universidade da Califórnia em Berkeley. De 2009 a 2011 foi presidente da London Mathematical Society. É casado com a matemática Beatrice Pelloni.
xsd:nonNegativeInteger
8694
rdf:langString
Angus John MacIntyre