是一个基于图灵机这个模型被数学家图灵所提出来的「判定问题」 问题：是否存在一台图灵机，来判断输入任何一个程序（一台图灵机），它最终会停机还是无线循环？ 回答：不存在 reference 证明过程：https://www.bilibili.com/video/BV1464y1k7Ya