本期内容：图灵机停机问题证明思路简介
参考材料：
《逻辑的引擎》
《计算机组成原理》
《论可计算数——图灵与现代计算的诞生》
《图灵的秘密：生平，思想与论文解读》
Paul Petrunia, Donna Sink and Ken Koense
Noah Kagan
Premiere Networks
Pete Balasch Jr
Buzzsprout
Joanne静境
TheCorvetteMechanic.com
Critical Role
Matt Foran
don't worry if you don't have an account with us, we'll create one
