Peter Aczel
britischer Mathematiker und Logiker Aus Wikipedia, der freien Enzyklopädie
britischer Mathematiker und Logiker Aus Wikipedia, der freien Enzyklopädie
Peter Aczel (* 31. Oktober 1941; † 1. August 2023[1]) war ein britischer mathematischer Logiker und Informatiker.
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.
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.