首页 > TAG信息列表 > 哥德尔
“这句话是谎话。”——哥德尔不完备性的不严谨解释
知乎有人翻译了一篇简单说明哥德尔不完备性的文章。 如何简单清晰地解释哥德尔不完备定理？ - 叶青杰的回答 - 知乎 https://www.zhihu.com/question/27528796/answer/1346097249 里面说到了替换 sub(a, b, c)，用这个替换可以在形式系统中构造一个符合公理的定理，但是在现实世界中的映BCJC:59哥德尔对图灵之影响
哥德尔(1906∽1978)生于捷克.卒于美国.是爱因斯坦的好朋友.是数学家.逻辑学家、哲学家.他认为健全的哲学思想与成功的科学研究相关.发展了冯.诺伊曼和伯奈斯的工作. 1931年发表《不确定定理》. 1935年.图灵得知此论文.开始思考这样的算法是不存在的. 1936年发表了《论可计算LSTM之父Jürgen Schmidhuber评图灵
LSTM之父Jürgen Schmidhuber评图灵 来源 https://people.idsia.ch/~juergen/turing-oversold.html 图灵的贡献真的被夸大了吗？ 「艾伦 · 图灵（Alan M. Turing）对计算机科学做出了某些重大贡献。然而，这些贡献的重要性和影响力往往被夸大了，以牺牲该领域先驱者的利益为代价。不康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)
康托尔、哥德尔、图灵——永恒的金色对角线(rev#2) 来源： <http://blog.csdn.net/pongba/article/details/1336028> By 刘未鹏 C++的罗浮宫(http://blog.csdn.net/pongba) 参考书籍： 形式语言与自动机导论 计算理论导引 自动机理论、语言和计算导论(英文版.第3版) 图灵机器学习中的忒修斯之船：那些“愚弄”专家的著名悖论
悖论是人类认知的奇迹之一，它难以用数学和统计学来求解。理论上来说，悖论是一种基于问题的原始前提得出明显自相矛盾结论的陈述。即便是最著名的且有案可稽的悖论，也会经常愚弄住相关专家，因为悖论从根本上违背了常识。 图源：unsplash 那么，当人工智能遇见悖论会发生什么？用AI重建人类认知读NP-C及哥德尔不完备定理感想
最近读NLP书籍，因为买了好几本入门书，就先采用的是速读，打算先弄懂大的框架，后面再细读。 不过几本书中间经常出现P=NP？字眼，心中困惑较大，就停下来，花了一天弄清楚相关的概念，P，NP，NPC。百度了很多文章不太满意，直到读了“可能与不可能的边界”才算有点明白，了解了语丝
有些事实被认知为真，但不必然可证。——库尔特·哥德尔 重要的是经历的过程，我肯定有很多赢得过冠军的球员并没有像我这么努力过，我们非常努力只是没有实现目标，我依然觉得我们的努力收到了回报。——约翰·斯托克顿人类思维的局限
哥德尔不完备定理 在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 任何兼容的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中不能被证明的真命题，因此通过推演不能得到所有真命题（即体系是不完备的）。 把第一条定理