Peter Aczel
Peter Henry George Aczel (né le 31 octobre 1941) 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[1] . Il est connu pour ses travaux sur la théorie des ensembles non biens fondés[2], la théorie constructive des ensembles (en)[3] - [4], et les structures de Frege[5] - [6] .
| Nom de naissance | Peter Henry George Aczel |
|---|---|
| Naissance | |
| 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[7] suivi d'un doctorat en philosophie à l'Université d'Oxford en 1966 sous la direction de John Crossley[1] - [8] .
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[7] . Il a été chercheur invité à l'Institute for Advanced Study en 2012[9].
Aczel est membre du comité de rédaction du Notre Dame Journal of Formal Logic [10] 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[7] - [11] .
Références
- (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
- Ressources relatives à la recherche :