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
Nationality
British
Alma mater
University of Oxford
Known for
Aczel's anti-foundation axiom Reflexive sets Constructive set theory (CZF)
Scientific career
Fields
Mathematical logic
Institutions
University of Oxford
University of Wisconsin–Madison
Rutgers University
University of Manchester
University of Oslo
Caltech
Utrecht University
Stanford University
Institute for Advanced Study
Indiana University Bloomington
Thesis
Mathematical Problems in Logic (1967)
Doctoral advisor
John Newsome Crossley
Website
www.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.[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 at the Mathematics Genealogy Project
^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.
^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.
^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.
^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.
Peter Henry George Aczel (/ˈæksəl/; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department...
Steve Awodey, Thierry Coquand and Vladimir Voevodsky. During the program PeterAczel, who was one of the participants, initiated a working group which investigated...
set to exist. Quine atoms are the only sets called reflexive sets by PeterAczel, although other authors, e.g. Jon Barwise and Lawrence Moss, use the...
example, the proportion of prime flow graphs given a chosen set of graphs. PeterAczel has used rooted directed graphs such that every node is reachable from...
Constructive and Intuitionistic ZF; Stanford Encyclopedia of Philosophy; 2009 PeterAczel and Michael Rathjen, Notes on Constructive Set Theory, Reports Institut...
Present Stance," Archived September 28, 2007, at the Wayback Machine PeterAczel, The Audio Critic, issue number 16, page 31 (PDF page 25), accessed 2007-05-18...
have written books in the field of mathematics or computing, including PeterAczel, Wilfrid Hodges, John Lane Bell and Rod Downey. Crossley is also an avid...
reformulation based on PeterAczel's non-well-founded set theory was proposed by Barwise before this approach to the subject petered out in the early 1990s...
claimed that such an approach resolved the liar paradox. He made use of PeterAczel's non-well-founded set theory in understanding "vicious circles" of reasoning...
Pelé Barnes (Somerset Unionist Party) Exeter Tessa Tucker Steve Race Will Aczel William Petty Andrew Bell Labour Ben Bradshaw Filton and Bradley Stoke Jack...
en Italie et en Sicile (in French). Paris: Librairie A. Picard et fils. Aczel, Amir D. (2001). The riddle of the compass : the invention that changed...
lockjaw at a Soviet event and eloping with fellow speed-eating champion Aczél Gizi, Kálmán resumes his rigorous training, even as Gizi gives birth to...
to define the elements in a set in terms of other elements in the set (Aczel 1977:740ff). Some examples of recursively-definable objects include factorials...
Press, pp. 246, 267, 292–293, ISBN 978-0-521-88439-6 Richter, Wayne; Aczel, Peter (1974), Inductive Definitions and Reflecting Properties of Admissible...