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 y la lógica de modelos . Anteriormente profesor de lógica matemática en la Universidad de Oxford , fue nombrado miembro de la Cátedra Fielden de Matemática Pura 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 del University College London en 1969, su maestría (en lógica matemática) de la Universidad de Londres en 1970 y su doctorado del Bedford College, University. 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, pasó a ser profesor de matemáticas en la Universidad de Leicester de 1972 a 1973, luego fue investigador en la Open University de 1973 a 1978. Pasó dos períodos como profesor junior de matemáticas en la Universidad de Oxford (1978 –80 y 1981-2) con (1980-1) como profesor asistente visitante en la Universidad de Yale . En 1980, Wilkie resolvió el problema de álgebra de la escuela secundaria de Tarski .

En octubre de 1982, Wilkie fue nombrado investigador en el departamento de matemáticas de la Universidad de París VII y luego regresó a Inglaterra al año siguiente para realizar una beca de investigación avanzada SERC (ahora EPSRC ) de tres años en la Universidad de Manchester. Después de dos años fue nombrado profesor del Departamento de Matemáticas. En 1986 se trasladó a Oxford, donde fue nombrado 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 como presidente 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 de geometría diferencial para establecer teoremas de finitud fundamentales para conjuntos definibles mediante la función exponencial y funciones de Pfaff más generales . Los resultados, que van mucho más allá de los obtenidos con métodos convencionales, ya han tenido sorprendentes aplicaciones 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 -presidente 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ó nuevamente el Premio Karp 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 impartió 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 de matemáticas
  4. ^ Publicaciones de Alex Wilkie indexadas por Microsoft Academic
  5. ^ AVISOS, Boletín de Lógica Simbólica, Vol 7, No 3, p436, 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 Sociedad Estadounidense de Matemáticas. 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 de la ICM, 1986, Berkeley . págs. 331–337.
  11. ^ Wilkie, AJ (1998). "O-minimidad". Doc. Matemáticas. (Bielefeld) Vol. adicional. ICM Berlín, 1998, vol. I . págs. 633–636.