[HN Gopher] Computer Calculus Reading Group
       ___________________________________________________________________
        
       Computer Calculus Reading Group
        
       Author : bmc7505
       Score  : 43 points
       Date   : 2021-05-01 07:54 UTC (1 days ago)
        
 (HTM) web link (compcalc.github.io)
 (TXT) w3m dump (compcalc.github.io)
        
       | zzedd wrote:
       | Off topic, but this looks like a well organised, independent
       | learning network. Where can I find others, on serious topics,
       | that are independent of platforms or publishers? Is there an
       | 'awesome' list of topic-based reading groups (not book clubs) for
       | interested learners?
        
       | joe_the_user wrote:
       | Is there really any substantial relationship between differential
       | calculus and sequent calculus?
       | 
       | You might get the impression there's a unity because differential
       | calculus has been generalized to functions of many things -
       | calculus on metrices or tensors is analogous to calculus on
       | functions of a real variable. But my impression is the term
       | "calculus" overall, when use in something like sequent calculus
       | or lambda calculus, is just a term for a calculation system. IE,
       | Whether a system is called an "algebra", a "calculus" or
       | something else is more historical accident than any thread
       | unifying these things. But maybe there is such a thread and I
       | just don't know about it.
        
         | StandardFuture wrote:
         | > any thread unifying these things
         | 
         | Yes, this is the critical question. And I think the authors of
         | this "reading group" answer that in this really smooth
         | introduction to sequent calculus:
         | 
         | https://www.youtube.com/watch?v=xLRUofFSq5Y
         | 
         | Recommended watching!
         | 
         | The summary (explained in the video) is that these three areas:
         | differential programming, probabilistic programming, and logic
         | programming are all just programming language semantics that
         | are more specifically "languages for calculating" and thus
         | "calculi" languages.
         | 
         | These three areas are also all linked to historical and current
         | AI research. And I think AI research is the primary motivation
         | (another underlying thread) for this collection.
        
       ___________________________________________________________________
       (page generated 2021-05-02 23:00 UTC)