Alex Wilkie

Last updated

Alex Wilkie
Alex Wilkie.jpg
Wilkie, pictured in 2007
Born
Alex James Wilkie

1948 (age 7576)
Northampton, England
NationalityBritish
Alma mater University College London
Bedford College, University of London
Known for Wilkie's theorem
AwardsKarp Prize (1993)
Fellow of the Royal Society (2001)
Pólya Prize (LMS) (2017)
Scientific career
FieldsMathematics, Model theory
Institutions University of Manchester
Doctoral advisor Wilfrid Hodges

Alex James Wilkie FRS (born 1948 in Northampton [1] ) is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007. [2] [3] [4]

Contents

Education

Alex Wilkie attended Aylesbury Grammar School and went on to gain his BSc in mathematics with first class honours from University College London in 1969, his MSc (in mathematical logic) from the University of London in 1970, and his PhD from the Bedford College, University of London in 1973 under the supervision of Wilfrid Hodges with a dissertation titled Models of Number Theory.

Career and research

After his PhD he went on to an appointment as a lecturer in mathematics at Leicester University from 1972 to 1973, then a research fellow at the Open University from 1973 until 1978. He spent two periods as a junior lecturer in mathematics at Oxford University (1978–80 and 1981-2) with (1980–1) as a visiting assistant professor at Yale University. In 1980 Wilkie solved Tarski's high school algebra problem.

In October 1982 Wilkie was appointed as a research fellow in the department of mathematics at the University of Paris VII, then returned to England the following year to take up a three-year SERC (now EPSRC) advanced research fellowship at the University of Manchester. After two years he was appointed lecturer in the Department of Mathematics. In 1986 he went on to Oxford where he was appointed to the readership in mathematical logic there which had become vacant upon the retirement of Robin Gandy. He remained in this post until appointment to the Fielden Chair at Manchester.

Awards and honours

Wilkie was elected a Fellow of the Royal Society in 2001. To quote the citation

Wilkie has combined logical techniques and differential-geometric techniques to establish fundamental Finiteness Theorems for sets definable using the exponential function, and more general Pfaffian functions. The results, going far beyond those obtained by conventional methods, have already had striking applications to Lie groups. [5]

Wilkie received the Carol Karp Prize (the highest award made by the Association for Symbolic Logic, every five years) jointly with Ehud Hrushovski in 1993. [6] [7] He was elected to the Council of the London Mathematical Society in 2007, vice-president of the Association for Symbolic Logic (2006) and president of the Association for Symbolic Logic in 2009. In 2012 he became a fellow of the American Mathematical Society. [8] He received the Karp Prize again in 2013, jointly with Moti Gitik, Ya'acov Peterzil, Jonathan Pila, and Sergei Starchenko. [7] In 2017, Wilkie was awarded the Pólya Prize. [9]

He was an Invited Speaker of the International Congress of Mathematicians in Berkeley in 1986 [10] and in Berlin in 1998. [11]

In 2015, Wilkie held the Gödel Lecture titled Complex continuations of functions definable in with a diophantine application.

Related Research Articles

<span class="mw-page-title-main">Louis J. Mordell</span> American-born British mathematician (1888-1972)

Louis Joel Mordell was an American-born British mathematician, known for pioneering research in number theory. He was born in Philadelphia, United States, in a Jewish family of Lithuanian extraction.

<span class="mw-page-title-main">Martin J. Taylor</span> British mathematician

Sir Martin John Taylor, FRS is a British mathematician and academic. He was Professor of Pure Mathematics at the School of Mathematics, University of Manchester and, prior to its formation and merger, UMIST where he was appointed to a chair after moving from Trinity College, Cambridge in 1986. He was elected Warden of Merton College, Oxford on 5 November 2009, took office on 2 October 2010 and retired in September 2018.

<span class="mw-page-title-main">Nigel Hitchin</span> British mathematician

Nigel James Hitchin FRS is a British mathematician working in the fields of differential geometry, gauge theory, algebraic geometry, and mathematical physics. He is a Professor Emeritus of Mathematics at the University of Oxford.

<span class="mw-page-title-main">Alexander S. Kechris</span> Greek set theorist and logician

Alexander Sotirios Kechris is a set theorist and logician at the California Institute of Technology.

<span class="mw-page-title-main">Dusa McDuff</span> English mathematician

Dusa McDuff FRS CorrFRSE is an English mathematician who works on symplectic geometry. She was the first recipient of the Ruth Lyttle Satter Prize in Mathematics, was a Noether Lecturer, and is a Fellow of the Royal Society. She is currently the Helen Lyttle Kimmel '42 Professor of Mathematics at Barnard College.

