刘未鹏老师暗时间(刘未鹏 暗时间)

领500g书库，关注公众号:程叫兽的宝藏 (长按可复制！)

热门下载区==>点此链接进入<<<

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

条线的尽头，不是别人，正是只手拨开被不严密性问题困扰的19世纪数学界阴沉夭全的天才数学家康托尔，康托尔创造性地将一一对应和对角线方法运用到无穷集合理论的建立当中，这个被希尔伯特称为“谁也无法将我们从康托尔为我们创造的乐园中驱逐出去”、被罗素称为“19世纪最伟大的智者之一”的人，他在集合人豫散了不严密性问题带来的阴考，仿佛一道金色的阳光刺破乌云，世纪的数学终于看到了真正严格化的上电光，数学终于得以站在他前所未有的坚固的基础之上;能合作军伪作是妆学最基础和最要的论之一。而康托尔当初在研究无和集合时最有具天才的方法之一一一对角线方法一一则带来了极其深远的影响，其纯粹而直指事物本质的思想如洪钟大昌般响彻数学和哲学的每一个角落[3]。随着本文的展开，人会看到，串才提到的一切，歌德尔的不完备性定理，图灵的停机门古，]ambda算子理论中神奇的Ycombinator、旋至著名的罗率迟论、理发师迟论等等，其实都源自这个简洁、纯料而同时

暗时间pdf高清

又是最优美的数学方法，反过来说，从康托尔的对角线方法出发，我们可以轻而易举地推导出哥德尔的不完备性定理，而由后者又可以轻易导出停机问题和Ycombinator，实际上，我们将会看到，后两者也可以直接由康托尔的对角线方法导出。尤其是Y_combinator，这个形式上组来红<从导下认可全，看上去神秘莫测的算子，其实只是一个非常自然而然的推论，如果从哥德尔的不完备性定理出发，它甚至比停机问ER总之，你将会看到这些看似深奥的理论是如何天生半生生仙有全条深玫国和人生得出的，你将会看到最纯粹的数学图灵的停机问题(TheHaltingProblem)了解停机问题的可以直接跳过这一节，到下一节“YCombinator，了解后者的再跳到下一节“哥德尔的不完备性定理”我们还是从图灵鞭名的停机问题说起，一来它相对来说是我们要说的几个定习当中最简单的，二来它也最贴近程序员。实际上，我以前曾写过一篇关于图灵机的文章，有兴趣的读者可以从那篇开始

暗时间pdf 百度云

，那篇主要是从理论上阐述，所以这里我们打算避开抽象的理论，换一和有符合程序员思维习惯的直观方式来加以解释。停机问题不存在这样一个程序〈算法)，它能够计算任何程序算法)在给定输入上是否会结束〈停机)。那么，如何来证明这个停机问题呢?反证。假设我们某一天真做出了这分一个极度联明的万能算法《就思Godalgo)，你只要给官一段程序〈二进制摘述)，再给它这上段程序的输入，它束能告诉你这段程序在这个输入上会不会结束《〈停机)，我们来编写一下我们的这个算法吧:boolGodalgo(charkprogram，charkinput)if(haltson《input>)freturntrue;freturnfalse:}这里我们假设许的判断语句里面是你天才思考的结晶，它能够像上和帝一样洞察一切程序的宿命。现在，我们从这个God_algo出发导出一个新的算法:boolSatanalgo(charkprogram)|

刘未鹏的暗时间理论

综上：刘未鹏 暗时间值得推荐阅读