COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Cambridge University Computing and Technology Society (CUCaTS) > Newton's Finger

## Newton's FingerAdd to your list(s) Download to your calendar using vCal - Dr Conor McBride - University of Strathclyde
- Tuesday 07 November 2017, 19:45-20:45
- MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.
If you have a question about this talk, please contact Hannah Earley. Location changed (to CMS) | Time 7.45 pm This is CUCaTS’ first talk of the year, presented by Dr Conor McBride! The talk title is ‘Newton’s Finger’ and will explore the relationship between Newton and Leibniz derivatives and computer data types, it should be a very interesting talk regardless of background knowledge! As always, we will be heading to the pub after for free drinks, so don’t miss out :) Newton’s notion of “divided difference”, D(F)(X,Y) = (F(Y) – F(X))/(Y-X) makes perfect sense for container-like data structures, F(-), even in the absence of “subtraction” or “division”. We may rather consider solutions to the equation (or type isomorphism) F(Y) D(F)(X,Y) which witnesses how to travel “left-to-right” through an F( In any functional programming language that treats datatype descriptions as first-class notions, we can just do the mathematics and extract the functionality in general, once for all. This talk is part of the Cambridge University Computing and Technology Society (CUCaTS) series. ## This talk is included in these lists:- Cambridge University Computing and Technology Society (CUCaTS)
- Cambridge talks
- Chris Davis' list
- Featured lists
- Featured talks
- Guy Emerson's list
- MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge
- Trust & Technology Initiative - interesting events
- custom
Note that ex-directory lists are not shown. |
## Other listsVirginia Woolf Talks, Lucy Cavendish College Syntax Reading Group Chemistry Departmental-wide lectures## Other talksPolitical Thought, Time and History: An International Conference Rather more than Thirty-Nine Steps: the life of John Buchan Biopolymers for photonics - painting opals with water and light Synthetic Cellularity via Protocell Design of Soft Matter Interfaces Dynamical large deviations in glassy systems |