Piotr Aczel

Peter Aczel
Peter Aczel (z lewej) z Michaelem Rathjenem, Oberwolfach 2004
Urodzić się	Peter Henry George Aczel ( 31.10.1941 ) 31 października 1941
Narodowość	brytyjski
Alma Mater	Uniwersytet Oksfordzki
Znany z	Aksjomat antypodstawowy Aczela Zbiory zwrotne
Kariera naukowa
Pola	Logika matematyczna
Instytucje	Uniwersytet Oksfordzki Uniwersytet Wisconsin-Madison Uniwersytet w Rutgers Uniwersytet w Manchesterze Uniwersytet w Oslo Caltech Uniwersytet w Utrechcie Uniwersytet Stanford Instytut Studiów Zaawansowanych Bloomington na Uniwersytecie Indiany
Praca dyplomowa	Problemy matematyczne w logice (1967)
Doradca doktorski	Johna Newsome'a ​​Crossleya
Strona internetowa	www .cs .man .ac .uk /~petera /

Peter Henry George Aczel ( / na ć k s əl / ; urodzony 31 października 1941) to brytyjski matematyk, logik i emerytowany wspólny profesor Wydziale Informatyki i Szkole Matematyki na Uniwersytecie w Manchesterze . Znany jest ze swojej pracy w nieuzasadnionej teorii mnogości , konstruktywnej teorii mnogości i strukturach Fregego .

Edukacja

Aczel uzyskał tytuł Bachelor of Arts w dziedzinie matematyki w 1963 r., a następnie uzyskał stopień doktora nauk humanistycznych na Uniwersytecie Oksfordzkim w 1966 r. pod kierunkiem Johna Crossleya .

Kariera i badania

Po dwóch latach wizytowania stanowisk na Uniwersytecie Wisconsin-Madison i Rutgers University Aczel objął stanowisko na Uniwersytecie w Manchesterze . Zajmował również stanowiska wizytujące na Uniwersytecie w Oslo , California Institute of Technology , Uniwersytecie w Utrechcie , Uniwersytecie Stanforda i Uniwersytecie Indiana w Bloomington . Był stypendystą wizytującym w Institute for Advanced Study w 2012 roku.

Aczel jest członkiem rady redakcyjnej Notre Dame Journal of Formal Logic i Cambridge Tracts in Theoretical Computer Science, wcześniej zasiadał w radach redakcyjnych Journal of Symbolic Logic oraz Annals of Pure and Applied Logic .

Linki zewnętrzne

Media związane z Peterem Aczelem w Wikimedia Commons