哥德尔

哥德尔，图灵和康托尔 part 1 哥德尔编号

在看计算理论相关的书的时候，偶然看到这个blog，http://skibinsky.com/godel-turing-and-cantor-the-math/，写的很好。我觉得用自动机的方式讲计算理论的话，从DFA，正则，到图灵机，都是很直观而且容易理解的，但是从Halt, Reducibility开始，再用图灵机的语言来描述就是一件可怕而且容易令人迷惑的方式了。这个时候通常不得不退回去，尝
·2015-11-12 09:56

码农-如果当初学习编程时能有人给我这些忠告该多好

我也喜欢思考数学和理论（《哥德尔、艾舍尔、巴赫:集异璧之大成 》这本书在我易受影
·2015-11-11 19:35

神奇的λ-calculus

lambdacalculus)于1930s由阿隆佐·邱奇所引入，彼时在数位天才思想家的推动下数理逻辑学科已初见成行，其中关于计算机数理逻辑的尤以戈特弗里德·莱布尼兹、乔治·布尔、格奥尔格·康托尔、大卫·希尔伯特、库尔特·哥德尔
葭五·2015-11-04 21:49

神奇的λ-calculus

lambdacalculus)于1930s由阿隆佐·邱奇所引入，彼时在数位天才思想家的推动下数理逻辑学科已初见成行，其中关于计算机数理逻辑的尤以戈特弗里德·莱布尼兹、乔治·布尔、格奥尔格·康托尔、大卫·希尔伯特、库尔特·哥德尔
yuxiaohen·2015-11-04 21:00

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

                                 &n
·2015-11-02 15:30

哥德尔，埃舍尔，巴赫，集异璧之大成 —— an Eternal Golden Braid 初读记

哥德尔，埃舍尔，巴赫，集异璧之大成  —— an Eternal Golden Braid 初读记   缘起      
·2015-10-30 14:50

数学原理浅谈一下《黑客帝国》

而尼奥这个“救世主”的产生，则和数学中的哥德尔命题有关。
·2015-10-21 10:57

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)时间:2015-02-2821:37作者:lsgxeva分类: 我的笔记>>基础深入>>scheme摘要: 康托尔、哥德尔、图灵——永恒的金色对角线
LSGX·2015-06-26 09:00

烦恼对话

赞曰：根据哥德尔第二不完备性定理，如果一个人自己证明了自己精神正常，说明此人精神不正常。
火中取栗·2015-05-05 09:00

5分钟阅读：互联网思维 VS 工业思维 _《产品型社区》01

——哥德尔第一定律雷军VS董明珠的10亿元赌局，其实代表的就是互联网思维VS工业思维。在这喧嚣背后，到底什么是互联网思维，互联网思维代表的是什么，没有人说得清楚。
神助·2015-04-27 00:36

哈里波特与理性之道 摘录

他读过《哥德尔，埃舍尔，巴赫》，《不确定情况下的判断：启发式研究和偏差》，以及《费曼物理学讲义》的第一部。1.极小概率的一天如果你想争赢爸爸的话，可以去读一下费曼物理学讲义第一册的第二章。
wzz·2014-07-26 19:10

一般递归函数、λ表达式、图灵机

为此数理逻辑学家们各显其能提出了各种模型，如哥德尔的一般递归函数、丘奇的λ表达式以及艾伦·图灵(AlanTuring)的图灵机。
yqj2065·2014-07-01 22:00

BOW模型在ANN框架下的解释

哥德尔第一完备性定理，始终是没有能看完完整的证明，艹！看不懂啊！原文：     Bagofwords模型（简称BOW）是最常用的特征描述的方法了。
wishchin·2014-06-30 14:00

能否判断一个程序是否是所有实现同样目标的最快程序

这也是哥德尔不完备定理的一个实例。如果一个问题无法证明，是否可以证明它无法证明
thursdayhawk·2014-02-01 09:26

要看的一些经典书籍

《哥德尔、艾舍尔、巴赫
lwj704684897·2013-10-17 13:00

虚拟的宇宙

――库尔特・哥德尔（1906～1978）[1]爱因
heshw·2013-09-12 11:48

good books

哥德尔、艾舍尔、巴赫集异璧－GEB，是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀。《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界
DongHenry·2013-09-05 13:00

澄清P问题、NP问题、NPC问题的概念

http://blog.csdn.net/dongwq/article/details/4305435这是一篇非常好的博文，把我之前对P/NP问题的一些模糊都澄清了，OIer中不少牛人啊~不过关于最后哥德尔不完备定理和罗素的一些成果我不太沟通
memray·2013-05-26 21:00

可计算性与计算复杂性发展史

1931年Herbrand对递归函数进行了研究，并把他的研究成果写发送给了哥德尔，但是由于种种原因，Herbrand的探究暂时被搁置了。同年秋，美国数学家丘奇开创一种新的逻辑研
石头_奋斗·2013-01-08 13:54

