Peter Aczel

Peter Henry George Aczel (/ˈæksəl/; born 31 October 1941) is 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
Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004
Born
Peter Henry George Aczel

(1941-10-31) 31 October 1941
NationalityUK
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/

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 is 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]

gollark: If it ONLY maps "person's name or something" to "vaccines had" it's not a huge privacy issue.
gollark: Yes. But in general.
gollark: Well, you've got to put a limit of some sort on freedom/life tradeoffs.
gollark: I think a vaccine passport is reasonable iff vaccines are actually available to everyone when it's required.
gollark: Correction: 0.05 per 1045 seconds.

References
  1. Peter Aczel at the Mathematics Genealogy Project
  2. Moss, Lawrence S. (February 20, 2018). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
  3. Aczel, P. (1977). "An Introduction to Inductive Definitions". Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. 90. pp. 739–201. doi:10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
  4. Aczel, P.; Mendler, N. (1989). "A final coalgebra theorem". Category Theory and Computer Science. Lecture Notes in Computer Science. 389. p. 357. doi:10.1007/BFb0018361. ISBN 3-540-51662-X.
  5. Aczel, P. (1980). "Frege Structures and the Notions of Proposition, Truth and Set". The Kleene Symposium. Studies in Logic and the Foundations of Mathematics. 101. pp. 31–32. doi:10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
  6. Peter Aczel at DBLP Bibliography Server
  7. "Peter Aczel page the University of Manchester".
  8. Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(subscription required)
  9. "Scholars". Institute for Advanced Study.
  10. Dame, Marketing Communications: Web | University of Notre. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic.
  11. "Annals of Pure and Applied Logic" – via www.journals.elsevier.com.

Media related to Peter Aczel at Wikimedia Commons

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