科学网

 找回密码
  注册
“停机问题”(3)- 证明溯源
柳渝 2023-4-14 18:06
“ 停机 问题 ” 存在着二个版本的流行 证明:一个是基于 “ 说谎者悖论 ” 的反 证法;另一个是基于 cantor的 对角线法。 学 术界宣称 “ 停机 问题 ” 及 这二个证明源于图灵 1936 年 论文,这是值得大大质疑的,。。。 罗杰·彭罗斯在《皇帝新脑》中对基于 cantor 对角线法的 “ 停机 问题 ” 证明做了通俗 ...
个人分类: 解读哥德尔不完全性定理|1069 次阅读|没有评论
彭罗斯与《皇帝新脑》
柳渝 2023-4-13 21:42
《皇帝新脑( The Emperor's New Mind ):关于计算机、思维和物理定律》是牛津大学的数学物理学家罗杰 - 彭罗斯( 1931- ) 1989 年出版的书。 历史上曾重复地出现过还原主义的思潮,最近代的便是人工智能专家的断言:电脑最终能代替人脑甚至超过人脑。彭罗斯的论断却是:正如皇帝没有穿衣服一样,电脑并 ...
个人分类: 解读哥德尔不完全性定理|1454 次阅读|没有评论
“停机问题”(2)- 证明溯源
柳渝 2023-4-11 18:01
一个流行的关于“停机 问题”不可判定的证明是基于自指的反证法,即基于悖论的证明 【1】。 该证明过程如下: 假 设存在一个可计算的全函数 halts(f) 判定函数 f 是否停机,如果 f 停机, 则返回 true ,否 则返回 false 。 现在考虑下面这个函数 g : def g(): if halts(g): &nbs ...
个人分类: 解读哥德尔不完全性定理|1073 次阅读|没有评论
停机问题(1)- 术语溯源
柳渝 2023-4-7 00:13
计算机理论中流行的一个最基本术语就是 “ 停机 问题 ” ( the Halting Problem ) 【1】 ,其基本意思是:是否存在一个 程序 判断任 给的一个 程序 在 一个 输入 下, 给出结果(停机),还是无限运行下去(不停机) 图灵于 1936 年 发表了著名的论文 论可计算数及其在判定问题上的应用( ...
个人分类: 解读哥德尔不完全性定理|1565 次阅读|没有评论
共相与殊相
热度 1 柳渝 2023-4-4 04:22
共相问题( Problem of universals ),又译为 “ 普遍命题问题 ” ,源于古希腊的形而上学问题,争论共相( universals )是否存在。共相指一种性质或关系,例如颜色,红 / 绿,男 / 女,固体 / 液体 / 气体,个人 / 国家,这些性质可以被许多不同的个体所分享,例如,红色的玫瑰与红色的墙,都是红色 ...
个人分类: 解读哥德尔不完全性定理|2089 次阅读|1 个评论 热度 1
与ChatGPT关于哥德尔不完备性定理的对话(6)
柳渝 2023-3-31 18:08
我与ChatGPT关于哥德尔不完备性理论证明的系列对话告一段落了。ChatGPT的表现非常好! 可以说,ChatGPT对人类提出了真正的挑战,人必须超越“智力(intellect)”,回归内在,探索存在性的“智能(intelligence)”,。。。 *** 柳渝:虽然,一方面,你说哥德尔精心构建的语句使用了一种自指的形式来创造 ...
个人分类: 解读哥德尔不完全性定理|1221 次阅读|没有评论
与ChatGPT关于哥德尔不完备性定理的对话(5)
柳渝 2023-3-31 15:42
柳渝:为什么哥德尔不完备性定理会被误解和滥用? ChatGPT :哥德尔不完备性定理是复杂而抽象的数学概念,非专家甚至该领域的一些专家都不容易理解。因此,多年来它们一直受到各种误解和滥用。 围绕不完 备 性定理产生误解的一个原因是,它们挑战了我们对数学和逻辑性质的一些基本假设。特别是,这些 ...
个人分类: 解读哥德尔不完全性定理|1636 次阅读|1 个评论
与ChatGPT关于哥德尔不完备性定理的对话(4)
柳渝 2023-3-26 00:50
柳渝:有质疑哥德尔不完备性定理证明的工作吗? ChatGPT : 哥德尔不完备性定理是数理逻辑中的一个基本结果,已经被广泛研究并接受为该领域的基石。虽然多年来有一些人试图质疑或反驳该定理,但这些努力都没有成功。 对哥德尔不完备性定理的一些早期批评来自于数学家,他们认为该定理依赖于循环推理或 ...
个人分类: 解读哥德尔不完全性定理|1503 次阅读|没有评论
chatGPT对自己工作原理的解释 - José与chatGPT的
柳渝 2023-3-20 01:46
chatGPT 对自己工作原理的解释 - José Manuel Rodríguez Caballero 与 chatGPT 的对话 一,译文 José: 从统计物理学的角度解释一下 chatGPT 是如何工作的。 chatGPT-4 : ChatGPT 是一个基于 GPT-4 架构的语言模型,从统计物理学的角度可以理解为一个为语言序列的概率分布建模 ...
个人分类: 解读哥德尔不完全性定理|1134 次阅读|没有评论
与ChatGPT关于哥德尔不完备性定理的对话(3)
柳渝 2023-3-20 00:13
到目前为止在学术界任何质疑哥德尔不完备性定理证明的话题都是禁忌,所以我希望借与 Chapgpt 的对话,引起学术界对此议题的 关注 。 Chapgpt 的回答在某种程度上代表了学术界的主流观点,比如, Chapgpt 说,罗素悖论被视为对数学基础的直接威胁,因为它破坏了集合作为所有数学基础的想法;但说谎者悖论却不 ...
个人分类: 解读哥德尔不完全性定理|1215 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-26 03:51

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部