Peter Aczel
From Wikipedia, the free encyclopedia
Nom de naissance
Peter Henry George Aczel
Naissance
Décès
(à 81 ans)
Nationalité
Britannique
Peter Aczel
Peter Aczel (gauche) avec Michael Rathjen, Oberwolfach 2004
| 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/ |
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] .
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] .
