Peter Aczel
Peter Aczel (born October 31, 1941 ) is a British mathematical logician and computer scientist .
He received his PhD from Oxford University in 1964 with John Newsome Crossley ( Mathematical Problems in Logic ). He is Professor of Mathematical Logic and Computer Science at the University of Manchester .
Aczel is known for his work in non-well founded set theory and the Zermelo-Fraenkel constructive set theory . His unfounded set theory arose from the need to find a set theoretical justification of the theory of competing processes by Robin Milner or general circular processes that are excluded due to the foundation axiom in the Zermelo-Fraenkel set theory . He also deals with computer-aided proof procedures, competing processes in computer science, type theory , constructive mathematics (for example in general topology), philosophy of mathematics.
Fonts
- Non well founded sets , Stanford, CLSI Publications 1988. ( digitized version )
Web links
- Lawrence S. Moss: Non-wellfounded Set Theory. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .
personal data | |
---|---|
SURNAME | Aczel, Peter |
BRIEF DESCRIPTION | British logician |
DATE OF BIRTH | October 31, 1941 |