计算理论 15-Proof by Diagonalization that ATM (Halting Prob) is not Decidable（
在线收听
）
原文地址：
http://www.tingroom.com/video/gkgkksp/368386.html