本期内容：图灵机停机问题证明思路简介
参考材料：
《逻辑的引擎》
《计算机组成原理》
《论可计算数——图灵与现代计算的诞生》
《图灵的秘密：生平，思想与论文解读》
LibriVox
Babbel
Marni Kinrys a Kristen Carney
SpokenLayer
Jay Co
EM:RAP
Sword and Scale
Power and Leadership Podcast
Osiris Media
Studio 41
don't worry if you don't have an account with us, we'll create one
