首页分类喜欢稍后看历史关于

What is PLUS times PLUS?

推荐理由

I also liked the one on lambda calculus.

推荐contraposit · 原文2026年4月

说明

这是2025年由2swap发布的一部讲解，主题归在Computability & complexity theory。它讲的是lambda calculus这一支里的具体问题，而不是把整个领域扫一遍。适合第一次接触、还没有先修课的人。内容上可以概括成：2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.这些读者给出的理由，核心是：Mentioned in lambda calculus and combinator threads as a visual entry point to the topic.讲法不绑某一条新闻，过几年仍然可以当材料看。从2025年到2026年，有1位不同的读者在1个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合用一集把一个概念补上的人。抓住它用的那个图像或类比，比背公式重要。如果已经会了基本定义，就把注意力放在它怎么把lambda calculus变成能跟着复述的例子。

视频信息

频道: 2swap
时长: 28 分 28 秒
发布年份: 2025

在 YouTube 打开

同主题更多