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

热度排名 #1084

MIT《哥德尔、埃舍尔、巴赫》第 1 讲｜形式系统与 MU 谜题

MIT Godel Escher Bach Lecture 1

先照规则把字母串一步步改写，再问目标串能否出现。跟着课程区分系统内部允许的操作与站在外面寻找不变量的办法。

jasonofthel33t · 1 串讨论 · 热度 2.382

在此播放

讨论出处

• Reddit · GECLM · r/todayilearned · 原讨论 ↗2014-05-15 · 评论分数 3