目录(点击切换)
本文节选自《暗时间》电子版:
不可实现。当然,这个结论是很受质疑的。但哥德尔的不完备性定的确还有很多很多的有趣推论,数学的和哲学上的。哥德尔的不完备生生最深刻的地方就是它揭示了自指《或称自引用,递归调用自身等)结构的普遍存在性,我们再来看一看哥德尔命题的绝妙构造:G(n):UnPr(NGn))我们注意到,这里的UnPr其实是一个形式化的谓词,它不一定要说“X在T内可证明”,我们可以把它泛化为一个一般化的谓词,P:GO:PCNGC))也就是说,对于任意一个单参的谓词P,都存在上面这个哥德尔公式。然后我们算出这个哥德尔公式的自然数编码g,然后把它扔给G,就得到:G(g):P(G(g))是不是很熟悉这个结构?我们的YCombinator的构造不就是这样一个形式?我们把G和P都看成一元函数,G(g)可不正是P这个函数的不动点么!于是,我们从哥德尔的证明里面直接看到了YCombinator!至于如何从哥4站汪们下有天号就留给你去解决吧:)因为更重要的还在后面,我们看到,哥4吉尔的证明昌然巧妙至极,然而其背后的思维过程万然标拘而不可捉摸,至少我当时看到GO)的时候,“乃大
暗时间刘未鹏百度
惊”“不知所从出”,他怎么想到的?难道是某一个瞬间“灵光一现”?了全个二他一说的,已经有越来越多的科学研究表明一瞬间的“灵感”答潜意识乃至表层意识长期思考的结果。可4息尔天才的证明也不例外,我们马开训会看到,在这个神秘的构造背后,其实隐藏着某种更深的东西,这就是康托尔在19世纪80年代研完无穷集合和超限数时引入的对角线方法。这个方法仿佛有种神奇的力量,能够揭示出某种自指的结构来,而同时,这又是一个极度简单的手法,通过它我们能够得到数学里面一些非常奇妙的性质。无论是哥德尔的不完备性定理还是E且后洒正齐建立的1ambdacalculus,抑或我们非常熟悉的图灵机理论里的停机问题,其实都只是这个手法简单演的结果!大道至简康托尔的天才“大道至简”这个名词或许更多出现在文学和后面,一般用在一些模模糊糊玄玄平乎的哲学观点上。然而,用在这,数学上,这个名词才终于适得其所。大道至简,看上去最复杂的理论其实建立在一个最简单最纯粹的道理之上。康托尔在无穷集合和超限数方面的工作主要集中在两篇突破性的论文上,这也是我所见过的最纯粹最论充斥了太多复杂的符号
暗时间pdf高清
和概念,本当然,不否学美,像集合论和数论这种纯粹的东西,不过多谈论数学的细是对角线方法。美妙的数学论文,现代的数学很多时候让人看不到最本质的东东西很多也是有用的,然而,的非溃适合o?认这些和了,神奇的一一对应康托尔在研究无穷集合的时候,合的大小问题要令已条和恒正的数职不过这只说康托尔引入对角线方法的动机和什么富有调察性地看到了对于无穷集WEW,我们不能再使用直观的“所含元际的个数”来描述,于是他创造性地将一一对应引入进来,两个无穷集合“大小”一样当且仅当它们的元素之间能够构成一一对应。这是一个非常直观的概念,一一对应咏,当然个数相等了,是不是呢?然而这同时束是直观的地方了。对于无穷集合,用了,因为无穷集合我们日常的所谓“个数”的概念不管面的元素个数本束是无穷多个。不信我们来看它不一个小小的例子。我们次目然数集合能够跟偶数集合构成一一对应,估丰则的放生全全人的面元素“个数”是一样多的。怎么可?偶数集合是目然数集合的真子集,记有偶数各生月然类,但月短数面还包含奇数呢,次起来应该是要这样来构造一一对应:二倍的关系不是?不是!我们只
暗时间txt
| 暗 时间pdf | 刘未鹏的 暗时间 |
| 刘未鹏暗时间txt百度云 | 暗时间百度云刘未鹏 |
| 《暗时间》.pdf | 暗时间刘未鹏电子书 |
综上:暗时间pdf全集下载值得推荐阅读
历史上的今天:
- 2023: 原则书2(原则1和原则2书区别)(0条评论)
- 2023: 原则2阅读(原则2推荐理由)(0条评论)
- 2023: 原则2这本书怎么样(原则2封面)(0条评论)
- 2023: 原则2达利欧解析(瑞 达利欧《原则》2)(0条评论)
- 2023: 原则2达里奥pdf(达利欧 原则2 pdf)(0条评论)

评论已关闭!