{"id":16963,"date":"2024-01-29T10:38:41","date_gmt":"2024-01-29T15:38:41","guid":{"rendered":"https:\/\/notes.math.ca\/article\/in-memoriam-phil-scott-1947-2023\/"},"modified":"2024-01-30T09:47:47","modified_gmt":"2024-01-30T14:47:47","slug":"in-memoriam-phil-scott-1947-2023","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/en\/article\/in-memoriam-phil-scott-1947-2023\/","title":{"rendered":"In Memoriam: Phil Scott (1947-2023)"},"content":{"rendered":"
\n
\"\"<\/figure>\n<\/div>\n\n\n

It is with great sadness that we convey the news of the death of our good friend and colleague Phil Scott to the Canadian Mathematics Society.  He passed away after a long battle with cancer on the 18th<\/sup> December, 2023.  His passing was a major loss to Canadian mathematics.<\/p>\n\n\n\n

Phil was born on December 27th<\/sup>, 1947, in Leeds (UK).  His mother was from Leeds although his father was Scottish from Glasgow.  When he was one year old, his family moved to North Carolina where he grew up and eventually went to university at Chapel Hill to study mathematics.  He moved to Canada in the 70’s to study for a Ph.D., receiving his doctorate in Pure Mathematics from the University of Waterloo in 1976, under the supervision of Denis Higgs \u2013 an expert in universal algebra and category theory. In 1977 he became a postdoctoral student under Jim Lambek’s supervision, which led to a lifelong collaboration between the two mathematicians.   Phil then spent several years teaching and researching, including a year at Dalhousie, before joining the Mathematics Department at the University of Ottawa in 1982.  He remained there until his death.<\/p>\n\n\n\n

Phil made many contributions to category theory and to categorical proof theory \u2013 a subject which Phil and Jim Lambek essentially invented.  He wrote a series of papers that culminated in the landmark book with Jim Lambek \u201cIntroduction To Higher-Order Categorical Logic\u201d which was published in 1986.  The book is still the standard text on the subject. But Phil\u2019s research went well beyond these initial works: he made major contributions to theoretical computer science, linear logic, inverse semigroup theory and recursion theory.<\/p>\n\n\n\n

Phil was a wonderful mentor to students and young researchers at all levels. Phil would regularly receive emails wanting to know more about the fascinating field of research he helped create.  He was never too busy to talk to a student or anyone interested in mathematics. The subject of categorical proof theory continues to thrive, and this is in large part due to Phil\u2019s stewardship of the area.<\/p>\n\n\n\n

Those of us who knew him personally will always think of him as a dear friend and a genuinely kind soul.<\/p>\n","protected":false},"author":11,"template":"","section":[189],"keyword":[412],"class_list":["post-16963","article","type-article","status-publish","hentry","section-obituaries","keyword-obituaries"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":"Henry"},"author-3-given-names":{"type":"textfield","raw":"Simon"},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":"University of Ottawa"},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":"Cockett"},"author-2-given-names":{"type":"textfield","raw":"Robin"},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":"University of Calgary"},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Blute"},"author-given-names":{"type":"textfield","raw":"Richard"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":"rblute@uottawa.ca"},"author-institution":{"type":"textfield","raw":"University of Ottawa"},"author-cms-role":{"type":"textfield","raw":""}},"unknown":{"downloadable-pdf":{"type":"file","raw":"https:\/\/notes.math.ca\/wp-content\/uploads\/2024\/01\/6-In-Memoriam_-Phil-Scott-1947-2023-\u2013-CMS-Notes.pdf","attachment_id":17009},"article-toc-weight":{"type":"numeric","raw":"6"},"author-surname":{"type":"textfield","raw":"Blute"},"author-given-names":{"type":"textfield","raw":"Richard"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/16963","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":3,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/16963\/revisions"}],"predecessor-version":[{"id":16969,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/16963\/revisions\/16969"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=16963"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=16963"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=16963"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}