Loading AI tools
mathématicien et logicien britannique De Wikipédia, l'encyclopédie libre
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] .
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/ |
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] .
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] .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.