Derivatives in logic via coalgebras

Daniel Murfet (University of Melbourne)

Dan Murfet (Melbourne) will present "Derivatives in logic via coalgebras" at *10:30* in Old Quad G09.

Abstract: What is the derivative of a proof? I will explain why this question makes sense, and how to answer it in the context of linear logic using cofree coalgebras. In a sense the interplay between calculus, logic and computer science is an old one, going back at least to Babbage’s difference engine, but it has gained new life in the last decade due to work on differential lambda calculus by Ehrhard and Regnier. This connection is also key to various approaches to coupling formal logic to more connectionist reasoning systems, like neural networks.