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...
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...
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...
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...
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...
Press, pp. 246, 267, 292–293, ISBN 978-0-521-88439-6 Richter, Wayne; Aczel, Peter (1974), Inductive Definitions and Reflecting Properties of Admissible...
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...
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...
Abdolmohammadi, John E. Rhodes Professor of Accounting at Bentley since 1988 Amir Aczel, lecturer in mathematics and the history of mathematics and science, as...
(Independent)Gregory Tanner (Workers) Exeter Tessa Tucker Steve Race Will Aczel William Petty Andrew Bell William Poulter (Independent) Robert Spain (Independent)...
number of axioms. Constructive set theory Axiom schema of separation Aczel, Peter; Rathjen, Michael (August 19, 2010). "CST Book Draft" (PDF). p. 97. v...