Peter Aczel

Peter Aczel ( born October 31, 1941) is a British mathematical logician and computer scientist.

Aczel doctorate in 1964 at the University of Oxford, 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 working in the non well founded set theory Zermelo - Fraenkel and constructive set theory ( ZF Constructive Set Theory ). His non well founded set theory arose from the need to find a set-theoretic justification of the theory of competing processes of Robin Milner or generally circular processes that are excluded on the basis of the foundation axiom in Zermelo -Fraenkel set theory. It also deals with computer -based proof procedure, competing processes in computer science, type theory, constructive mathematics (for example, in the general topology), Philosophy of Mathematics.

Writings

  • Non well founded sets, Stanford, CLSI Publications 1988. ( Digitized )
Constructivism (mathematics) Stanford Encyclopedia of Philosophy Integrated Authority File
643140
de