Peter Aczel

Peter Henry George Aczel, né le 31 octobre 1941 et mort le 1^er août 2023^[1], est un mathématicien, logicien et professeur émérite britannique au département d'informatique et à la faculté de mathématiques de l'université de Manchester^[2] . Il est connu pour ses travaux sur la théorie des ensembles non biens fondés^[3], la théorie constructive des ensembles (en)^[4],[5], et les structures de Frege^[6],[7] .

Peter Aczel

Peter Aczel (gauche) avec Michael Rathjen, Oberwolfach 2004

Données clés

Nom de naissance	Peter Henry George Aczel
Naissance	31 octobre 1941
Décès	1er août 2023 (à 81 ans)
Nationalité	Britannique

Données clés

Domaines	Logique mathématique
Institutions	Université d'Oxford Université du Wisconsin à Madison Université Rutgers Université de Manchester Université d'Oslo Caltech Université d'Utrecht Université Stanford Institute for Advanced Study Université de l'Indiana à Bloomington}}
Diplôme	Université d'Oxford
Directeur de thèse	John Newsome Crossley
Renommé pour	Axiome d'anti-fondation Ensembles réflexifs
Site	www.cs.man.ac.uk/~petera/

modifier

Éducation

Aczel a obtenu son baccalauréat ès arts en mathématiques en 1963^[8] suivi d'un doctorat en philosophie à l'Université d'Oxford en 1966 sous la direction de John Crossley^[2],[9] .

Carrière et recherche

Après deux ans de postes invités à l'Université du Wisconsin-Madison et à l'Université Rutgers, Aczel a pris un poste à l'Université de Manchester. Il a également occupé des postes d'invité à l'Université d'Oslo, au California Institute of Technology, à l'Université d'Utrecht, à l'Université de Stanford et à l'Université de l'Indiana à Bloomington^[8] . Il a été chercheur invité à l'Institute for Advanced Study en 2012^[10].

Aczel est membre du comité de rédaction du Notre Dame Journal of Formal Logic ^[11] et des Cambridge Tracts in Theoretical Computer Science, après avoir précédemment siégé aux comités de rédaction du Journal of Symbolic Logic et des Annals of Pure and Applied Logic^[8],[12] .