Peter Aczel

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by imported>Takeschutte at 13:57, 31 May 2025 (Added categories mathematical logicians and proof theorists). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". Peter Henry George Aczel (Script error: No such module "IPAc-en".; 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] He was a visiting scholar at the Institute for Advanced Study in 2012.[9]

Aczel was 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]

He died on 1 August 2023.[12]

References

<templatestyles src="Reflist/styles.css" />

  1. ↑ a b Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
  2. ↑ Script error: No such module "citation/CS1".
  3. ↑ Script error: No such module "citation/CS1".
  4. ↑ Script error: No such module "citation/CS1".
  5. ↑ Script error: No such module "citation/CS1".
  6. ↑ Script error: No such module "String". Peter Aczel at DBLP Bibliography ServerTemplate:EditAtWikidata
  7. ↑ a b c Script error: No such module "citation/CS1".
  8. ↑ Script error: No such module "citation/CS1".Template:Link note
  9. ↑ Script error: No such module "citation/CS1".
  10. ↑ Script error: No such module "citation/CS1".
  11. ↑ Script error: No such module "citation/CS1".
  12. ↑ Script error: No such module "citation/CS1".

Script error: No such module "Check for unknown parameters".

External links

Template:Sister-inline

Script error: No such module "Authority control".

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Peter_Aczel&oldid=8730874"