Person · Open Library
- Born
- 1941
- Works
- 2
Top works
- Non-well-founded sets
- Non-Well-Founded Sets (Csli Lecture Notes, No 14)
via Open Library + Wikidata
Wikidata facts
- Instance of
- human
- Given name
- Peter
- Gender
- male
- Citizenship
- United Kingdom
- Occupation
- computer scientist
- Educated at
- University of Oxford
- Employer
- University of Manchester
- Languages spoken
- English language
- Field of work
- set theory
- Image
- Aczel Rathjen.jpg
Show 4 more facts
- date of birth
- 1941-10-31
- Commons category
- Peter Aczel
- date of death
- 2023-08-01
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Deutsch
Peter Aczel (* 31. Oktober 1941) ist ein britischer mathematischer Logiker und Informatiker. Er promovierte 1964 an der Universität Oxford bei (Mathematical Problems in Logic). Er ist Professor für mathematische Logik und Informatik an der University of Manchester. Aczel ist bekannt für Arbeiten in der nicht-fundierten Mengenlehre (engl. Non well founded Set Theory) und der konstruktiven Zermelo-Fraenkel-Mengenlehre (engl. Constructive ZF Set Theory). Seine nicht-fundierte Mengenlehre entstand aus dem Bedürfnis, eine mengentheoretische Begründung der Theorie konkurrierender Prozesse von Robin Milner zu finden bzw. allgemein zirkulärer Prozesse, die aufgrund des Fundierungsaxioms in der Zermelo-Fraenkel-Mengenlehre ausgeschlossen werden. Er befasst sich auch mit Computer-gestützten Beweisverfahren, konkurrierenden Prozessen in der Informatik, Typentheorie, konstruktiver Mathematik (zum Beispiel in der allgemeinen Topologie), Philosophie der Mathematik.
Abstract from DBpedia / Wikipedia · CC BY-SA