刘未鹏暗时间pdf(暗时间epub百度云)

本文节选自《暗时间》电子版：

那么，这跟不动点定理有什么关系?关系大了，刚才不是说了，P(power)返回的是一个新的“中间函数”呆?这个“中间函数”的函数体我们刚才已经看到了，就是简单地展开P(power)和而已，回顾一过:IF_Elsen==01nkpower(n-1)我们已经知道，这是个函数，参数n待定。因此我们不妨给它加上一个“lambdan”的帽子，这样好看一点:lampdan，IFElsen==01nkpower(n-1)这是什么呢?这可不藉是power本号的定义?《当然，如采我们能够定义power的话)。不信我们看看power如采能够定义出来像什么样子:letpower=lampbdan。IFFlsen==01nx#kpower(n-1)一模一样!也就是说，P(power)展开后跟power是一样的。即:P(poweTr)=poweT以上就是所谓的不动点。即对于男数来说pover古这笠一&“点”:当把P用到power有身上的时候，得到的结果

刘未鹏 暗时间 电子版

仍然还是power，也就是说，power这个“点”在P的作用下是“不动”的。可惜的是，这一切居然都是建立在一个不存在的power的基础上的，又有什么用呢?可别过早提“不存在”这个词，你觉得一样东西不存在或许只是你没有找到使它存在的正确方法。我们已经看到power是跟P有着密切联系的。密切到什么程度呢?对于伪递归的P，存在一个power，满足P(power)=power。注意，这里所说的“伪递归”的P，是指这样的形式:l]etP=lambdaselfn.IfElsen==01nxself(n-l)//注意，不是self(self,n-J)磋一般化的描述就是，对任一伪递局F〈回想一下作遂与的F如何得到一一是我们为了解雇ljanbda函数不能引用上自身的问题，于是给理想的f加一个self参数从而得到的)，必存在一个理想f(就是从这个想f演变而来的)，满足F(f)=f。那么，现在的问题就归结为如何针对F找到它的FE了。根据F和f之间

刘未鹏 暗时间 epub

的密切联系〈F就比{多出一个self参数而已)，我们可以从F得出革吗?假设我们可以《又是假设)，也就是次假设我们找到了一根魔标，把它朝任意一个伪递归的F一挥，眼前一花，它就变成了真正的于了。这根魔棒如果存在的话，它具有什么性质?我们假设这个神奇的函数叫做Y，把Y用到任何伪递归的函数F上就能够得到真正的f，也束是说:磋Y(F)=工结合上面的F(f)=ff，我们得到:|YG)=f=FGO=FOYOGE))也就是说，Y有具有性质:Y(GFE)=FGY(E))性质倒是找出来了，怎么构造出这个Y却又成了难题。一个办法就是使用抽象法，这是从工程学的思想的角度，也就是通过不断迭代、构，最终找到问题的解。然而对于这的Ycombinator，接近问题解的过程却显得复杂而费力，甚至过程中的有些点上的思维跳跃有点如羚羊挂角无迹可寻。然而，在这整个Ycombinator介绍完了之后我们将会介绍著名的哥德尔不完备性定理，然后我们就会发现.通过哥

暗时间电子版pdf

综上：暗时间epub百度云值得推荐阅读