stringtranslate.com

Alex Wilkie

Alex James Wilkie FRS (nacido en 1948 en Northampton [1] ) es un matemático británico conocido por sus contribuciones a la teoría de modelos y la lógica . Anteriormente profesor de lógica matemática en la Universidad de Oxford , fue nombrado titular de la cátedra Fielden de matemáticas puras en la Universidad de Manchester en 2007. [2] [3] [4]

Educación

Alex Wilkie asistió a la Aylesbury Grammar School y obtuvo su licenciatura en matemáticas con honores de primera clase en el University College de Londres en 1969, su maestría (en lógica matemática) en la Universidad de Londres en 1970 y su doctorado en el Bedford College, Universidad de Londres en 1973 bajo la supervisión de Wilfrid Hodges con una disertación titulada Modelos de teoría de números .

Carrera e investigación

Después de su doctorado, fue nombrado profesor de matemáticas en la Universidad de Leicester de 1972 a 1973, y luego investigador en la Open University de 1973 a 1978. Pasó dos períodos como profesor adjunto de matemáticas en la Universidad de Oxford (1978-80 y 1981-2) y (1980-1) como profesor asistente visitante en la Universidad de Yale . En 1980, Wilkie resolvió el problema de álgebra de secundaria de Tarski .

En octubre de 1982, Wilkie fue designado investigador en el departamento de matemáticas de la Universidad de París VII y regresó a Inglaterra al año siguiente para aceptar una beca de investigación avanzada de tres años del SERC (ahora EPSRC ) en la Universidad de Manchester. Después de dos años, fue designado profesor en el Departamento de Matemáticas. En 1986 se fue a Oxford, donde fue designado para el puesto de lector de lógica matemática que había quedado vacante tras la jubilación de Robin Gandy . Permaneció en este puesto hasta su nombramiento para la Cátedra Fielden en Manchester.

Premios y honores

Wilkie fue elegido miembro de la Royal Society en 2001. Para citar la cita

Wilkie ha combinado técnicas lógicas y técnicas diferenciales-geométricas para establecer teoremas de finitud fundamentales para conjuntos definibles mediante la función exponencial y funciones pfaffianas más generales . Los resultados, que van mucho más allá de los obtenidos por métodos convencionales, ya han tenido aplicaciones sorprendentes en los grupos de Lie. [5]

Wilkie recibió el Premio Carol Karp (el premio más alto otorgado por la Asociación de Lógica Simbólica , cada cinco años) junto con Ehud Hrushovski en 1993. [6] [7] Fue elegido miembro del Consejo de la Sociedad Matemática de Londres en 2007, vicepresidente de la Asociación de Lógica Simbólica (2006) y presidente de la Asociación de Lógica Simbólica en 2009. En 2012 se convirtió en miembro de la Sociedad Matemática Estadounidense . [8] Recibió el Premio Karp nuevamente en 2013, junto con Moti Gitik, Ya'acov Peterzil, Jonathan Pila y Sergei Starchenko. [7] En 2017, Wilkie recibió el Premio Pólya . [9]

Fue orador invitado del Congreso Internacional de Matemáticos en Berkeley en 1986 [10] y en Berlín en 1998. [11]

En 2015, Wilkie dictó la Conferencia Gödel titulada Continuaciones complejas de funciones definibles con una aplicación diofántica.

Referencias

  1. ^ Wilkie, Alex James, Quién es quién en la educación, Inglewood Books, 2003
  2. ^ Página de inicio de Alex Wilkie en Manchester
  3. ^ Alex Wilkie en el Proyecto de Genealogía Matemática
  4. ^ Publicaciones de Alex Wilkie indexadas por Microsoft Academic
  5. ^ AVISOS, Boletín de lógica simbólica, vol. 7, n.º 3, pág. 436, 2001
  6. ^ AVISOS Premio Carol Karp, J. Lógica simbólica, Volumen 58, Número 2, junio de 1993
  7. ^ ab "Ganadores del premio Karp". Asociación de Lógica Simbólica . Archivado desde el original el 6 de marzo de 2017. Consultado el 10 de mayo de 2018 .
  8. ^ Lista de miembros de la American Mathematical Society. Consultado el 1 de septiembre de 2013.
  9. ^ Una lista de los ganadores del premio Pólya. Consultado el 10 de octubre de 2019.
  10. ^ Wilkie, AJ "Sobre esquemas que axiomatizan la aritmética". Actas del ICM, 1986, Berkeley . pp. 331–337.
  11. ^ Wilkie, AJ (1998). "O-minimidad". Doc. Matemáticas. (Bielefeld) Vol. adicional. ICM Berlín, 1998, vol. I . págs. 633–636.