imported>Mary Joanna: Änderung 236611837 von NO-mosT rückgängig gemacht; Benutzer_Diskussion:NO-mosT#"Satz_hinzugefügt"

2023-08-23T09:18:14Z

Änderung 236611837 von NO-mosT rückgängig gemacht; Benutzer_Diskussion:NO-mosT#"Satz_hinzugefügt"

Neue Seite

'''Peter Aczel''' (* [[31. Oktober]] [[1941]]; † [[1. August]] [[2023]]<ref>{{Internetquelle |autor=Nicola Gambino |url=https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html |titel=Peter Aczel |werk=fom archive |datum=2023-08-03 |abruf=2023-08-10}}</ref>) war ein [[Vereinigtes Königreich|britischer]] [[Mathematik|mathematischer]] [[Logik]]er und [[Informatiker]].
[[Datei:Aczel Rathjen.jpg|miniatur|Peter Aczel (links) mit Michael Rathjen, Oberwolfach 2004]]
Er promovierte 1964 an der [[Universität Oxford]] bei [[John Newsome Crossley]] (''Mathematical Problems in Logic''). Er war [[Universitätsprofessor|Professor]] für [[mathematische Logik]] und Informatik an der [[University of Manchester]].

== Werdegang ==
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]], [[Konstruktive Mathematik|konstruktiver]] Mathematik (zum Beispiel in der allgemeinen Topologie), Philosophie der Mathematik.

== Schriften ==
* ''Non well founded sets'', Stanford, CLSI Publications 1988. ([http://standish.stanford.edu/bin/search/advanced/process?clauseMapped%28creatorBrowse%29=Aczel%2C+Peter%2C+1941-&browse=1&sort=title Digitalisat])

== Weblinks ==
* {{SEP|http://plato.stanford.edu/entries/nonwellfounded-set-theory/index.html|Non-wellfounded Set Theory|Lawrence S. Moss}}

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=151543925|LCCN=n/86/121714|VIAF=39452042}}

{{SORTIERUNG:Aczel, Peter}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Mathematischer Logiker (21. Jahrhundert)]]
[[Kategorie:Hochschullehrer (University of Manchester)]]
[[Kategorie:Brite]]
[[Kategorie:Geboren 1941]]
[[Kategorie:Gestorben 2023]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Aczel, Peter
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=britischer Logiker
|GEBURTSDATUM=31. Oktober 1941
|GEBURTSORT=
|STERBEDATUM=1. August 2023
|STERBEORT=
}}

Peter Aczel - Versionsgeschichte

imported>Mary Joanna: Änderung 236611837 von NO-mosT rückgängig gemacht; Benutzer_Diskussion:NO-mosT#"Satz_hinzugefügt"