Peter Aczel

Peter Aczel
Peter Aczel
	Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004
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
	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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.