Angus MacIntyre
Encyclopedia
Angus John Macintyre is a British
mathematician
known for his contributions to Model theory
and logic
. He is professor of mathematics at the Queen Mary, University of London
.
He completed his PhD under the supervision of Dana Scott
in 1968 with a thesis entitled "Classifying Pairs of Real-Closed Fields". He was elected a Fellow of the Royal Society in 1993, and in 2003 he was awarded the Pólya Prize
by the London Mathematical Society
. Since 2009, he has served as the president of the London Mathematical Society.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
known for his contributions to Model theory
Model theory
In mathematics, model theory is the study of mathematical structures using tools from mathematical logic....
and logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
. He is professor of mathematics at the Queen Mary, University of London
Queen Mary, University of London
Queen Mary, University of London is a public research university located in London, United Kingdom and a constituent college of the federal University of London...
.
He completed his PhD under the supervision of Dana Scott
Dana Scott
Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California...
in 1968 with a thesis entitled "Classifying Pairs of Real-Closed Fields". He was elected a Fellow of the Royal Society in 1993, and in 2003 he was awarded the Pólya Prize
Pólya Prize (LMS)
The Pólya Prize is a prize in mathematics, awarded by the London Mathematical Society. Second only to the triennial De Morgan Medal in prestige among the society's awards, it is awarded in the years that are not divisible by three – those in which the De Morgan Medal is not awarded...
by the London Mathematical Society
London Mathematical Society
-See also:* American Mathematical Society* Edinburgh Mathematical Society* European Mathematical Society* List of Mathematical Societies* Council for the Mathematical Sciences* BCS-FACS Specialist Group-External links:* * *...
. Since 2009, he has served as the president of the London Mathematical Society.