Peter Aczel
Encyclopedia
Peter Aczel is a British
mathematician, logician and computer scientist based at the University of Manchester
. He is known for his work in non-well-founded set theory
and constructive mathematics.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
mathematician, logician and computer scientist based at the University of Manchester
University of Manchester
The University of Manchester is a public research university located in Manchester, United Kingdom. It is a "red brick" university and a member of the Russell Group of research-intensive British universities and the N8 Group...
. He is known for his work in non-well-founded set theory
Non-well-founded set theory
Non-well-founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness...
and constructive mathematics.
External links
- http://www.cs.man.ac.uk/~petera/