Peter Aczel | |
|---|---|
 Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004 | |
| Born | Peter Henry George Aczel 31 October 1941 |
| Died | 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 | |
| Thesis | Mathematical Problems in Logic (1967) |
| Doctoral advisor | John Newsome Crossley |
| Website |
www |
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] 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
- ^ a b 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 Aczel at DBLP Bibliography Server
- ^ a b c "Peter Aczel page the University of Manchester".
- ^ Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(subscription required)
- ^ "Scholars". Institute for Advanced Study. 14 August 2015.
-
^ 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) - ^ "Annals of Pure and Applied Logic" – via www.journals.elsevier.com.
- ^ https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
External links
Media related to
Peter Aczel at Wikimedia Commons
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
Peter Aczel | |
|---|---|
|
Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004 | |
| Born | Peter Henry George Aczel 31 October 1941 |
| Died | 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 | |
| Thesis | Mathematical Problems in Logic (1967) |
| Doctoral advisor | John Newsome Crossley |
| Website |
www |
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] 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
- ^ a b 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 Aczel at DBLP Bibliography Server
- ^ a b c "Peter Aczel page the University of Manchester".
- ^ Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(subscription required)
- ^ "Scholars". Institute for Advanced Study. 14 August 2015.
-
^ 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) - ^ "Annals of Pure and Applied Logic" – via www.journals.elsevier.com.
- ^ https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html
External links
Media related to
Peter Aczel at Wikimedia Commons
| International | |
|---|---|
| National | |
| Academics | |
| Other | |