一句话定义：一种假想的抽象数学模型，任何一个「可计算问题」都能存在一台图灵机把它解决。 这里的「可计算问题」指的是能够通过被算法所解决的问题 这里的问题是目标，算法是策略，图灵机是实现策略的实体 有哪些是问题是「不可计算问题」呢？ 有著名的停机问题 reference