视频目录 / 数学逻辑、集合与证明

热度排名 #1523

牛津数学哲学：什么叫可计算？

What is Computability?

把直觉上的「照步骤做」写成可逐条执行的规则，再看图灵模型怎样让我们证明某些任务没有通用算法。

Joel David Hamkins · 1 串讨论 · 热度 1.869

在此播放

讨论出处

• Hacker News · 原讨论 ↗2020-11-19 · 帖子分数 3
• Hacker News · 推荐系列的原讨论 ↗Oxford Philosophy of Mathematics · 2024-08-27