Alex Wilkie
Alex James Wilkie FRS (nacido en 1948 en Northampton) es un matemático británico conocido por sus contribuciones a la teoría de modelos y la lógica. Anteriormente fue profesor de lógica matemática en la Universidad de Oxford y en 2007 fue nombrado catedrático Fielden de matemáticas puras en la Universidad de Manchester.
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 de la 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 investigación doctoral, fue nombrado profesor de matemáticas en la Universidad de Leicester de 1972 a 1973, y luego investigador asociado 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 nombrado investigador asociado 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 nombrado profesor del Departamento de Matemáticas. En 1986, se trasladó a Oxford, donde fue nombrado profesor de lógica matemática, puesto que había quedado vacante tras la jubilación de Robin Gandy. Permaneció en este puesto hasta su nombramiento como catedrático de Fielden en Manchester.
Premios y honores
Wilkie fue elegido miembro de la Royal Society (FRS) en 2001. Para citar la cita:
- Wilkie ha combinado técnicas lógicas y técnicas diferenciales-geométricas para establecer teoremas fundamentales de Finiteness para conjuntos definibles utilizando la función exponencial, y funciones más generales de Pfaffian. Los resultados, que van mucho más allá de los obtenidos por métodos convencionales, ya han tenido aplicaciones llamativas a grupos Lie.
Wilkie recibió el Premio Carol Karp (el máximo galardón que otorga la Asociación de Lógica Simbólica cada cinco años) junto con Ehud Hrushovski en 1993. 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 Americana. Recibió el Premio Karp nuevamente en 2013, junto con Moti Gitik, Ya'acov Peterzil, Jonathan Pila y Sergei Starchenko. En 2017, Wilkie recibió el Premio Pólya.
Fue orador invitado del Congreso Internacional de Matemáticos en Berkeley en 1986 y en Berlín en 1998.
En 2015, Wilkie celebró la Conferencia de Gödel titulada Continuaciones complejas de las funciones definibles en con una aplicación diofantina.
Referencias
- ^ Wilkie, Alex James, Quien es Quien en Educación, Libros Inglewood, 2003
- ^ Homepage de Alex Wilkie en Manchester
- ^ Alex Wilkie en el Proyecto de Genealogía Matemática
- ^ Alex Wilkie publicaciones indexadas por Microsoft Academic
- ^ NOTICIAS, Boletín de Lógica Simbólica, Vol 7, No 3, p436, 2001
- ^ NOTICES Premio Carol Karp, J. Lógica simbólica, Volumen 58, Número 2, Junio 1993
- ^ a b "Recipientes del Premio Karp". Association for Symbolic Logic. Archivado desde el original el 6 de marzo de 2017. Retrieved 10 de mayo 2018.
- ^ Lista de Fellows of the American Mathematical Society. Consultado el 1 de septiembre de 2013.
- ^ Una lista de ganadores del Premio Pólya. Consultado el 10 de octubre de 2019.
- ^ Wilkie, A. J. "Sobre esquemas axiomatizantes aritméticos". Proceedings of the ICM, 1986, Berkeley. pp. 331 –337.
- ^ Wilkie, A. J. (1998). "O-minimality". Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. I. pp. 633 –636.