Alex Wilkie - Alex Wilkie

Alex Wilkie
Alex Wilkie FRS, retratado em 2007
Nascermos	Alex James Wilkie 1948 (69-70 anos) Northampton , Inglaterra
Residência	Reino Unido
Nacionalidade	britânico
alma mater	University College London Bedford College, University of London
Conhecido por	teorema de Wilkie
Prêmios	Prêmio Karp (1993) Fellow da Royal Society (2001)
carreira científica
Campos	Matemática , teoria Modelo
instituições	Universidade de Manchester
conselheiro doutoral	Wilfrid Hodges

Alex James Wilkie FRS (nascido em 1948 em Northampton ) é um britânico matemático conhecido por suas contribuições ao modelo de teoria e lógica . Anteriormente Reader em Lógica Matemática na Universidade de Oxford , ele foi nomeado para a cadeira Fielden de Matemática Pura na Universidade de Manchester em 2007.

Educação

Alex Wilkie participaram Aylesbury Grammar School e passou a ganhar a sua Licenciatura em Matemática com honras de primeira classe da University College de Londres , em 1969, seu mestrado (na lógica matemática) da Universidade de Londres , em 1970, e seu PhD do Bedford College, Universidade de Londres , em 1973, sob a supervisão de Wilfrid Hodges com uma dissertação intitulada modelos da teoria dos números .

Carreira e pesquisa

Após o seu doutoramento foi sobre uma nomeação como um professor de matemática na Universidade de Leicester 1972-1973, em seguida, um pesquisador da Universidade Aberta de 1973 até 1978. Ele passou dois períodos como palestrante júnior em matemática na Universidade de Oxford (1978 -80 e 1981-2) com (1980-1) como uma visita professor assistente na Universidade de Yale . Em 1980 Wilkie resolvido problema de álgebra do ensino médio de Tarski .

Em Outubro de 1982 Wilkie foi apontado como um bolseiro de investigação no departamento de matemática na Universidade de Paris VII , em seguida, retornou à Inglaterra no ano seguinte para assumir um de três anos SERC (agora EPSRC ) avançou bolsa de investigação na Universidade de Manchester. Depois de dois anos, foi nomeado professor do Departamento de Matemática. Em 1986 ele passou a Oxford, onde foi nomeado para os leitores na lógica matemática lá que se tornou vago após a aposentadoria de Robin Gandy . Ele permaneceu no cargo até a nomeação para a presidência Fielden em Manchester.

Prêmios e honras

Wilkie foi eleito Fellow da Royal Society em 2001. Para citar a citação

Wilkie combinou técnicas lógicas e técnicas diferenciais-geométrico para estabelecer finidade teoremas fundamentais para conjuntos definível usando a função exponencial, e mais gerais funções Pfaffian . Os resultados, indo muito além daqueles obtidos por métodos convencionais, já tiveram aplicações notáveis a mentir grupos.

Wilkie recebeu o Prêmio Karp Carol (a mais alta condecoração feita pela Association for Symbolic Logic , a cada cinco anos) em conjunto com Ehud Hrushovski em 1993. Ele foi eleito para o Conselho da Sociedade Matemática de Londres em 2007, vice-presidente da Associação de Symbolic Logic (2006) e presidente da Associação para a lógica simbólica em 2009. em 2012 ele se tornou um membro da American Mathematical Society . Ele recebeu o Prêmio Karp novamente em 2013, em conjunto com Moti Gitik, Ya'acov Peterzil, Jonathan Pila , e Sergei Starchenko.

Referências