Peter Aczel
British mathematician and logician / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Peter Aczel?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Peter Henry George Aczel (/ˈæksəl/; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester.[1] He is known for his work in non-well-founded set theory,[2] constructive set theory,[3][4] and Frege structures.[5][6]
Quick Facts Born, Died ...
Peter Aczel | |
---|---|
Born | Peter Henry George Aczel (1941-10-31)31 October 1941 |
Died | (2023-08-01)1 August 2023 |
Nationality | British |
Alma mater | University of Oxford |
Known for | Aczel's anti-foundation axiom Reflexive sets Constructive set theory (CZF) |
Scientific career | |
Fields | Mathematical logic |
Institutions | |
Thesis | Mathematical Problems in Logic (1967) |
Doctoral advisor | John Newsome Crossley |
Website | www |
Close