stringtranslate.com

Peter Aczel

Peter Henry George Aczel ( / ˈ æ k s əl / ; 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

  1. ^ ab Peter Aczel en el Proyecto de genealogía de matemáticas
  2. ^ 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.
  3. ^ 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.
  4. ^ 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.
  5. ^ 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.
  6. ^ Peter Aczel en el servidor de bibliografía DBLP
  7. ^ abc "Página de Peter Aczel de la Universidad de Manchester".
  8. ^ Aczel, Peter (1966). Problemas matemáticos en lógica (tesis de doctorado). Universidad de Oxford.(requiere suscripción)
  9. ^ "Eruditos". Instituto de Estudios Avanzados . 14 de agosto de 2015.
  10. ^ 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 )
  11. ^ "Anales de la lógica pura y aplicada" - a través de www.journals.elsevier.com.
  12. ^ https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html

enlaces externos

Medios relacionados con Peter Aczel en Wikimedia Commons