Peter Aczel
British mathematician and logician
From Wikipedia, the free encyclopedia
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.[1] He is known for his work in non-well-founded set theory,[2] constructive set theory,[3][4] and Frege structures.[5][6]
Peter Aczel | |
|---|---|
Aczel in 2006 | |
| Born | Peter Henry George Aczel 31 October 1941 |
| Died | 1 August 2023 (aged 81) |
| 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[7] followed by a DPhil at the University of Oxford in 1966 under the supervision of John Crossley.[1][8]
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.[7] He was a visiting scholar at the Institute for Advanced Study in 2012.[9]
Aczel was on the editorial board of the Notre Dame Journal of Formal Logic[10] 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.[7][11]
He died on 1 August 2023.[12]