<span class="mw-page-title-main">Roger Heath-Brown</span> British mathematician

David Rodney "Roger" Heath-Brown is a British mathematician working in the field of analytic number theory.

<span class="mw-page-title-main">Ian G. Macdonald</span> British mathematician (1928–2023)

Ian Grant Macdonald was a British mathematician known for his contributions to symmetric functions, special functions, Lie algebra theory and other aspects of algebra, algebraic combinatorics, and combinatorics.

<span class="mw-page-title-main">Ehud Hrushovski</span> Israeli mathematician (born 1959)

Ehud Hrushovski is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of Mathematics at the Hebrew University of Jerusalem.

<span class="mw-page-title-main">Association for Symbolic Logic</span> International specialist organization

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.

The Fielden Chair of Pure Mathematics is an endowed professorial position in the School of Mathematics, University of Manchester, England.

<span class="mw-page-title-main">Department of Mathematics, University of Manchester</span> Academic faculty in north-west England

The Department of Mathematics at the University of Manchester is one of the largest unified mathematics departments in the United Kingdom, with over 90 academic staff and an undergraduate intake of roughly 400 students per year and approximately 200 postgraduate students in total. The School of Mathematics was formed in 2004 by the merger of the mathematics departments of University of Manchester Institute of Science and Technology (UMIST) and the Victoria University of Manchester (VUM). In July 2007 the department moved into a purpose-designed building─the first three floors of the Alan Turing Building─on Upper Brook Street. In a Faculty restructure in 2019 the School of Mathematics reverted to the Department of Mathematics. It is one of five Departments that make up the School of Natural Sciences, which together with the School of Engineering now constitutes the Faculty of Science and Engineering at Manchester.

Carol Karp, born Carol Ruth Vander Velde, was an American mathematician of Dutch ancestry, best known for her work on infinitary logic. She also played viola in an all-women orchestra.

<span class="mw-page-title-main">Angus Macintyre</span> British mathematician and logician

Angus John Macintyre FRS, FRSE 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.

<span class="mw-page-title-main">Jeremy Gray</span> English mathematician

Jeremy John Gray is an English mathematician primarily interested in the history of mathematics.

<span class="mw-page-title-main">Jonathan Pila</span> Australian mathematician

Jonathan Solomon Pila FRS is an Australian mathematician at the University of Oxford.

<span class="mw-page-title-main">Rod Downey</span> Australian mathematician

Rodney Graham Downey is a New Zealand and Australian mathematician and computer scientist, an emeritus professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand. He is known for his work in mathematical logic and computational complexity theory, and in particular for founding the field of parameterised complexity together with Michael Fellows.

<span class="mw-page-title-main">Douglas Jones (mathematician)</span> British mathematician

Douglas Samuel Jones MBE, FRS, FRSE was a mathematician and electrical engineer known for his works in the field of electromagnetism.

<span class="mw-page-title-main">Matthias Aschenbrenner</span> German-American mathematician

Matthias Aschenbrenner is a German-American mathematician. He is a professor of mathematics and director of the logic group at the University of Vienna. His research interests include differential algebra and model theory.

<span class="mw-page-title-main">Boris Zilber</span> British logician

Boris Zilber is a Soviet-British mathematician who works in mathematical logic, specifically model theory. He is a professor of mathematical logic at the University of Oxford.

<span class="mw-page-title-main">Lou van den Dries</span> Dutch mathematician

Laurentius Petrus Dignus "Lou" van den Dries is a Dutch mathematician working in model theory. He is a professor emeritus of mathematics at the University of Illinois at Urbana–Champaign.

References

  1. Wilkie, Alex James, Who's Who in Education, Inglewood Books, 2003
  2. Homepage of Alex Wilkie at Manchester
  3. Alex Wilkie at the Mathematics Genealogy Project
  4. Alex Wilkie publications indexed by Microsoft Academic
  5. NOTICES, Bulletin of Symbolic Logic, Vol 7, No 3, p436, 2001
  6. NOTICES Carol Karp Prize, J. Symbolic logic, Volume 58, Number 2, June 1993
  7. 1 2 "Karp Prize Recipients". Association for Symbolic Logic. Archived from the original on 6 March 2017. Retrieved 10 May 2018.
  8. List of Fellows of the American Mathematical Society. Retrieved 1 September 2013.
  9. A list of Pólya Prizewinners. Retrieved 10 October 2019.
  10. Wilkie, A. J. "On schemes axiomatizing arithmetic". Proceedings of the ICM, 1986, Berkeley. pp. 331–337.
  11. Wilkie, A. J. (1998). "O-minimality". Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. I. pp. 633–636.
Preceded by Fielden Chair of Pure Mathematics
2007–
Succeeded by
Current Holder