我记得在去年看过的，当然，以我目前的水平，只能是看得晕乎乎。

尽管我本人还算对哥德尔，康托尔，布尔，图灵，艾舍尔感兴趣。。

但总只是出于兴趣的了解，而没有真正溶于生活和精神里。看来，这些书又得重看一次了。。都是从当当上买的纸质书呀。。

~~~~~~~~

康托尔、哥德尔、图灵——永恒的金色对角线

By 刘未鹏
C++的罗浮宫(http://blog.csdn.net/pongba)
~~~~~
摘抄一段总绪。。。
哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科，深刻影响着人们的思维。图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠基性工作，著名的停机问题给出了机械计算模型的能力极限，其深刻的意义和漂亮的证明使它成为可计算理论中的标志性定理之一。丘齐，跟图灵同时代的天才，则从另一个抽象角度提出了lambda算子的思想，与图灵机抽象的倾向于硬件性不同，丘齐的lambda算子理论是从数学的角度进行抽象，不关心运算的机械过程而只关心运算的抽象性质，只用最简洁的几条公理便建立起了与图灵机完全等价的计算模型，其体现出来的数学抽象美开出了函数式编程语言这朵奇葩，Lisp、Scheme、Haskell… 这些以抽象性和简洁美为特点的语言至今仍然活跃在计算机科学界，虽然由于其本质上源于lambda算子理论的抽象方式不符合人的思维习惯从而注定无法成为主流的编程语言[2]，然而这仍然无法妨碍它们成为编程理论乃至计算机学科的最佳教本。而诞生于函数式编程语言的神奇的Y combinator至今仍然让人们陷入深沉的震撼和反思当中…
然而，这一切的一切，看似不很相关却又有点相关，认真思考其关系却又有点一头雾水的背后，其实隐隐藏着一条线，这条线把它们从本质上串到了一起，而顺着时光的河流逆流而上，我们将会看到，这条线的尽头，不是别人，正是只手拨开被不严密性问题困扰的19世纪数学界阴沉天空的天才数学家康托尔，康托尔创造性地将一一对应和对角线方法运用到无穷集合理论的建立当中，这个被希尔伯特称为“谁也无法将我们从康托尔为我们创造的乐园中驱逐出去”、被罗素称为“19世纪最伟大的智者之一”的人，他在集合论方面的工作终于驱散了不严密性问题带来的阴霾，仿佛一道金色的阳光刺破乌云，19世纪的数学终于看到了真正严格化的曙光，数学终于得以站在了前所未有的坚固的基础之上；集合论至今仍是数学里最基础和最重要的理论之一。而康托尔当初在研究无穷集合时最具天才的方法之一——对角线方法——则带来了极其深远的影响，其纯粹而直指事物本质的思想如洪钟大吕般响彻数学和哲学的每一个角落[3]。随着本文的展开，你将会看到，刚才提到的一切，歌德尔的不完备性定理，图灵的停机问题，lambda算子理论中神奇的Y combinator、乃至著名的罗素悖论、理发师悖论等等，其实都源自这个简洁、纯粹而同时又是最优美的数学方法，反过来说，从康托尔的对角线方法出发，我们可以轻而易举地推导出哥德尔的不完备性定理，而由后者又可以轻易导出停机问题和Y combinator，实际上，我们将会看到，后两者也可以直接由康托尔的对角线方法导出。尤其是Y combinator，这个形式上绕来绕去，本质上捉摸不透，看上去神秘莫测的算子，其实只是一个非常自然而然的推论，如果从哥德尔的不完备性定理出发，它甚至比停机问题还要来得直接简单。总之，你将会看到这些看似深奥的理论是如何由一个至为简单而又至为深刻的数学方法得出的，你将会看到最纯粹的数学美。。。。。

转载于:https://www.cnblogs.com/aguncn/archive/2013/01/03/2842931.html

重温名篇《康托尔、哥德尔、图灵——永恒的金色对角线》相关推荐

  1. 康托尔、哥德尔、图灵——永恒的金色对角线(转载)

    我看到了它,却不敢相信它. --康托尔 哥德尔的不完备性定理震撼了20世纪数学界的天空,其数学意义颠覆了希尔伯特的形式化数学的宏伟计划,其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科,深刻影 ...

  2. 哥德尔不完备定理----一切都是非真即假的吗

    如果有一个人说:"我在说谎" 那么,他说的话是谎言吗? 如果是假的,那么他说的反而是真的,如果是真的,那么他说的反而是假的了. 如果这话是匹诺曹说的,恐怕他的鼻子就得变成永动机了. ...

  3. 这个播放量200万的视频燃爆了！它讲透了：希尔伯特计划是如何被哥德尔与图灵“打脸”的？...

    作者:陈彩娴.琰琰 编辑:刘冰一 转自:AI科技评论 1930年,临近退休前,著名数学家大卫·希尔伯特在于柯尼斯堡召开的全德自然科学及医学联合会代表大会上做了题为<自然认知及逻辑>的4分钟 ...

  4. 康先生和哥德尔数配置——哥德尔读后之二十三

    康先生和哥德尔数配置--哥德尔读后之二十三 这一篇博客,该用来直击哥德尔数的配置了.哥德尔的系统P,词项是一个系统P中,符号构成的基底:由词项再构成公式:而由公式继而构成证明.行文之际,有幸看到陈波老 ...

  5. 王浩：哥德尔思想概说

    来源:本文原文刊于<科学文化评论>2004年第6期 撰文:王浩 翻译:邢滔滔 译者按 本文选自王浩最后一本著作A Logical Journey-From Gödel to Philoso ...

  6. 来认识一下哥德尔不完备定理

    哥德尔不完备定理:"任何无矛盾的公理体系,只要包含初等算术的陈述,则必定存在一个不可判定命题,用这组公理不能判定其真假." 到20世纪初,数学经过2000多年的发展,已经是开花结果 ...

  7. 哥德尔不完全性定理：现代数学的边界

    德国数理逻辑学家哥德尔(Kurt Godel,1906-1978)是康托尔的继承人,也是现代数学边疆的开拓者. 1931年,年仅25岁的哥德尔在其博士论文(只有两页纸)证明了知名的"不完全性 ...

  8. 哥德尔定理的背景知识1：戴德金的数观念——哥德尔逻辑与哲学之3

    哥德尔定理的背景知识1:戴德金的数观念--哥德尔逻辑与哲学之3 哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃.有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中 ...

  9. 哥德尔不完备性定理——从数学危机到哲学危机

    一.哥德尔不完备性定理的基本内容 一个普遍公认的事实是,哥德尔不完备性定理在数理逻辑中占有极其重要的地位,是数学与逻辑发展史中的一个里程碑. 哥德尔关于形式系统的不完备性定理,首次发表在他的论文< ...

最新文章

  1. Python的正则表达式
  2. hdu 1263 水果
  3. css毛玻璃效果白边_css3毛玻璃效果白边问题
  4. Hadoop部署方式-高可用集群部署(High Availability)
  5. Linux安全手册(转载)
  6. 写地道的Python
  7. CSS样式切换技巧 - 动态更换网页色彩皮肤
  8. 生成n*n蛇形矩阵的算法
  9. JAVA程序设计基础（第六版）第六章习题 6.13
  10. Python—基于百度AI的人脸识别检索程序（转自本人博客）
  11. 双显卡(Intel+Nvidia)笔记本配置cuda开发环境
  12. Windows MFC 工程应用开发与框架原理完全剖析教程（上）
  13. 京东，想说爱你，并不容易！
  14. 为什么单片机管脚设计成低电平才有效
  15. WebPack的安装及使用
  16. 本地电脑连接阿里云RDS Mysql数据库问题（10038错误）
  17. 专车新规或下周发布，估计有大量司机流失
  18. 2021年安全员-B证考试题及安全员-B证报名考试
  19. Unity3d 技巧(8) -PlayMaker 插件自定义扩展 不受局限
  20. IntelliJ IDEA 设置鼠标悬停提示相关信息及F2重命名设置

热门文章

  1. python3 import导入模块
  2. MySQL设置数据库及表的字符集
  3. MySQL ADDTIME(t,n) 时间 t 加上 n 秒的时间
  4. linux 查看服务器网络连接,1.3.2 查看Linux服务器的网络连接（2）
  5. html解析的简单方式,HTML解析看我就够了,不依赖任何第三方,两个方法搞定
  6. 【比较面】真核生物和原核生物的异同
  7. 如何快速学会嵌入式？
  8. int *ptr=(int *)(a+1)
  9. 数据结构与算法 / 排序算法 / 堆排序
  10. vb fso方式访问网络上的共享文件夹_经常遇见的网络故障详细分析及解决方法！...