• MFG Seminar Monday 22nd May

    Published: Friday, 19 May 2017

    The next MFG seminar will take place on Monday 22nd May. It will take place as usual from 2.00 in 2.33, and it will be given by Joe Razavi, whose title and abstract are given below.

    The next MFG seminar will take place on Monday 22nd May. It will take place as usual from 2.00 in 2.33, and it will be given by Joe Razavi, whose title and abstract are given below.

     

    Andrea

     

    A Pointlessly Abstract Description of the Chain Rule

    Computer Scientists have invented several abstract versions of the
     idea of differentiation. On the one hand, there is work on
     "incremental programs" which as well as being evaluated at an input,
     come with a "derivative" which can be evaluated at a change of
     inputs to produce a change of outputs (see the work of Car,
     Giarrusso, Rendel and Ostermann; blog post by Atkey). On the other,
     there is work in hybrid systems which seeks to express discrete
     models of computation like cellular automata as solutions to
     "differential equations" given by their update rules, in the hope of
     studying them with the same tools as the continuous systems they
     might be controlling (see work of Irwin and Blair).

    Beneath the surface of these ideas, an abstract theory of the notion
    of change is becoming visible. In particular, one wants a theory of
    differentiation which does not rely on the spaces in question having
    points, and which includes the classical definition of derivative
    along with the examples above. In this talk, I will discuss a
    putative definition which moves in that direction, and sketch a
    proof-in-progress that this notion satisfies the chain rule.

     

    gravatar Andrea Schalk
Generated: Wednesday, 23 August 2017 20:34:33
Last change: Friday, 19 May 2017 11:18:14
▲ Up to the top