Peter Henry George Aczel ( / æ k s əl / ; nacido el 31 de octubre de 1941) es un británico matemático, lógico y Emérito conjunta profesor en el Departamento de Ciencias de la Computación y la Facultad de Matemáticas en la Universidad de Manchester . [1] Es conocido por su trabajo en teoría de conjuntos no bien fundamentada , [2] teoría de conjuntos constructiva , [3] [4] y estructuras de Frege . [5] [6]
Peter Aczel | |
---|---|
Nació | Peter Henry George Aczel 31 de octubre de 1941 |
Nacionalidad | Reino Unido |
alma mater | Universidad de Oxford |
Conocido por | Conjuntos reflexivos axioma anti-fundación de Aczel |
Carrera científica | |
Campos | Lógica matemática |
Instituciones | |
Tesis | Problemas matemáticos de lógica (1967) |
Asesor de doctorado | John Newsome Crossley |
Sitio web | www |
Educación
Aczel completó su licenciatura en matemáticas en 1963 [7] seguido de un doctorado en la Universidad de Oxford en 1966 bajo la supervisión de John Crossley . [1] [8]
Carrera e investigación
Después de dos años de visitar puestos en la Universidad de Wisconsin – Madison y la Universidad de Rutgers, Aczel tomó un puesto en la Universidad de Manchester . También ha ocupado puestos de visitante en la Universidad de Oslo , el Instituto de Tecnología de California , la Universidad de Utrecht , la Universidad de Stanford y la Universidad de Indiana en Bloomington . [7] Fue profesor invitado en el Instituto de Estudios Avanzados en 2012. [9]
Aczel es miembro del consejo editorial del Notre Dame Journal of Formal Logic [10] y de los Cambridge Tracts in Theoretical Computer Science, y anteriormente formó parte de los consejos editoriales del Journal of Symbolic Logic y Annals of Pure and Applied Logic . [7] [11]
Referencias
- ^ a b Peter Aczel en el Proyecto de genealogía matemática
- ^ Moss, Lawrence S. (20 de febrero de 2018). Zalta, Edward N. (ed.). La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación de Metafísica, Universidad de Stanford, a través de la Enciclopedia de Filosofía de Stanford.
- ^ Aczel, P. (1977). "Introducción a las definiciones inductivas". Manual de lógica matemática . Estudios de Lógica y Fundamentos de las Matemáticas. 90 . págs. 739–201. doi : 10.1016 / S0049-237X (08) 71120-0 . ISBN 9780444863881.
- ^ Aczel, P .; Mendler, N. (1989). "Un teorema de coalgebra final". Teoría de Categorías e Informática . Apuntes de conferencias en informática. 389 . pag. 357. doi : 10.1007 / BFb0018361 . ISBN 3-540-51662-X.
- ^ Aczel, P. (1980). "Estructuras de Frege y las nociones de proposición, verdad y conjunto". El Simposio de Kleene . Estudios de Lógica y Fundamentos de las Matemáticas. 101 . págs. 31–32. doi : 10.1016 / S0049-237X (08) 71252-7 . ISBN 9780444853455.
- ^ Peter Aczel en elservidor de bibliografía DBLP
- ^ a b c "Página de Peter Aczel de la Universidad de Manchester" .
- ^ Aczel, Peter (1966). Problemas matemáticos de lógica (tesis de DPhil). Universidad de Oxford.(requiere suscripción)
- ^ "Eruditos" . Instituto de Estudios Avanzados .
- ^ Dame, Comunicaciones de marketing: Web | Universidad de Notre. "Notre Dame Journal of Formal Logic" . Diario de Notre Dame de lógica formal .
- ^ "Anales de la lógica pura y aplicada" , a través de www.journals.elsevier.com.
Enlace externo
Medios relacionados con Peter Aczel en Wikimedia Commons