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

热度排名 #635

《哥德尔、埃舍尔、巴赫》课程第一讲第一段

Gödel, Escher, Bach - Lecture 1: Part 1 of 7

这是围绕侯世达著作的系列开篇，适合先熟悉课中贯穿的形式规则、递归结构和自我指涉。

Scott · 2 串讨论 · 热度 3.977

在此播放

讨论出处

• Hacker News · 原讨论 ↗2009-09-13 · 帖子分数 26
• Hacker News · 原讨论 ↗2010-09-30 · 帖子分数 3