更改

然后再考虑一个任意的计算机程序F。我让它作用到这条对角线上，也就是计算F(x(x))。这可以被看作一个程序：V(x)，它的编码记为v。那么它也必然在表中的某一行（蓝色的行），并且它应与黄金对角线有一个交点，我们把它染成了绿色。在这一点上，我们得到了F这个函数的一个不动点（fixedpoint），即F(c)=c，其中这个cv(v)。但是，等等，你不觉得此结论有问题吗？

然后再考虑一个任意的计算机程序F。我让它作用到这条对角线上，也就是计算F(x(x))。这可以被看作一个程序：V(x)，它的编码记为v。那么它也必然在表中的某一行（蓝色的行），并且它应与黄金对角线有一个交点，我们把它染成了绿色。在这一点上，我们得到了F这个函数的一个不动点 fixedpoint ，即F(c)=c，其中这个cv(v)。但是，等等，你不觉得此结论有问题吗？