视频目录 / 微积分

热度排名 #1930

为什么只用函数也能表达通用计算？

Why functions are turing complete (Lambda Calculus)

跟着 λ 演算里的函数抽象与应用，先算一个最小的替换例子，再看布尔选择、数字和重复运算怎样用函数编码。

A Byte of Code · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2023-08-16 · 帖子分数 1