计算理论 12-Universal Turing Machines: The Halting Prob is Recognizable but not Decidable（
在线收听
）
原文地址：
http://www.tingroom.com/video/gkgkksp/368383.html