From: amp <andrew.m.pitts@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: Re: [HoTT] Peter Aczel
Date: Thu, 3 Aug 2023 01:51:37 -0700 (PDT) [thread overview]
Message-ID: <a1e5f28a-165d-4558-826a-6ccec5c2ecefn@googlegroups.com> (raw)
In-Reply-To: <40E71FEB-72B6-4FDC-BA7B-C206FDE54717@andrej.com>
[-- Attachment #1.1: Type: text/plain, Size: 1085 bytes --]
I was very saddened to read the news of Peter Aczel's death.
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
William Gates Building
15 JJ Thomson Ave
Cambridge CB3 0FD, UK
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/a1e5f28a-165d-4558-826a-6ccec5c2ecefn%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 1436 bytes --]
next prev parent reply other threads:[~2023-08-03 8:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-08-03 8:12 Nicola Gambino
2023-08-03 8:42 ` andrej.bauer
2023-08-03 8:51 ` amp [this message]
2023-08-03 17:49 Steve Awodey
2023-08-03 20:09 ` Joyal, André
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=a1e5f28a-165d-4558-826a-6ccec5c2ecefn@googlegroups.com \
--to=andrew.m.pitts@gmail.com \
--cc=HomotopyTypeTheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).