可计算性与计算复杂性发展史

1931年Herbrand对递归函数进行了研究，并把他的研究成果写发送给了哥德尔，但是由于种种原因，Herbrand的探究暂时被搁置了。同年秋，美国数学家丘奇开创一种新的逻辑研
loveRooney·2013-01-08 13:00

分布式计算领域的哥德尔Eric Brewer

文/苏椰2010年3月，ACM宣布将2009年度“ACM-Infosys”奖颁发给加州大学伯克利分校的EricBrewer教授，以表彰他在可扩展互联网等领域所做的贡献。Brewer在伯克利获得了计算机科学学士学位，随后在麻省理工学院获得计算机科学硕士和博士学位。32岁时，他拿到了伯克利的终身教授职位，这个职位是很多人的毕生梦想，而他却初出江湖就将其纳入囊中。这到底是个什么人？他到底做了什么事？要说
ajian005·2012-12-12 18:00

读《哥德尔，艾舍尔，巴赫-集异壁之大成》

漫长的一个月终于过去，这本《哥德尔，艾舍尔，巴赫-集异壁之大成》终于在十一月的末尾读完了。
jj12345jj198999·2012-11-30 09:00

计算机经典书籍汇总

迈克康奈尔《程序员修炼之道》《计算机程序的构造和解释》《C程序设计语言》《算法导论》《重构：改善既有代码的设计》《设计模式》《人月神话》《计算机程序设计艺术》《编译原理》（龙书）《深入浅出设计模式》《哥德尔
专注嵌入式·2012-11-23 08:40

计算机经典书籍汇总

迈克康奈尔《程序员修炼之道》《计算机程序的构造和解释》《C程序设计语言》《算法导论》《重构：改善既有代码的设计》《设计模式》《人月神话》《计算机程序设计艺术》《编译原理》（龙书）《深入浅出设计模式》《哥德尔
SdustLiYang·2012-11-23 08:00

图灵的故事

图灵的天赋在他非常年轻的时候就展露无遗，图灵在他1936年5月28日提交的重要论文《论可计算数及其在判定问题上的应用》里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式装置代替了哥德尔的以通用算术为基础的形式语言
fulminati·2012-11-23 07:54

图灵的故事

图灵的天赋在他非常年轻的时候就展露无遗，图灵在他1936年5月28日提交的重要论文《论可计算数及其在判定问题上的应用》里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式装置代替了哥德尔的以通用算术为基础的形式语言
fulminati·2012-11-23 07:54

包云岗 --《世纪图灵纪念》

1930年代，计算机先驱们齐聚普林斯顿小镇，图灵、邱奇（AlonzoChurch）、冯诺依曼（JohnvonNeumann）、哥德尔（KurtGödel）、克林（StephenKleene）……。
longerzone·2012-11-04 14:00

程序员该读的几本书

《哥德尔、艾舍尔、巴赫书：集异璧之大成》13.《代码整洁之道》15.《编程珠玑》16.《修改代码的艺术》byMichaelFeathers17.《编码：隐匿在计算机软硬
steveguoshao·2012-07-27 15:00

国外程序员推荐的好书

《哥德尔、艾舍尔、巴赫书：集异璧之大成》13.  《代码整洁之道》14.  《EffectiveC
chenglinhust·2012-06-15 20:00

滕尚华老师获2008年哥德尔（Gödel）奖

