(www.youtube.com) Lambda Calculus: Introduction, Visualization, and Philosophy - YouTube
ROAM_REFS: https://www.youtube.com/watch?v=RcVA8Nj6HEo
- Lambda Calculus: Introduction, Visualization, and PhilosophyWhat is PLUS times PLUS?
ERRATA:
- The "Church-Turing Thesis" is different from the "Church-Turing Theorem". The "theorem" is the claim which I discussed in the video- namely, that the Turing machine and lambda calculus are equally powerful. The "thesis" is the informal claim that the two of these systems are a sufficient formalization which capture the idea of "arbitrary computation".
- I claimed in the end of the video that this was the first example of animated beta-reductions of visual lambda expressions. Paul Brauner has some videos here: Lambda Diagrams, although they do not explicitly animate the mechanics of one step of beta-reduction! I probably should have chosen my words more carefully. Sorry Paul- linked you in an info card in the top right!
- It seems that both lisp and rust blur the line between functional and imperative programming more than I realized, so take that chart at the end with a grain of salt!
While the expression (*(+ +)), treated as a 4-argument function, yields (d(cb))(a+c), inserting the 4th argument is actually not necessary! You can treat it as a 3-argument function, and it reduces to (cb)*(a+c).
JOIN OUR DISCORD! discord