Peter Aczel (* 31 października 1941; † 1 sierpnia 2023) był brytyjskim logikiem matematycznym i informatykiem.
W 1964 r. uzyskał doktorat na Uniwersytecie Oksfordzkim pod kierunkiem Johna Newsome'a Crossleya (Mathematical Problems in Logic). Był profesorem logiki matematycznej i informatyki na Uniwersytecie w Manchesterze.
Aczel stał się znany ze swojej pracy w dziedzinie teorii zbiorów nieuzasadnionych i konstruktywnej teorii zbiorów Zermelo-Fraenkela. Jego teoria zbiorów nieuzasadnionych powstała z potrzeby znalezienia uzasadnienia dla teorii procesów konkurujących Robina Milnera lub, bardziej ogólnie, procesów kołowych, które są wykluczone z teorii zbiorów Zermelo-Fraenkela ze względu na aksjomat fundamentu. Zajmował się również metodami dowodzenia wspomaganymi komputerowo, procesami współbieżnymi w informatyce, teorią typów, matematyką konstruktywną (na przykład w topologii ogólnej), filozofią matematyki.
Non well founded sets, Stanford, CLSI Publications 1988 (wersja zdigitalizowana)