不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

按标题搜索
拉姆齐(Frank Plumpton Ramsey),英国哲学家、数学家和经济学家
2023-5-12 05:14
拉姆齐( Frank Plumpton Ramsey , 1903-1930 年)是英国哲学家、数学家和经济学家,他在逻辑学、数学哲学、决策论和经济学等各个领域都做出了重大贡献。 拉姆齐在剑桥大学接受教育,在那里他学习数学、经济学和哲学。 他以在决策理论方面的工作而闻名,尤其是他对主观概率概念的发展。 他认为,概率应 ...
个人分类: 解读哥德尔不完全性定理|1433 次阅读|没有评论
比利时布鲁日的贝居安女修道院
2023-5-9 03:49
比利时布鲁日( Bruges )的贝居安女修道院( beguinage )位于市区,拥有白色的外墙和静谧的修道院花园, 2002 年被联合国教科文组织列为世界遗产。 在西北欧,主要是在比利时和荷兰,所谓 “ 贝居安 ” 是指妇女进入献身上帝的生活而不从世界上隐退的地方,其成员通常是寡妇或单身妇女,称为 «  ...
个人分类: 在中法文化之间流连|1682 次阅读|没有评论
理查德·费曼1965年诺贝尔奖演讲节译
热度 1 2023-5-6 21:48
题目:量子电动力学时空观的发展 - 理查德 · 费曼( Richard P. Feynman ) 我们习惯于在科学期刊上发表文章时,尽可能地完成工作,掩盖所有的痕迹,不担心死胡同,或者描述你最先是如何产生错误想法的,等等。 所以没有任何地方可以以有尊严的方式发表你为了完成这项工作而实际做了什么,尽管最近 ...
个人分类: 解读哥德尔不完全性定理|1634 次阅读|1 个评论 热度 1
从“纯真博物馆” 到关于 “可计算数”消失的再思考
2023-5-6 14:32
在伊斯坦布尔参观 “ 纯真博物馆 ” 时,贯穿在小说中作者( Orhan Pamuk , 1952- )所表达的时间观引起了我的注意,帮助我再思考图灵 1936 年论文中的 “ 可计算数 ” 消失的现象。 一, “ 时间 ” 与 “ 时刻 ” :亚里士多德的区分 在博物馆墙上有段在小说 “ 纯真博物馆 ” ...
个人分类: 解读哥德尔不完全性定理|985 次阅读|没有评论
纯真博物馆 - 伊斯坦布尔游记(2)
2023-5-4 23:18
在伊斯坦布尔有一座特别的博物馆: “ 纯真博物馆 ” ,由土耳其作家帕慕克( Orhan Pamuk , 1952- )根据自己的同名小说 “ 纯真博物馆 ” 建立。 2006 年,瑞典皇家学院以 “ 在寻找故乡的忧郁灵魂时,发现了文化冲突和融合中的新的象征 ” 为由,授予帕慕克 2006 年度诺贝尔文学奖。 帕 ...
个人分类: 在中法文化之间流连|1666 次阅读|没有评论
圣索菲亚大教堂的前世今生 - 伊斯坦布尔游记(1)
2023-4-26 14:51
土耳其伊斯坦布尔的圣索菲亚( Sancta Sophia )清真寺堪称是世界上独一无二的建筑传奇,历经一千五百年的沧桑,在同一座寺庙里,演绎着两种宗教、两种文化和两种文明的相互交织和冲撞: 在该教堂伫立的地方曾经存在过两座被暴乱摧毁的教堂,公元 532 年拜占庭皇帝查士丁尼一世( Byzantine emperor Justin ...
个人分类: 在中法文化之间流连|2437 次阅读|没有评论
波斯特对应问题 - 不可判定问题
2023-4-22 06:23
我认为,具有代表性的 “ 不可判定问题 ”实例 可以帮助思考 “ 不可判定问题 ” 的本质。 图灵在 1936 年的论文中证明了 “判定 一阶谓词公式是否可证明的 ” 是 “ 不可判定问题 ” 。 波斯特( Emil Post )于 1946 年提出一个更简单的不可判定问题:波斯特对应问题( Pos ...
个人分类: 解读哥德尔不完全性定理|2319 次阅读|没有评论
“我与法国诗歌合一的漫长之道” - 程抱一
2023-4-20 23:06
程抱一 (François Cheng 1929 - ) ,法国著名华裔作家、诗人、书法家。 程抱一祖籍江西南昌,出生于山东济南,毕业于重庆立人中学、南京金陵大学,1948年随父赴法国定居,在巴黎第九大学取得博士学位,任教于巴黎第三大学东方语言文化系。程抱一用法文写作了许多作品,也包括介绍中国文化,翻译中法两国文学大师的作 ...
个人分类: 在中法文化之间流连|1776 次阅读|没有评论
“停机问题”(5)- Entscheidungsproblem
2023-4-20 15:50
哥德尔的证明得出结论, “ 说谎者悖论 ” (说自己是不可证明的命题)是 Peano 形式系统中 “ 不可判定命题 ” 。我认为,此命题不是 Peano 形式系统中的真实命题,所以作为逻辑证明,哥德尔的证明是无效的。而 “ 停机问题 ” 继续踏着哥德尔的脚步,这是我为什么解读 “ 停机问题 ” 的原因。 ...
个人分类: 解读哥德尔不完全性定理|1565 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏

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

GMT+8, 2024-3-29 15:52

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部