Peter Aczel

Peter Aczel
Aczel in 2006
Born
Peter Henry George Aczel

(1941-10-31)31 October 1941
Died1 August 2023(2023-08-01) (aged 81)
Alma materUniversity of Oxford
Known forAczel's anti-foundation axiom
Reflexive sets
Constructive set theory (CZF)
Scientific career
FieldsMathematical 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
Websitewww.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 available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.