Peter Aczel
| 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] .
Éducation
[modifier | modifier le code]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
[modifier | modifier le code]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] .
Références
[modifier | modifier le code]- « Peter Aczel », sur groups.google.com (consulté le )
- (en) « Peter Aczel », sur le site du Mathematics Genealogy Project
- Lawrence S. Moss, The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, (lire en ligne)
- P. Aczel, Handbook of Mathematical Logic, vol. 90, coll. « Studies in Logic and the Foundations of Mathematics », , 739–201 p. (ISBN 9780444863881, DOI 10.1016/S0049-237X(08)71120-0), « An Introduction to Inductive Definitions »
- P. Aczel et N. Mendler, Category Theory and Computer Science, vol. 389, coll. « Lecture Notes in Computer Science », , 357 p. (ISBN 3-540-51662-X, DOI 10.1007/BFb0018361), « A final coalgebra theorem »
- P. Aczel, The Kleene Symposium, vol. 101, coll. « Studies in Logic and the Foundations of Mathematics », , 31–32 p. (ISBN 9780444853455, DOI 10.1016/S0049-237X(08)71252-7), « Frege Structures and the Notions of Proposition, Truth and Set »
- Aczel P., DBLP
- (en) « Peter Aczel »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?), sur le site de l'Université de Manchester
- Aczel, Peter (1966). Mathematical problems in logic, Université d'Oxford
- « Scholars », Institute for Advanced Study,
- Dame, « Notre Dame Journal of Formal Logic », Notre Dame Journal of Formal Logic
- « Annals of Pure and Applied Logic »
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
