设为首页收藏本站
开启辅助访问 切换到宽版

科学网

 找回密码
  注册
科学网 › 我的中心 › 博文 › liuyu2205的博文
在中法文化之间流连| 不确定性问题和算法讨论| 智能哲学| NP理论| 非经典逻辑与中国传统逻辑| 英语博文| 图灵论著专研与精译工作群| AI伦理与社会群| 周剑铭论中国思想与中西文化系列文章| 在法国教逻辑课| 教学中的文化视角| 师徒对话| Paul Jorion的书译文| 解读哥德尔不完全性定理| 波普尔的《科学发现的逻辑》| 《易经》学习| 系统思维|
纯真博物馆 - 伊斯坦布尔游记（2）
柳渝 2023-5-4 23:18
在伊斯坦布尔有一座特别的博物馆： “ 纯真博物馆 ” ，由土耳其作家帕慕克（ Orhan Pamuk ， 1952- ）根据自己的同名小说 “ 纯真博物馆 ” 建立。 2006 年，瑞典皇家学院以 “ 在寻找故乡的忧郁灵魂时，发现了文化冲突和融合中的新的象征 ” 为由，授予帕慕克 2006 年度诺贝尔文学奖。 帕 ...
个人分类: 在中法文化之间流连|1970 次阅读|没有评论
圣索菲亚大教堂的前世今生 - 伊斯坦布尔游记（1）
柳渝 2023-4-26 14:51
土耳其伊斯坦布尔的圣索菲亚（ Sancta Sophia ）清真寺堪称是世界上独一无二的建筑传奇，历经一千五百年的沧桑，在同一座寺庙里，演绎着两种宗教、两种文化和两种文明的相互交织和冲撞： 在该教堂伫立的地方曾经存在过两座被暴乱摧毁的教堂，公元 532 年拜占庭皇帝查士丁尼一世（ Byzantine emperor Justin ...
个人分类: 在中法文化之间流连|2733 次阅读|没有评论
波斯特对应问题 - 不可判定问题
柳渝 2023-4-22 06:23
我认为，具有代表性的 “ 不可判定问题 ”实例 可以帮助思考 “ 不可判定问题 ” 的本质。 图灵在 1936 年的论文中证明了 “判定 一阶谓词公式是否可证明的 ” 是 “ 不可判定问题 ” 。 波斯特（ Emil Post ）于 1946 年提出一个更简单的不可判定问题：波斯特对应问题（ Pos ...
个人分类: 解读哥德尔不完全性定理|3216 次阅读|没有评论
“我与法国诗歌合一的漫长之道” - 程抱一
柳渝 2023-4-20 23:06
程抱一 (François Cheng 1929 - ) ，法国著名华裔作家、诗人、书法家。 程抱一祖籍江西南昌，出生于山东济南，毕业于重庆立人中学、南京金陵大学，1948年随父赴法国定居，在巴黎第九大学取得博士学位，任教于巴黎第三大学东方语言文化系。程抱一用法文写作了许多作品，也包括介绍中国文化，翻译中法两国文学大师的作 ...
个人分类: 在中法文化之间流连|2032 次阅读|没有评论
“停机问题”（5）- Entscheidungsproblem
柳渝 2023-4-20 15:50
哥德尔的证明得出结论， “ 说谎者悖论 ” （说自己是不可证明的命题）是 Peano 形式系统中 “ 不可判定命题 ” 。我认为，此命题不是 Peano 形式系统中的真实命题，所以作为逻辑证明，哥德尔的证明是无效的。而 “ 停机问题 ” 继续踏着哥德尔的脚步，这是我为什么解读 “ 停机问题 ” 的原因。 ...
个人分类: 解读哥德尔不完全性定理|1934 次阅读|没有评论
与ChatGPT关于停机问题的对话
柳渝 2023-4-18 21:38
柳渝： “ 停机问题 ” 是谁提出来的？ ChatGPT: 停机问题是由数学家和逻辑学家艾伦 - 图灵在 1936 年首次提出的。在他的开创性论文 “On Computable Numbers, with an Application to the Entscheidungsproblem” 中，图灵表明，一般来说，不可能确定一个任意的算法是否会停机或 ...
个人分类: 解读哥德尔不完全性定理|1530 次阅读|没有评论
简介新加坡国家美术馆大展“刘国松：实验悟道”
柳渝 2023-4-18 18:12
今年新加坡国家美 术馆举办大展「刘国松：实验悟道」（ Liu Kuo-sung: Experimentation as Method ）（ 2023.1.13 ─ 2023.11.26 ）【 1 】。 刘国松（ 1932— ），台湾画家， 14 岁在武昌开始学习传统国画； 20 岁改习西画； 27 岁时绘画思想转为中西合壁； 29 岁意识到中国绘画的笔墨纸材有不可替代的材质特性 ...
个人分类: 在中法文化之间流连|2405 次阅读|没有评论
“停机问题”（4） - “可计算数”的消失
柳渝 2023-4-18 06:51
通过追本溯源我们看到， “ 停机问题 ” 在图灵 1936 年的论文中从来没出现过【 1 】，只是 Martin Davis 在 1958 年的书《可计算性与不可解决性》中提出的术语【 2 】，后来学术界用 “ 停机 ” 取代了 “ 可计算性 ” 【 3 】，图灵的 “ 判定问题 ” 简化为 “ 停机问题 ” 。 于 ...
个人分类: 解读哥德尔不完全性定理|1390 次阅读|没有评论
J. B. Rosser 与Rosser’s trick
柳渝 2023-4-15 16:19
John Barkley Rosser Sr. （ 1907-1989 ）是一位美国逻辑学家，是丘奇（ Alonzo Church ）的学生，以在 λ 计算中参与 Church–Rosser 定理而闻名。他还在数论中提出了现在被称为 Rosser sieve « 的方法。 1936 年，他证明了 “ 罗瑟的诀窍（ Rosser’s trick ） ” ，这是哥 ...
个人分类: 解读哥德尔不完全性定理|1190 次阅读|没有评论
“停机问题”（3）- 证明溯源
柳渝 2023-4-14 18:06
“ 停机 问题 ” 存在着二个版本的流行 证明：一个是基于 “ 说谎者悖论 ” 的反 证法；另一个是基于 cantor的 对角线法。 学 术界宣称 “ 停机 问题 ” 及 这二个证明源于图灵 1936 年 论文，这是值得大大质疑的，。。。 罗杰·彭罗斯在《皇帝新脑》中对基于 cantor 对角线法的 “ 停机 问题 ” 证明做了通俗 ...
个人分类: 解读哥德尔不完全性定理|1277 次阅读|没有评论
1 ...234567891011... 65下一页

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

GMT+8, 2024-7-27 15:32

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部