Yuri Gurevich 提出核心论点：真正的算法永远是确定性的，所谓的“非确定性”不过是算法通过外部“助手”获取信息的结果。