Peter Aczel

Peter Aczel
Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004
Born
Peter Henry George Aczel

(1941-10-31)31 October 1941
Died(2023-08-01)1 August 2023
NationalityBritish
Alma materUniversity of Oxford
Known forAczel's anti-foundation axiom
Reflexive sets
Scientific career
FieldsMathematical logic
Institutions
ThesisMathematical Problems in Logic (1967)
Doctoral advisorJohn 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.

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.


This page was last updated at 2023-10-25 05:40 UTC. Update now. View original page.

All our content comes from Wikipedia and under the Creative Commons Attribution-ShareAlike License.


Top

If mathematical, chemical, physical and other formulas are not displayed correctly on this page, please useFirefox or Safari