本期内容：图灵机停机问题证明思路简介
参考材料：
《逻辑的引擎》
《计算机组成原理》
《论可计算数——图灵与现代计算的诞生》
《图灵的秘密：生平，思想与论文解读》
DISQO
Piyush Jain and Prag Gargatte
Daniel Thorson
IDG
ESPN Argentina
The Atoms
Play+1
Unconventional Wisdom
podcrastinating
Big Rab
don't worry if you don't have an account with us, we'll create one
