Hispanopedia WikiPeter Henry George Aczel ( / ˈæksəl / ; 31 de octubre de 1941 - 1 de agosto de 2023 ) fue un matemático, lógico y profesor emérito del Departamento de Ciencias de la Computación y de la Escuela de Matemáticas de la Universidad de Manchester . [1] Es conocido por su trabajo en teoría de conjuntos no bien fundados , [2] teoría de conjuntos constructivos , [3] [4] y estructuras de Frege . [5] [6]
Educación
Aczel completó su Licenciatura en Artes en Matemáticas en 1963 [7] seguida por 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 ocupar puestos de profesor visitante en la Universidad de Wisconsin-Madison y la Universidad Rutgers , Aczel aceptó un puesto en la Universidad de Manchester . También ha ocupado puestos de profesor visitante en la Universidad de Oslo , el Instituto Tecnológico de California , la Universidad de Utrecht , la Universidad de Stanford y la Universidad de Indiana Bloomington . [7] Fue profesor visitante en el Instituto de Estudios Avanzados en 2012. [9]
Aczel fue miembro del consejo editorial del Notre Dame Journal of Formal Logic [10] y del Cambridge Tracts in Theoretical Computer Science, habiendo trabajado anteriormente en los consejos editoriales del Journal of Symbolic Logic y de los Annals of Pure and Applied Logic . [7] [11]
Murió el 1 de agosto de 2023. [12]
Referencias
- ^ de Peter Aczel en el Proyecto de Genealogía Matemática
- ^ Moss, Lawrence S. (20 de febrero de 2018). "Teoría de conjuntos no bien fundada". En Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – vía Stanford Encyclopedia of Philosophy.
- ^ 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. 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 coálgebra". Category Theory and Computer Science . Lecture Notes in Computer Science. Vol. 389. p. 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". The Kleene Symposium . 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.(se requiere suscripción)
- ^ "Académicos". Instituto de Estudios Avanzados . 14 de agosto de 2015.
- ^ Dame, Comunicaciones de marketing: Web | Universidad de Notre Dame. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic .
{{cite web}}: CS1 maint: nombres múltiples: lista de autores ( enlace ) CS1 maint: nombres numéricos: lista de autores ( enlace ) - ^ "Anales de lógica pura y aplicada" – vía www.journals.elsevier.com.
- ^ "Fom - [FOM] Peter Aczel - arco".
Enlaces externos
Medios relacionados con Peter Aczel en Wikimedia Commons