计算理论 14-More Diagonalization: Proof that Turing Machines are Countable（
在线收听
）
原文地址：
http://www.tingroom.com/video/gkgkksp/368385.html