科学网

 找回密码
  注册
Physics的词源
柳渝 2021-6-8 13:12
“physics (物理) ” 这个词的现代含义比原义窄。 “physics” ,源于希腊语 phusikê ,意思是对 “ 自然 ” 的认识。 “nature (自然) ” 来自拉丁文 natura ,本义 “ 出生 ” ,引申义 “ 事物的过程;自然的特性、结构、质量;宇宙 ” 。 从 15 世纪末开始, “phys ...
个人分类: 智能哲学|7482 次阅读|没有评论
谬误(fallacies)与亚里士多德的《辩谬篇》
柳渝 2021-3-21 21:33
一,什么是谬误?【 1 】 在逻辑中,“ 谬误 ” ( fallacies )指不正确但又具有逻辑有效性表象的论证。 一般可以区分两种谬论: - 诡辩( Sophism ):有意欺骗他人的推理; - 谬论( paralogism ):无意欺骗性的推理。 但文献中也常用诡辩统称谬误。 Sophism ...
个人分类: 在法国教逻辑课|7029 次阅读|没有评论
图灵与维特根斯坦关于矛盾和悖论的对话 - 第21讲(1939年)
柳渝 2020-8-31 12:01
维特根斯坦曾与波普尔对谈半个小时,就有人八卦了一本书;而维特根斯坦和图灵智力交锋了一学期,却很少有人评论,。。。 这是因为人们对 “ 思想 ” (在与 “ 内容 ” 本身的相对的意义上)比对(人的) “ 思想形式 ” (与 “ 内容 ” 的实体相对应)上更不容易看到事物的深层本质。 ...
个人分类: 不确定性问题和算法讨论|4381 次阅读|没有评论
师徒对话 - “问题”与NP、AI (2014/5)
柳渝 2020-8-10 00:31
徒: 关于 “ 问题 ” ,已经和您讨论过多次。 从字源看,中西文关于 “ 问题 ” 认知的最大差别是:于中文,提问题的 “ 人 ” 是显性的;而于西文,提问题的 “ 人 ” 是隐性的: - 西文: “problem” 指 “ 橫在起点与目标之间的障礙 ” - 中文: “ 问题 ” 指 ...
个人分类: 师徒对话|1766 次阅读|没有评论
Cook的文章“定理证明过程的复杂性”(部分译文)
柳渝 2020-8-3 14:40
P vs NP 问题的提出缘起于 “ 定理证明过程的复杂性( The Complexity of Theorem-Proving Procedures ) ” ( 1971 年)。分享此文的部分译文。 定理证明过程的复杂性 摘要 文章指出,不确定性图灵机在多项式时间内解决的任何识别问题都可以 “ 归约 ” 为判定给定命题公式是否为重言 ...
个人分类: 不确定性问题和算法讨论|2986 次阅读|没有评论
图灵文章《论可计算数及其在判定问题上的应用》的第5章译文
柳渝 2020-7-30 16:30
图灵在这章论述图灵机的编码,提示 图灵机枚举的层次性 。 5. 可计算序列的枚举 一个可计算序列 y 是由计算 y 的机器的描述所确定的。因此,序列 001011011101111… 是由第 234 页的表所确定的。事实上,任何可计算序列都可以通过这样的表来描述。 把这些表转换成一种标准形式是有用 ...
个人分类: 图灵论著专研与精译工作群|2438 次阅读|没有评论
师徒对话 - “问题”(2014/3)
柳渝 2020-7-21 12:34
徒: 对于 “ 问题 ” ,基于其重要性,我再做些追究: 1 ,西方哲学中的 “ 问题 ” 在法语维基网站( http://fr.wikipedia.org/wiki/Problème )的 “ 问题 ” 条目中,有段令人深思的话,我大致翻译如下: “ 在哲学上, “ 问题 ” ( problem )是关于事 ...
个人分类: 师徒对话|1836 次阅读|没有评论
图灵机的“非计算”思考 - 图灵机与人工智能的关系(奇点O论坛,2020/6/6)
柳渝 2020-6-8 14:20
目录 一,解读王培老师的文章:计算机不是只会 “ 计算 ” ,图灵机也不是一台 “ 机器 ” 二,计算机理论基本概念的溯源 三,给王培老师的提问 一,解读王培老师的文章:计算机不是只会 “ 计算 ” ,图灵机也不是一台 “ 机器 ” 作者开篇说,在讨论人工智 ...
个人分类: 图灵论著专研与精译工作群|3367 次阅读|没有评论
图灵文章《论可计算数及其在判定问题上的应用》的第1,2章译文
柳渝 2020-5-8 22:56
一,图灵文章《论可计算数及其在判定问题上的应用》的第 1 , 2 章译文 “ 可计算数 ” 简单被描述成实数,表达成用有限的手段计算的十进制数。虽然本文的主题表面上讲可计算数,然而几乎可以同样容易定义和研究变量为整数或实数或可计算变量的可计算函数,可计算谓词等。在每种情况下,基本的问题是一 ...
个人分类: 图灵论著专研与精译工作群|6189 次阅读|没有评论
Alan Cobham,计算复杂性理论奠基者之一
柳渝 2020-4-26 15:12
Alan Cobham ( 1927 - 2011 )是最早提出 “ 多项式时间复杂度问题类 P” 的学者之一 ,他 1965 年的文章 “The Intrinsic Computational Difficulty of Functions(函数计算的内在难度 )” 被认为是计算复杂性理论的重要论文之一,被 Cook 在其 1971 年的著名论文 “The complexity of theor ...
个人分类: 不确定性问题和算法讨论|2107 次阅读|没有评论

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

GMT+8, 2024-4-27 03:39

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部