Peter Aczel

Quality 0.50 · 4 views · Updated 2 months ago

British mathematician and logician

title: "Peter Aczel" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["1941-births", "2023-deaths", "british-logicians", "people-associated-with-the-department-of-computer-science,-university-of-manchester", "institute-for-advanced-study-visiting-scholars", "mathematical-logicians", "proof-theorists", "set-theorists", "british-philosophers", "alumni-of-the-university-of-oxford"] description: "British mathematician and logician" topic_path: "philosophy" source: "https://en.wikipedia.org/wiki/Peter_Aczel" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary British mathematician and logician ::

::data[format=table title="Infobox scientist"]

FieldValue
namePeter Aczel
birth_namePeter Henry George Aczel
imagePeter Aczel June 2006.jpg
captionAczel in 2006
birth_date
death_date
nationalityBritish
fieldsMathematical logic
workplaces{{Plainlist
alma_materUniversity of Oxford
thesis_titleMathematical Problems in Logic
thesis_year1967
doctoral_advisorJohn Newsome Crossley
known_forAczel's anti-foundation axiom
Reflexive sets
Constructive set theory (CZF)
signature
website
::

| name = Peter Aczel | birth_name = Peter Henry George Aczel | image = Peter Aczel June 2006.jpg | image_size = | alt = | caption = Aczel in 2006 | birth_date = | birth_place = | death_date = | death_place = | resting_place = | citizenship = | nationality = British | fields = Mathematical logic | workplaces = {{Plainlist|

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.

He died on 1 August 2023.

References

References

  1. {{MathGenealogy. 59287
  2. Moss, Lawrence S.. (February 20, 2018). "The Stanford Encyclopedia of Philosophy". Metaphysics Research Lab, Stanford University.
  3. (1977). "Handbook of Mathematical Logic".
  4. (1989). "Category Theory and Computer Science".
  5. (1980). "The Kleene Symposium".
  6. {{DBLP
  7. "Peter Aczel page the University of Manchester".
  8. Aczel, Peter. (1966). "Mathematical problems in logic". University of Oxford.
  9. (14 August 2015). "Scholars".
  10. Dame, Marketing Communications: Web | University of Notre. "Notre Dame Journal of Formal Logic".
  11. "Annals of Pure and Applied Logic".
  12. "Fom - [FOM] Peter Aczel - arc".

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

1941-births2023-deathsbritish-logicianspeople-associated-with-the-department-of-computer-science,-university-of-manchesterinstitute-for-advanced-study-visiting-scholarsmathematical-logiciansproof-theoristsset-theoristsbritish-philosophersalumni-of-the-university-of-oxford