Peter Aczel
![Description de cette image, également commentée ci-après](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9d/Aczel_Rathjen.jpg/220px-Aczel_Rathjen.jpg)
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/ |
modifier
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
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] .
Références
- ↑ « Peter Aczel », sur groups.google.com (consulté le )
- ↑ a et b (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
- ↑ a b et c (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
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- ResearchGate
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Norvège
- Tchéquie
- WorldCat
Portail des mathématiques
Portail de la philosophie