Peter Aczel

From Wikipedia, the free encyclopedia

Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for conflicting parameters". 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.[1] He is known for his work in non-well-founded set theory,[2] constructive set theory,[3][4] and Frege structures.[5][6]

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] In the Spring of 2009, Aczel was a Residential Fellow at the Swedish Collegium for Advanced Study in Uppsala, Sweden.[9] He was a visiting scholar at the Institute for Advanced Study in 2012.[10]

Aczel was on the editorial board of the Notre Dame Journal of Formal Logic[11] 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][12]

He died on 1 August 2023.[13]

References

Page Template:Reflist/styles.css has no content.

  1. ^ a b Peter Aczel at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
  2. ^ Page Module:Citation/CS1/styles.css has no content.Moss, Lawrence S. (February 20, 2018). "Non-wellfounded Set Theory". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
  3. ^ Page Module:Citation/CS1/styles.css has no content.Aczel, P. (1977). "An Introduction to Inductive Definitions". Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. pp. 739–201. doi:10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
  4. ^ Page Module:Citation/CS1/styles.css has no content.Aczel, P.; Mendler, N. (1989). "A final coalgebra theorem". Category Theory and Computer Science. Lecture Notes in Computer Science. Vol. 389. p. 357. doi:10.1007/BFb0018361. ISBN 3-540-51662-X.
  5. ^ Page Module:Citation/CS1/styles.css has no content.Aczel, P. (1980). "Frege Structures and the Notions of Proposition, Truth and Set". The Kleene Symposium. Studies in Logic and the Foundations of Mathematics. Vol. 101. pp. 31–32. doi:10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
  6. ^ {{DBLP}} template missing ID and not present in Wikidata.
  7. ^ a b c Page Module:Citation/CS1/styles.css has no content."Peter Aczel page the University of Manchester".
  8. ^ Page Module:Citation/CS1/styles.css has no content.Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(subscription required)
  9. ^ Page Module:Citation/CS1/styles.css has no content."Former Fellows SCAS".
  10. ^ Page Module:Citation/CS1/styles.css has no content."Scholars". Institute for Advanced Study. 14 August 2015.
  11. ^ Page Module:Citation/CS1/styles.css has no content.Dame, Marketing Communications: Web | University of Notre. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic.{{cite web}}: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)
  12. ^ Page Module:Citation/CS1/styles.css has no content."Annals of Pure and Applied Logic" – via www.journals.elsevier.com.
  13. ^ Page Module:Citation/CS1/styles.css has no content."Fom - [FOM] Peter Aczel - arc".

Page Template:Sister-inline/styles.css has no content.Script error: No such module "Sister project logo". Media related to Script error: No such module "Commons link". at Wikimedia Commons

Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.

Retrieved from "https://cosmopedia.co/index.php?title=Peter_Aczel&oldid=7672775"