Re: Phil Scott

[Michael Healy <mjhealy@unm.edu>]

[-- Attachment #1: Type: text/plain, Size: 5039 bytes --]

Phil Scott's book with Jim Lambeck encouraged my interest in categorical logics.  I'm still learning thanks in large part to them.

Mike Healy
________________________________
From: Yan Steimle <ystei087@uottawa.ca>
Sent: Tuesday, December 19, 2023 9:45 AM
To: Richard Blute <rblute@uottawa.ca>
Cc: Categories mailing list <categories@mq.edu.au>
Subject: Re: Phil Scott

You don't often get email from ystei087@uottawa.ca. Learn why this is important<https://protect-au.mimecast.com/s/-YltCr810kCGqMo0s75KCi?domain=aka.ms>

  [EXTERNAL]

I first got to know Phil Scott when I took his undergraduate course “Introduction to Linear Algebra” during my first session at University. It was Phil and his course that inspired me to change programs and study abstract mathematics. He also got me interested in mathematical logic and I went on to complete two Master’s degrees under his supervision. He had such a great passion for mathematical logic and theoretical computer science that I feel his passing will be a great loss to the mathematical community. I always appreciated his enthusiasm for the subject and his willingness to answer questions.

We lost touch this past year and I am greatly saddened that I won’t have the opportunity to catch up with him again and have further lengthy discussions about mathematical topics.



Yan Steimle



From: Sacha Ikonicoff <ikonicoff@gmail.com>
Date: Tuesday, December 19, 2023 at 12:13 PM
To: Richard Blute <rblute@uottawa.ca>
Cc: Categories mailing list <categories@mq.edu.au>
Subject: Re: Phil Scott

Attention : courriel externe | external email

I've only known Phil since last year, when I arrived in Ottawa for my current postdoc with Rick, Simon and Phil. We had the occasion to chat via zoom a lot since, as he was helping me with the delivery of an undergrad logic course. I was particularly struck by the generosity with which he shared his time, the contagious enthusiasm with which he was talking about logic, and how considerate he was towards the students (even if they weren't even his!). I unfortunately never had the chance of meeting in person. Last time I chatted via Zoom must have been in the summer, when he said that we'd "all soon have a big party together". That was the enthusiasm and willpower speaking. Now I can't help but feel like we've all been deprived of a great party indeed.



Le mar. 19 déc. 2023 à 09:57, Richard Blute <rblute@uottawa.ca<mailto:rblute@uottawa.ca>> a écrit :





It is with great sadness that we convey the news to the category theory community that our good friend and colleague Phil Scott passed away this morning (18th December, 2023) after a long battle with cancer.



Phil’s many contributions to category theory are well known. Phil and Jim Lambek essentially invented the field of categorical proof theory with a series of papers that culminated in the book “Introduction To Higher-Order Categorical Logic”, which is still the standard text on the subject. Phil’s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory.



Those of us who knew him personally will always think of him as a mentor, a friend and a genuinely kind soul.



Rick Blute

Robin Cockett

Simon Henry









You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.



View group files<https://protect-au.mimecast.com/s/swcyCvl1g2S391KjFXipXp?domain=outlook.office365.com>   |   Leave group<https://protect-au.mimecast.com/s/6oleCwV1jpSWj69zh9CLe4?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://protect-au.mimecast.com/s/PntVCxngGkf3l8w4FwgNWQ?domain=aka.ms>









You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.



View group files<https://protect-au.mimecast.com/s/wAGfCyoj8PuR1DkzCN_3OR?domain=outlook.office365.com>   |   Leave group<https://protect-au.mimecast.com/s/eks6CzvkmpfA1D9pFwdIjz?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://protect-au.mimecast.com/s/PntVCxngGkf3l8w4FwgNWQ?domain=aka.ms>







You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 17113 bytes --]