Logic List Mailing Archive

Peter Aczel (1941-2023)

Peter Aczel (31 October 1941 – 1 August 2023).
https://en.wikipedia.org/wiki/Peter_Aczel

=====================================================================

Dear colleagues and friends,

I write to let you know of the sad news that Peter Aczel passed away on 
August 1st.

As many readers of this list surely know, Peter made many fundamental and 
deeply influential contributions to Logic, Computer Science, Category 
Theory, and Constructive Mathematics.

I had the good fortune of having him as PhD supervisor and we remained in 
contact since then.  I always admired his clarity of thinking and his 
kindness. He will be deeply missed.

With best regards,
Nicola Gambino
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by the Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) in cooperation with the ILLC at the Universiteit van Amsterdam