我刚刚读到没有免费的午餐定理，它说：

对所有目标函数进行均匀平均$F$,$\mathcal{E}_1 (E|F, > n) — \mathcal{E}_2(E|F, n) = 0$

“所有目标函数”这句话让我想起了停机问题：

在可计算性理论中，停机问题是根据对任意计算机程序的描述和输入来确定程序是完成运行还是永远继续运行的问题。Alan Turing 在 1936 年证明，不可能存在解决所有可能的程序输入对的停止问题的通用算法。

这让我想知道这两者是否相关，如果是，如何？

编辑：

以下是它们可能连接的另一个原因：

- 智能是（有损）压缩的一种形式

- 可压缩性的度量是 Kolmogorov 复杂度

- 计算任意字符串的 Kolmogorov 复杂度是不可判定的（-> 停止问题）

（具有这种相似性的一个缺陷是，Kolmogorow 复杂度是为无损压缩定义的，而智能是一种有损压缩）。