Peter Aczel
mathématicien et logicien britannique
From Wikipedia, the free encyclopedia
Peter Henry George Aczel, né le et mort le [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] .
| Nom de naissance | Peter Henry George Aczel |
|---|---|
| Naissance | |
| Décès | (à 81 ans) |
| Nationalité | Britannique |
| Domaines | Logique mathématique |
|---|---|
| Institutions | |
| 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/ |
É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] .
