Peter Aczel

modifier

Peter Aczel
Peter Aczel
Description de cette image, également commentée ci-après
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/

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

  1. ↑ « Peter Aczel », sur groups.google.com (consulté le )
  2. ↑ a et b (en) « Peter Aczel », sur le site du Mathematics Genealogy Project
  3. ↑ Lawrence S. Moss, The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, (lire en ligne)
  4. ↑ 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 »
  5. ↑ 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 »
  6. ↑ 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 »
  7. ↑ Aczel P., DBLP
  8. ↑ a b et c (en) « Peter Aczel »(Archive.org • Wikiwix • Google • Que faire ?), sur le site de l'Université de Manchester
  9. ↑ Aczel, Peter (1966). Mathematical problems in logic, Université d'Oxford
  10. ↑ « Scholars », Institute for Advanced Study,
  11. ↑ Dame, « Notre Dame Journal of Formal Logic », Notre Dame Journal of Formal Logic
  12. ↑ « Annals of Pure and Applied Logic »

Liens externes

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.