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

博文

按标题搜索
热核战争:艾萨克-阿西莫夫的观点
2022-10-3 16:46
热核战争:艾萨克 - 阿西莫夫的观点 “ 让我们在一起 ” ( «Let’s Get Together» , 1957 )是美国作家艾萨克 - 阿西莫夫( Isaac Asimov , 1920 - 1992 )的一篇科幻短篇小说,被收录在《机器人大全》( 1982 年)中。这个故事中的机器人与阿西莫夫的标准非常不同, ...
个人分类: 智能哲学|673 次阅读|没有评论
“Inked(墨)” - Worakls和Wen Yu用这首曲子把我们带到很远,很远的地方
2022-10-3 00:42
知名电子音乐制作人 Worakls 和台湾才气作曲家 Wen Yu 联手创作了《 Inked 》(墨)这首曲子。这是真正的音乐探险,这首曲子完美地融合了两种文化,把我们带入了一个仙境。 在一首曲子中融合不同文化,不让其中一个占据所有空间并抹去另一个,往往是冒险的,但 Worakls 不怕这种冒险,他一直喜欢混合风 ...
个人分类: 在中法文化之间流连|623 次阅读|没有评论
用自然语言表述的自指陈述是否一定是“病态的” 吗?- 理查德悖论与哥德尔证明,Jean-Paul Bentz
2022-9-14 05:21
一,译文 我知道这样一个论点:用自然语言表述的自指陈述不一定是 “ 病态的 ” (比如说,与说谎者悖论的断言不同)。但我没有这种陈述的例子,我在这里具体说明了我对这种 陈述 不是 “ 病态 ” 的要求。 例如, “ 本句由 46 个字符组成 ”, 这一 自指 断言是真实的,每个空格都被算作一个字符, ...
个人分类: 解读哥德尔不完全性定理|554 次阅读|没有评论
致谢法国Montdidier医院的护理人员的现代舞演出
2022-8-17 20:59
我参加演出的法国亚眠 “ 头发飞扬 ” 舞团向医护人员致敬的现代舞巡回演出终于结束了!七场演出,在不同的场地,与医护人员,病人,古堡,蓝天,白云,草地融为一体;在历史,现在和未来中起舞,见证和表达第一波疫情大流行期间的个人与社会的创伤,成为我在法国生活的一算美好而难忘的历险记,。。。 ...
个人分类: 在中法文化之间流连|1928 次阅读|没有评论
“真理”与“可证明性” - Jean-Yves Girard
2022-8-17 15:37
对于解读哥德尔不完全性定理,理解 “ 真理 ” 与 “ 可证明性 ” 以及它们之间的关系是关键。 法国逻辑学家 Jean-Yves Girard 主持法语翻译哥德尔 1931 年的原文( Le théorème de Godel,Ernest Nagel, James R. Newman, Kurt Godel, Jean-Yves Girard ),在 “ 符号领域或还原论的失败 ” 一文 ...
个人分类: 解读哥德尔不完全性定理|491 次阅读|没有评论
师徒对话 - “算法的存在性”与“解的存在性”的层次 (2012/6/2)
热度 1 2022-7-27 02:35
师:这封信集中讲 “ 问题 ” (判断)、 “ 算法 ” 与(计算) “ 解 ” 这三个层次的两种不同关系,你已经基本理解清楚了,现在主要是如何具体的进行知识的表达:解释或阐释。 首先,这三个概念在 “ 外延 ” 即 “ 分类 ” 上,是要求严格区分的,这是作为 “ 知识 ” 的基本要求, ...
个人分类: 师徒对话|607 次阅读|1 个评论 热度 1
师徒对话 - “阐释学” (2015/4/19)
2022-7-27 02:32
徒:您那天说起汤一介先生倡导创建中国的 “ 阐释学 ” ,觉得此倡导很有意义! 伽达默尔的 “ 真理与方法 ” 与 “ 阐释学 ” 密切相关,可以看作是对笛卡儿 “ 方法论 ” 的发展: “ 真理与方法 ” 企图阐明在理性科学 ( 笛卡儿的方法 ) 之外,艺术、历史等社会学科,从另外一种途径 ...
个人分类: 师徒对话|440 次阅读|没有评论
论指称 - 罗素
2022-7-24 22:45
一,译文 论指称 - 罗素 我所说的 “ 指称短语( denoting phrase ) ” 是指以下任何一个短语:一个人,某个人,任何一个人,每一个人,所有的人,现在的英国国王,现在的法国国王,太阳系的质心在二十世纪的第一个瞬间,地球绕太阳的旋转,太阳绕地球的旋转。因此,一个短语完全是凭借其形式 ...
个人分类: 解读哥德尔不完全性定理|979 次阅读|没有评论

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

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

GMT+8, 2022-10-8 02:44

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部