计算复杂性：对矛盾感到困惑，无法证明大多数决策问题都无法计算

问题描述

我对此证明有些困惑，在本讲座的13分钟处给出： https://www.youtube.com/watch?v=moPtwq_cVH8

证明依赖于这样一个事实，即程序需要是有限的，这使得所有程序的集合少于所有函数的集合。这应该意味着存在一个理论上最大的程序，因为可以说所有程序S的集合（据称是有限的）的大小为N。现在，如果我们将N中的最大程序加上1位，我们现在创建了一个不在S中的程序，这与S是所有程序的集合的说法相矛盾。

但是对于任何大小为K的程序，都可以制作大小为K + 1的程序。这意味着不可能有最大尺寸的程序。

解决方法

您误会了。每个程序都是有限的。不是程序集。