刘未鹏 暗时间 mobi(暗时间+pdf)

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

敏锐的你可能会注意到所有集合的数目是不可数的从而根本不能S$l1,S2…的一一列举出来。没错，但通过假设它们可以列举出来，我们全王公着吕列性无关的悖论。所以这里的对角线方法其实可以说一种启发式方法。同样的手法也可以用到证明P(A)〈A的所有子集构成的集合，也叫震集)无法跟A构成一一对应上面。证明就留给聪明的你了:)硕尔伯特第十问题结出的硕宁布尔们等古在1900年巴素数学家六会上提出着名的希尔伯特第十问题的，简言之就是是否存在一个算法，能够计算任意丢番图方程是否有整根。要解决这个问题就得先产格定义“算法”这一概念。为此图灵和丘齐分别提出了图灵机和1lambdacalculus这两个概念，它们从不同的角度抽象出了“有效《〈机械)计算”的概念，潜名的图灵一一丘齐命题就是说所有可以有效计算出来的问题都可以由图灵机计算出来。实际上我们已经看到，丘齐的lambdacalculus其实就是数学理系统的一个形式化。而图灵机则是把这个数学概念物理化了。而也正因为图灵机的概念隐含了实际的物理实现，所以冯“。话依曼才据此提出了黄定现代计算机体系结

暗时间 刘未鹏

构的训“。诡依曼体系结构，其遵循的，正是图灵机的概念。而“程序即数据”的理念，这个发端于数学家哥德尔的不完备性定理的证明之中的理念，则早就在黑暗中预示了可编程机器的必然问世。对角线方法一一回顾我们看到了对角线方法是如何简少而深刻地揭示出目指或递归绪构的。我们看到了著名的不完备性定理、停机问题、YCombinator、罗素悖论等等等等如何通过这一简洁优美的方法导出来。这一诞生于康托尔的天才的手法如人的丝线，把位于不同年代的伟大发现串联了起来，并且将一直延续下去…P.1，1ambdacalculus实际上lambdacalculus面的“停机问题”面也是有“停机问题”的等价版本的。其描述就是:不存在一个算法能够判定任意两个lambda函数是否等价。所谓等价当然是对于所有的mn，有fn)Ti这个问题的证明更加能够体现对角线方法的运用。仍然留给你82，负哈琐话(http:/]blog.csdn.net/g9yuayon)是个非常不错的blog:)。g9的文字轻松幽球，人第…灰芝…不错哦。此外g9老兄还是论功底非常的灰扎实的牛。所以，

暗时间心理学pdf

anyway，看了他的blog就知道啦!最初这篇人了上面的一篇关于YCombinator的铸造过程的介更深的东西，于是便有了本文。，于是想揭示一些3文章起名《康托尔、哥德尔、图灵一一永恒的金色对角线》其是为了纪念看过的一本好书GEB，即《Godel、Escher、Bach-AnErernalGoldenBraid》中文译名《哥德尔、挨舍尔、壁之大成》一一商务印书馆出版。对于一本定价50元居然能够在douban上卖到100元的二手旧书，我想无需多说。另，圣福的是，电子版可以找到:)4，其实很久前想写的是一篇《从哥德尔到图灵》，1/3不到融搁下了，一是自于于和二征总党得少点什么把康托尔扯进来，也算是完成当时扔兵的那一篇吧。5，这代怕算是写得最曲折的一的串起来，也颇寓周章。很多时候考本质的问题以及如何表达等等，锻炼了不拿纸笔思考数学的能巴赫一一集姑但那篇写到。阿呵，如今篇文章了。不仅自己被这些问题搞得有点曙头转向《还好总算走出来)，更因为要把这些东西自然而然是利用吃饭睡觉前或走路的时间思然后到纸上一气呵成。不过同时也，阿呵。

暗时间刘未鹏精彩语句

综上：暗时间+pdf值得推荐阅读