matemático y lógico británico
Peter Henry George Aczel ( ; 31 de octubre de 1941 - 1 de agosto de 2023) fue un matemático, lógico y profesor adjunto emérito británico en el Departamento de Ciencias de la Computación y la Facultad de Matemáticas de la Universidad de Manchester . [1] Es conocido por su trabajo en teoría de conjuntos no bien fundamentados , [2] teoría de conjuntos constructiva , [3] [4] y estructuras de Frege . [5] [6]
Educación
Aczel completó su Licenciatura en Matemáticas en 1963 [7] seguida de un Doctorado en Filosofía 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 puestos visitantes en la Universidad de Wisconsin-Madison y la Universidad de Rutgers , Aczel aceptó un puesto en la Universidad de Manchester . También ha ocupado cargos visitantes 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 académico visitante en el Instituto de Estudios Avanzados en 2012. [9]
Aczel formó parte del consejo editorial del Notre Dame Journal of Formal Logic [10] y de Cambridge Tracts in Theoretical Computer Science, y anteriormente formó parte del consejo editorial del Journal of Symbolic Logic y Annals of Pure and Applied Logic . [7] [11]
Murió el 1 de agosto de 2023. [12]
Referencias
- ^ ab Peter Aczel en el Proyecto de genealogía de matemáticas
- ^ Moss, Lawrence S. (20 de febrero de 2018). Zalta, Edward N. (ed.). La Enciclopedia de Filosofía de Stanford. Laboratorio de Investigación en Metafísica, Universidad de Stanford, a través de la Enciclopedia de Filosofía de Stanford.
- ^ Aczel, P. (1977). "Una introducción a las definiciones inductivas". Manual de lógica matemática . Estudios de Lógica y Fundamentos de las Matemáticas. vol. 90, págs. 739–201. doi :10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
- ^ Aczel, P.; Mendler, N. (1989). "Un teorema final de la coalgebra". Categoría Teoría e Informática . Apuntes de conferencias sobre informática. vol. 389. pág. 357.doi : 10.1007 /BFb0018361. ISBN 3-540-51662-X.
- ^ Aczel, P. (1980). "Las estructuras de Frege y las nociones de proposición, verdad y conjunto". El Simposio Kleene . Estudios de Lógica y Fundamentos de las Matemáticas. vol. 101, págs. 31–32. doi :10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
- ^ Peter Aczel en el servidor de bibliografía DBLP
- ^ abc "Página de Peter Aczel de la Universidad de Manchester".
- ^ Aczel, Peter (1966). Problemas matemáticos en lógica (tesis de doctorado). Universidad de Oxford.(requiere suscripción)
- ^ "Eruditos". Instituto de Estudios Avanzados . 14 de agosto de 2015.
- ^ Dama, Comunicaciones de marketing: Web | Universidad de Notre. "Revista de lógica formal de Notre Dame". Revista de lógica formal de Notre Dame .
{{cite web}}
: Mantenimiento CS1: varios nombres: lista de autores ( enlace ) Mantenimiento CS1: nombres numéricos: lista de autores ( enlace ) - ^ "Anales de la lógica pura y aplicada" - a través de www.journals.elsevier.com.
- ^ https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
enlaces externos
Medios relacionados con Peter Aczel en Wikimedia Commons