投稿

加号✖️加号？【lambda演算】

Name: 加号✖️加号？【lambda演算】
Uploaded: 2025-03-30T14:34:53.000Z
Duration: 28 min 29 s
Channel: wenhao_question

12.8万

595

2025-03-30 22:34:53

未经作者授权，禁止转载

原视频：https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=44s（有能力请支持原作者）以授权转载所有收益会反馈到原作者patron 以下是视频简介的完整中文翻译： • "丘奇-图灵命题"与"丘奇-图灵定理"是不同的。 "定理"是我在视频中讨论的主张——即图灵机与λ演算同样强大。"命题"是一个非正式的主张，认为这两种系统是足够的形式化，能够捕捉“任意计算”的概念。 • 我在视频结尾声称这是第一个动画化的β-约简视觉λ表达式的例子。Paul Brauner有一些视频，链接如下： • Lambda图表，虽然它们并未明确展示β-约简一步的机制！我可能应该更小心地选择我的措辞。抱歉Paul，我已在右上角的信息卡中链接了你！ • 看来Lisp和Rust在功能性编程和命令式编程之间模糊了界限，比我意识到的要多，所以请谨慎看待视频最后的图表！ • 虽然表达式((+ +))，被视为一个四参数函数，会得出(d^(c^b))^(a+c)，但实际上插入第四个参数并不是必须的！你可以将其视为一个三参数函数，它会简化为(c^b)(a+c)。加入我们的Discord！ / https://discord.com/invite/EMmFwEgnTz 支持我们！ 6884: https://ko-fi.com/iam6884 来源和链接：视频中展示的Tromp图表：https://tromp.github.io/cl/diagrams.html 在4:28时，展示了多个λ演算的可视化。这些包括：（左上角）David C Keenan的λ演算图形符号：https://dkeenan.com/Lambda/ （中上）我在Robin Piedeleu的网站上找到的符号，但可能更古老：https://piedeleu.com/posts/diagrammatic-lambda-calculus/ （右上）de Bruijn索引：https://en.wikipedia.org/wiki/De_Bruijn_index （左下）Vex（Wayne Citrin，Richard Hall，Benjamin Zorn）：https://www.researchgate.net/publication/2726047_Programming_with_Visual_Expressions （右下）视觉λ演算（Viktor Massalõgin）：https://github.com/bntre/visual-lambda λ演算讲义（书籍）：https://www.amazon.com/Lecture-Notes-Lambda-Calculus-Selinger/dp/0359158854 6884的音乐：https://6884.bandcamp.com/ 此视频是使用SwapTube渲染的！ https://github.com/2swap/swaptube 哦，另外，这是我第一次使用自动配音的音轨。我非常不喜欢必须使用这个...我碰巧会说列表中的几种语言，我本来更愿意自己配音。就我所知，我作为创作者甚至没有机会这么做。如果其他人知道方法，请评论告诉我 :) 另外，如果你所在语言的AI配音特别差，请告诉我。

计算机