Peter Aczel
Van Wikipedia, de gratis encyclopedie
Peter Aczel (* 31. Oktober 1941; † 1. August 2023[1]) war ein britischer mathematischer Logiker und Informatiker.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9d/Aczel_Rathjen.jpg/220px-Aczel_Rathjen.jpg)
Er promovierte 1964 an der Universität Oxford bei John Newsome Crossley (Mathematical Problems in Logic). Er war Professor für mathematische Logik und Informatik an der University of Manchester.
Werdegang
[Bearbeiten | Quelltext bearbeiten]Aczel wurde 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 befasste sich auch mit Computer-gestützten Beweisverfahren, konkurrierenden Prozessen in der Informatik, Typentheorie, konstruktiver Mathematik (zum Beispiel in der allgemeinen Topologie), Philosophie der Mathematik.
Schriften
[Bearbeiten | Quelltext bearbeiten]- Non well founded sets, Stanford, CLSI Publications 1988. (Digitalisat)
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Lawrence S. Moss: Non-wellfounded Set Theory. In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Nicola Gambino: Peter Aczel. In: fom archive. 3. August 2023, abgerufen am 10. August 2023.
Personendaten | |
---|---|
NAME | Aczel, Peter |
KURZBESCHREIBUNG | britischer Logiker |
GEBURTSDATUM | 31. Oktober 1941 |
STERBEDATUM | 1. August 2023 |