中国思想和亚理士多德哲学——互补的中西文化之三

柳渝 2018-12-19 23:41

中国思想和亚理士多德哲学——互补的中西文化之三 周剑铭 摘要： 客观性和逻辑性是亚理士多德的形而上学的灵魂，他的关于形式的思想在哲学、科学、逻辑、数理之间具有一种超越性关联，这使他的实体理论与他的逻辑学取得了一致，从而实现了哲学和科学的统一而成为西方哲学的亚理士多德传统。他把对事物终极原因追求表达 ...

个人分类: 周剑铭论中国思想与中西文化系列文章|2814 次阅读|没有评论

英语博文：NDTM的两个来源初析－NDTM的歧义性

柳渝 2017-11-25 14:43

在计算复杂性理论中，NP的形式化定义是：“NP是NDTM（NonDeterministic Turing Machine）多项式时间可接受的语言”，即“NP是NDTM多项式时间可判定解的存在的问题”。 这里我们追本溯源NP概念形成的历史，揭示NDTM指称两个本质完全不同的概念，初析NDTM的歧义性。 一，Cook定理中的NDTM NDTM用于定义NP最初出现在Cook那 ...

个人分类: 不确定性问题和算法讨论|4320 次阅读|没有评论

智能哲学：人、机关系与中国传统逻辑思想

热度 2 柳渝 2017-5-16 22:14

“爱思想”刊出我们这篇文章（ http://www.aisixiang.com/data/104321.html ），这里还需要说明，我们从来没有轻视形式化的方法，而且正是对形式化道路的精深解读，才能使我们真正理解中国文化，同时为形式化的道路提供走出困境和危机的建设性方向。 ＊＊＊＊＊＊ 智能哲学：人、机关系与中国传统逻辑思想 周剑铭 柳渝 ...

个人分类: 智能哲学|4801 次阅读|5 个评论 热度 2

逆源图灵的思想看人机关系－解读图灵论文“智能机器，一种异端理论”

柳渝 2017-5-1 21:13

图灵的所有工作都是建立在 “ 实时性 ” （ the actual time ）基础上的，这是一种天才的直觉，这个基础构成了他全部工作内在的逻辑一致性，从 “ 图灵机 ” 对希尔伯特问题的 “ 拒绝 ” 式回答到 “ 模仿游戏 ” 的开放式模型，其思想的一致性是图灵最深刻的秘密。 “ 图灵机 ” 毫无怀疑地成为 ...

个人分类: 图灵论著专研与精译工作群|5083 次阅读|没有评论

Interpretation of NDTM in the definition of NP

热度 1 柳渝 2016-12-17 15:24

我们的NP理论工作首重解读NP的二个流行定义及二个定义的关系，这篇英语文章是此工作的总结和深化。 文章追本溯源分析用于定义NP的NDTM（不确定性图灵机），揭示NDTM指称二个完全不同的概念：一个是Oracle（神喻机），另一个是Turing Machine（图灵机）。由于同一术语NDTM指称两个内涵完全不同的概念，故发生了“概念偷换 ...

个人分类: NP理论|3210 次阅读|3 个评论 热度 1

智能哲学：计算机是人工智能吗？－从“图灵机”到“图灵检验”

热度 6 柳渝 2016-6-19 11:32

周剑铭 柳渝 蒸汽机被看作近代社会开始的标志，或许也可以把计算机看作当代社会开始的标志。计算机正在成为一件视而不见的事物，比如我们不会把手机当作计算机，但它确实也是计算机，或许有人会说，手机是通讯工具，但就会有人给你解释，“网络交换机”就是相互联接的计算机，手机不过是一个终端。当手机升级为智能手机后 ...

个人分类: 智能哲学|8210 次阅读|15 个评论 热度 6

什么是Cook's Theorem？

热度 1 柳渝 2015-1-11 23:03

It is in the admission of ignorance and the admission of uncertainty that there is a hope for the continuous motion of human beings in some direction that doesn't get confined, permanently blocked, as it has so many times before in various periods in the history of man. - Richard P. Feynman (19 ...

个人分类: 不确定性问题和算法讨论|3362 次阅读|2 个评论 热度 1

NP是可计算的吗？－ 常量与变量关系中的认知层次问题

热度 3 柳渝 2015-1-9 14:14

网友姜咏江的博文“美国克雷数学研究所会不会颁奖？ http://blog.sciencenet.cn/home.php?mod=spaceuid=340399do=blogid=849311 ”，通过辨析常量与变量不同，说明NP问题定义的流行观念中可能存在着的悖论。 此文涉及到二个常见的算法问题： 1，搜索问题（ http://zh.wikipedia.org/zh/計算複雜性理論 ）：任给 ...

个人分类: 不确定性问题和算法讨论|3425 次阅读|6 个评论 热度 3

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