计算理论中的神谕机

在计算机科学和逻辑学中，神谕机（Oracle Machine），也称神谕图灵机，是一个理论模型。

• 基本定义：它是由数学家阿兰·图灵在1938年的博士论文中提出的。你可以把它理解为一台被赋予了“超能力”的图灵机。它在普通图灵机的基础上，增加了一个可以访问的“神谕”（Oracle）。
• 核心功能：这个“神谕”就像一个无所不知的“作弊字典”或外部信息源。当机器遇到一个自身无法解决的特定问题（例如著名的“停机问题”）时，它可以直接向神谕提问，并瞬间获得正确答案。
• 理论意义：
  1. 超越图灵机：神谕机是一种“超图灵机”，它的计算能力超越了标准图灵机的极限。
  2. 模拟人类直觉：图灵提出这个模型，是为了形式化地描述人类思维中非演绎的部分，比如直觉、猜测和归纳判断。
  3. 相对可计算性：它引出了“相对可计算性”的概念，即一个问题的可解性依赖于是否拥有某个特定的外部知识源。