Peter Henry George Aczel (/ˈæksəl/; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory,constructive set theory, and Frege structures.
Peter Aczel | |
|---|---|
 Aczel in 2006 | |
| Born | Peter Henry George Aczel 31 October 1941 |
| Died | 1 August 2023 |
| Nationality | British |
| Alma mater | University of Oxford |
| Known for | Aczel's anti-foundation axiom Reflexive sets Constructive set theory (CZF) |
| Scientific career | |
| Fields | Mathematical logic |
| Institutions |
|
| Thesis | Mathematical Problems in Logic (1967) |
| Doctoral advisor | John Newsome Crossley |
| Website | www |
Education
Aczel completed his Bachelor of Arts in Mathematics in 1963 followed by a DPhil at the University of Oxford in 1966 under the supervision of John Crossley.
Career and research
After two years of visiting positions at the University of Wisconsin–Madison and Rutgers University, Aczel took a position at the University of Manchester. He has also held visiting positions at the University of Oslo, California Institute of Technology, Utrecht University, Stanford University, and Indiana University Bloomington. He was a visiting scholar at the Institute for Advanced Study in 2012.
Aczel was on the editorial board of the Notre Dame Journal of Formal Logic and the Cambridge Tracts in Theoretical Computer Science, having previously served on the editorial boards of the Journal of Symbolic Logic and the Annals of Pure and Applied Logic.
He died on 1 August 2023.
References
- Peter Aczel at the Mathematics Genealogy Project
- Moss, Lawrence S. (February 20, 2018). "Non-wellfounded Set Theory". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
- Aczel, P. (1977). "An Introduction to Inductive Definitions". Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. pp. 739–201. doi:10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
- Aczel, P.; Mendler, N. (1989). "A final coalgebra theorem". 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). "Frege Structures and the Notions of Proposition, Truth and Set". The Kleene Symposium. Studies in Logic and the Foundations of Mathematics. Vol. 101. pp. 31–32. doi:10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
- Peter Aczel at DBLP Bibliography Server
- "Peter Aczel page the University of Manchester".
- Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(subscription required)
- "Scholars". Institute for Advanced Study. 14 August 2015.
- Dame, Marketing Communications: Web | University of Notre. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic.
{{cite web}}: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link) - "Annals of Pure and Applied Logic" – via www.journals.elsevier.com.
- "Fom - [FOM] Peter Aczel - arc".
External links
Media related to Peter Aczel at Wikimedia Commons
Peter Henry George Aczel ˈ ae k s el 31 October 1941 1 August 2023 was a British mathematician logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester He is known for his work in non well founded set theory constructive set theory and Frege structures Peter AczelAczel in 2006BornPeter Henry George Aczel 1941 10 31 31 October 1941Died 2023 08 01 1 August 2023NationalityBritishAlma materUniversity of OxfordKnown forAczel s anti foundation axiom Reflexive sets Constructive set theory CZF Scientific careerFieldsMathematical logicInstitutionsUniversity of Oxford University of Wisconsin Madison Rutgers University University of Manchester University of Oslo Caltech Utrecht University Stanford University Institute for Advanced Study Indiana University BloomingtonThesisMathematical Problems in Logic 1967 Doctoral advisorJohn Newsome CrossleyWebsitewww wbr cs wbr man wbr ac wbr uk wbr petera wbr EducationAczel completed his Bachelor of Arts in Mathematics in 1963 followed by a DPhil at the University of Oxford in 1966 under the supervision of John Crossley Career and researchAfter two years of visiting positions at the University of Wisconsin Madison and Rutgers University Aczel took a position at the University of Manchester He has also held visiting positions at the University of Oslo California Institute of Technology Utrecht University Stanford University and Indiana University Bloomington He was a visiting scholar at the Institute for Advanced Study in 2012 Aczel was on the editorial board of the Notre Dame Journal of Formal Logic and the Cambridge Tracts in Theoretical Computer Science having previously served on the editorial boards of the Journal of Symbolic Logic and the Annals of Pure and Applied Logic He died on 1 August 2023 ReferencesPeter Aczel at the Mathematics Genealogy Project Moss Lawrence S February 20 2018 Non wellfounded Set Theory In Zalta Edward N ed The Stanford Encyclopedia of Philosophy Metaphysics Research Lab Stanford University via Stanford Encyclopedia of Philosophy Aczel P 1977 An Introduction to Inductive Definitions Handbook of Mathematical Logic Studies in Logic and the Foundations of Mathematics Vol 90 pp 739 201 doi 10 1016 S0049 237X 08 71120 0 ISBN 9780444863881 Aczel P Mendler N 1989 A final coalgebra theorem 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 Frege Structures and the Notions of Proposition Truth and Set The Kleene Symposium Studies in Logic and the Foundations of Mathematics Vol 101 pp 31 32 doi 10 1016 S0049 237X 08 71252 7 ISBN 9780444853455 Peter Aczel at DBLP Bibliography Server Peter Aczel page the University of Manchester Aczel Peter 1966 Mathematical problems in logic DPhil thesis University of Oxford subscription required Scholars Institute for Advanced Study 14 August 2015 Dame Marketing Communications Web University of Notre Notre Dame Journal of Formal Logic Notre Dame Journal of Formal Logic a href wiki Template Cite web title Template Cite web cite web a CS1 maint multiple names authors list link CS1 maint numeric names authors list link Annals of Pure and Applied Logic via www journals elsevier com Fom FOM Peter Aczel arc External linksMedia related to Peter Aczel at Wikimedia Commons
