Peter Aczel

Peter Aczel
Aczel in 2006
Born	Peter Henry George Aczel (1941-10-31)31 October 1941
Died	1 August 2023(2023-08-01) (aged 81)
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	University 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 Bloomington
Thesis	Mathematical Problems in Logic (1967)
Doctoral advisor	John Newsome Crossley

Website	www.cs.man.ac.uk/~petera/

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.