滕尚华老师获2008年哥德尔（Gödel）奖ACM(美国计算机协会）在ICALP会议上宣布了2008年哥德尔（Gödel）奖由DanSpielman和Shang-HuaTeng获得。
junecauzhang·2012-06-13 00:00

测试必定是不完备的

哥德尔不完全性定理表明任何一个形式体系，只要包括了简单的初等数论描述，而且是一致的，它必定包含某些体系内所允许的方法既不能证明也不能正伪的命题。
欧阳左至·2012-04-14 00:00

<哥德尔 艾舍尔 巴赫--集异璧之大成>

个人评分：5分 阅读状态：在读。 正常的读书通常都是读完了，给个评论、简介什么的。而这部书实在是太厚啦～为了避免读了后面忘了前面，个人决定针对此书进行段落级的更新。 提示：此书已经绝版。作为传说中的理科必读经典，如果你有机会碰到这部书，先下手为强啊。 好吧，就目前而言，我只读完了此书的前言部分。而且几乎可以断言，给了个人的满分评分并不为过。 前言主要叙述了关于原作者和译校
iyuan·2012-02-27 14:00

分布式计算领域的哥德尔Eric Brewer

文 / 苏椰 2010年3月，ACM宣布将2009年度“ACM-Infosys”奖颁发给加州大学伯克利分校的Eric Brewer教授，以表彰他在可扩展互联网等领域所做的贡献。Brewer在伯克利获得了计算机科学学士学位，随后在麻省理工学院获得计算机科学硕士和博士学位。32岁时，他拿到了伯克利的终身教授职位，这个职位是很多人的毕生梦想，而他却初出江湖就将其纳入囊中。这到底是个什么人？他到底做
liuhaidl·2011-09-04 11:00

关于集异璧实验室（Geblab）

“集异璧（GEB）”出自曾获普利策文学奖的经典科普著作《哥德尔、艾舍尔、巴赫书：集异璧之大成》的书名，是数学家哥德尔、画家艾舍尔、音乐家巴赫三个名字的前缀联写。
xiaotie·2011-05-09 17:00

哥德尔十四条哲学信念对商业的启发

哥德尔是谁？
qiqishou·2011-03-15 13:00

停机问题、哥德尔定理

今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》，看到“自指”的论述，突然想起以前学自动机理论时的“停机问题”。
saybody·2010-10-03 23:00

对角线的延伸

    今天有点空闲时间，把刘未鹏的《康托尔、哥德尔、图灵——永恒的金色对角线》又看了一遍。
rink1969·2009-04-24 00:00

事实真相不可尽知？

大概就是说人本身处在宇宙中，所以人认知宇宙的时候就会出现哥德尔不完备定理描述中的那种悖论，因此人或者更高级的智慧生物都是不可能完全掌握宇宙终极真理的。当然这是不考虑平行宇宙，膜理论等理论的前提下。
rink1969·2009-04-20 22:00

统一论和不可证明性

比如欧氏几何的平行公理：过已知直线外一点有且只有一条直线与已知直线平行，哥德尔定律已经说明此公理的不可证性，也此同时揭示几何学有更大的空间。
`Sibyl·2009-03-03 15:16

统一论和不可证明性

比如欧氏几何的平行公理：过已知直线外一点有且只有一条直线与已知直线平行，哥德尔定律已经说明此公理的不可证性，也此同时揭示几何学有更大的空间。
`Sibyl·2009-03-03 15:16

(转)数理逻辑时代的大师们

他们是莱布尼兹（同时也是哲学家物理学家），弗雷格（同时也是分析哲学的创始人），希尔伯特（上世纪的大数学家），哥德尔（两个不完全定理提示
zhangboyue·2009-01-07 12:00

转－康托尔、哥德尔、图灵——永恒的金色对角线（二）

阅读更多哥德尔的不完备性定理[注：了解哥德尔不完备性定理的可以跳到下一节，“大道至简——康托尔的天才”]然而，漫长的YCombinator征途仍然并非本文的最终目的，对于Ycombinator的构造和解释
Kevin.Li·2008-02-18 17:00

转－康托尔、哥德尔、图灵——永恒的金色对角线（二）

阅读更多哥德尔的不完备性定理[注：了解哥德尔不完备性定理的可以跳到下一节，“大道至简——康托尔的天才”]然而，漫长的YCombinator征途仍然并非本文的最终目的，对于Ycombinator的构造和解释
Kevin.Li·2008-02-18 17:00

转－康托尔、哥德尔、图灵——永恒的金色对角线（二）

哥德尔的不完备性定理 [ 注：了解哥德尔不完备性定理的可以跳到下一节，“大道至简——康托尔的天才” ] 然而，漫长的 Y Combinator 征途仍然并非本文的最终目的，对于 Y combinator
Kevin.Li·2008-02-18 17:00

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

阅读更多康托尔、哥德尔、图灵——永恒的金色对角线刘未鹏/文我看到了它，却不敢相信它。——康托尔计算机是数学家一次失败思考的产物。
Kevin.Li·2008-02-18 16:00

形式化系统——数学或逻辑能力的局限？

哥德尔，算不上空前绝后，但就影响，堪称深远。或许几千年来为人所迷惑，唯此君拨开云雾尚算不上经典，只怕数百年后，人人仍口口相传，其洞见历久弥坚，犹如笛卡尔，方可算一代大家。
SilenceCliff·2007-12-29 16:00

形式化系统——数学或逻辑能力的局限？

哥德尔，算不上空前绝后，但就影响，堪称深远。或许几千年来为人所迷惑，唯此君拨开云雾尚算不上经典，只怕数百年后，人人仍口口相传，其洞见历久弥坚，犹如笛
SilenceCliff·2007-12-29 16:00

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

康托尔、哥德尔、图灵——永恒的金色对角线 刘未鹏/文C++的罗浮宫(http://blog.csdn.net/pongba) 我看到了它，却不敢相信它。——康托尔 计算机是数学家一次失败思考的产物。
tunix126·2006-11-24 14:00

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)By刘未鹏C++的罗浮宫(http://blog.csdn.net/pongba)我看到了它，却不敢相信它[1]。
61party·2006-10-31 22:00

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)By刘未鹏C++的罗浮宫(http://blog.csdn.net/pongba)我看到了它，却不敢相信它[1]。
wapysun·2006-10-15 23:00
上一页 1 2 3 4 5 6 7 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他