Alex Wilkie
{{BLP sources|date=January 2024}}
{{Use dmy dates|date=February 2020}}
{{EngvarB|date=February 2020}}
{{Infobox scientist
| name = Alex Wilkie
|birth_name = Alex James Wilkie
|image = Alex Wilkie.jpg
|caption = Wilkie, pictured in 2007
|birth_date = {{Birth year and age|1948}}
|birth_place = Northampton, England
|nationality = British
|field = Mathematics, Model theory
|work_institutions = University of Manchester
|alma_mater = University College London
Bedford College, University of London
|doctoral_advisor = Wilfrid Hodges
| known_for = Wilkie's theorem
|doctoral_students =
|prizes = Karp Prize (1993)
Fellow of the Royal Society (2001)
Pólya Prize (LMS) (2017)
}}
Alex James Wilkie FRS (born 1948 in NorthamptonWilkie, Alex James, Who's Who in Education, Inglewood Books, 2003) 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.[http://www.manchester.ac.uk/research/alex.wilkie/ Homepage of Alex Wilkie at Manchester]{{MathGenealogy |id=43944}}{{AcademicSearch|id=12524356}}
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 doctoral research he was 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 (FRS) 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.NOTICES, Bulletin of Symbolic Logic, Vol 7, No 3, p436, 2001
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.NOTICES Carol Karp Prize, J. Symbolic logic, Volume 58, Number 2, June 1993{{cite web |url=https://www.aslonline.org/Karp_recipients.html |title=Karp Prize Recipients |publisher=Association for Symbolic Logic |accessdate=10 May 2018 |archive-url=https://web.archive.org/web/20170306004142/http://www.aslonline.org/Karp_recipients.html |archive-date=6 March 2017 |url-status=dead }} 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.[http://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society]. Retrieved 1 September 2013. He received the Karp Prize again in 2013, jointly with Moti Gitik, Ya'acov Peterzil, Jonathan Pila, and Sergei Starchenko. In 2017, Wilkie was awarded the Pólya Prize.[https://www.lms.ac.uk/prizes/list-lms-prize-winners#PolyaPrize A list of Pólya Prizewinners]. Retrieved 10 October 2019.
He was an Invited Speaker of the International Congress of Mathematicians in Berkeley in 1986{{cite book|author=Wilkie, A. J.|chapter=On schemes axiomatizing arithmetic|pages=331–337|title=Proceedings of the ICM, 1986, Berkeley}} and in Berlin in 1998.{{cite book|author=Wilkie, A. J.|chapter=O-minimality|title=Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. I|year=1998|pages=633–636|chapter-url=https://www.elibm.org/ft/10011740000}}
In 2015, Wilkie held the Gödel Lecture titled Complex continuations of functions definable in with a diophantine application.
References
{{reflist}}
{{s-start}}
{{succession box | before=Mark Pollicott | title=Fielden Chair of Pure Mathematics | after= Current Holder | years=2007–}}
{{s-end}}
{{FRS 2001}}
{{authority control}}
{{DEFAULTSORT:Wilkie, Alex}}
Category:People from Northampton
Category:People educated at Aylesbury Grammar School
Category:Alumni of University College London
Category:Alumni of Bedford College, London
Category:20th-century English mathematicians
Category:21st-century English mathematicians
Category:Academics of the University of Oxford
Category:Academics of the University of Manchester
Category:Yale University faculty
Category:Fellows of Wolfson College, Oxford