From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: **** X-Spam-Status: No, score=4.9 required=5.0 tests=LOCALPART_IN_SUBJECT,RDNS_NONE, TO_NAME_SUBJ_NO_RDNS,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 9180 invoked from network); 5 Aug 2023 22:20:11 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 5 Aug 2023 22:20:11 -0000 Received: from rr.mta.ca ([198.164.44.159]:51490) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qSPXq-0008Ns-5j; Sat, 05 Aug 2023 19:14:46 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qSPXN-0005de-67 for categories-list@rr.mta.ca; Sat, 05 Aug 2023 19:14:17 -0300 From: amp12 MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.600.7\)) Subject: categories: Re: Peter Aczel Date: Thu, 3 Aug 2023 09:46:59 +0100 To: categories@mta.ca Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Precedence: bulk Reply-To: amp12 Message-Id: I was very saddened to read the news of Peter Aczel's death.=20 I greatly admired his work, not only for its content but also for its = clarity. His promotion of informal rigorous reasoning in type theory = that Andrej Bauer mentioned in another post is an example. He also had = very nice handwriting! -- I found this out when he very generously shared some of his unpublished work with me when = I was a graduate student in the late 70s and early 80s. (He later = examined my PhD thesis.) RIP, Peter. Andrew M. Pitts Professor of Theoretical Computer Science Department of Computer Science and Technology University of Cambridge=20 William Gates Building=20 15 JJ Thomson Ave Cambridge CB3 0FD, UK > On 3 Aug 2023, at 08:42, Nicola Gambino = wrote: >=20 > Dear colleagues and friends, >=20 > I write to let you know of the sad news that Peter Aczel passed away = on August 1st. >=20 > As readers of this list surely know, Peter made many fundamental and = deeply influential contributions to Logic, Computer Science, Category = Theory, and Constructive Mathematics.=20 >=20 > 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. >=20 > With best regards, > Nicola >=20 > =3D > Dr Nicola Gambino > Department of Mathematics, University of Manchester >=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]