[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)