Piotr Aczel - Peter Aczel

Piotr Aczeł
Peter Aczel (z lewej) z Michaelem Rathjenem, Oberwolfach 2004
Urodzony	Peter Henry George Aczel ( 1941-10-31 )31 października 1941 (wiek 79)
Narodowość	Wielka Brytania
Alma Mater	Uniwersytet Oksfordzki
Znany z	Aksjomat antyfundamentowy Aczela Zbiory refleksyjne
Kariera naukowa
Pola	Logika matematyczna
Instytucje
Praca dyplomowa	Problemy matematyczne w logice  (1967)
Doradca doktorski	John Newsome Crossley
Stronie internetowej	www .cs .man .ac .uk /~petera /

Peter Henry George Aczél ( / ć k s əl / ; urodzony 31 październik 1941) to brytyjski matematyk, logik i emerytowany joint profesor w Katedrze Informatyki i Szkoły Matematyki na Uniwersytecie w Manchesterze . Jest znany ze swojej pracy w teorii mnogości nieuzasadnionej , konstruktywnej teorii mnogości i strukturach Fregego .

Edukacja

Aczel uzyskał tytuł Bachelor of Arts w dziedzinie matematyki w 1963, a następnie DPhil na Uniwersytecie Oksfordzkim w 1966 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 . On również zajmował wizytujących na Uniwersytecie w Oslo , California Institute of Technology , Uniwersytet w Utrechcie , Stanford University i Indiana University Bloomington . Był stypendystą wizytującym w Instytucie Studiów Zaawansowanych w 2012 roku.

Aczél jest w redakcji z Notre Dame Urzędowym logiki formalnej i opracowań w Cambridge Theoretical Computer Science, uprzednio doręczone redakcyjnych w Journal of Symbolic Logic i Annals of Czystej i Stosowanej Logic .

Bibliografia

Link zewnętrzny

Multimedia związane z Peterem Aczelem w Wikimedia Commons