科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
图灵机的“非计算”思考 - 图灵机与人工智能的关系(奇点O论坛,2020/6/6)
柳渝 2020-6-8 14:20
目录 一,解读王培老师的文章:计算机不是只会 “ 计算 ” ,图灵机也不是一台 “ 机器 ” 二,计算机理论基本概念的溯源 三,给王培老师的提问 一,解读王培老师的文章:计算机不是只会 “ 计算 ” ,图灵机也不是一台 “ 机器 ” 作者开篇说,在讨论人工智 ...
个人分类: 图灵论著专研与精译工作群|2163 次阅读|没有评论
图灵文章《论可计算数及其在判定问题上的应用》的第1,2章译文
柳渝 2020-5-8 22:56
一,图灵文章《论可计算数及其在判定问题上的应用》的第 1 , 2 章译文 “ 可计算数 ” 简单被描述成实数,表达成用有限的手段计算的十进制数。虽然本文的主题表面上讲可计算数,然而几乎可以同样容易定义和研究变量为整数或实数或可计算变量的可计算函数,可计算谓词等。在每种情况下,基本的问题是一 ...
个人分类: 图灵论著专研与精译工作群|3054 次阅读|没有评论
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 ...
个人分类: 不确定性问题和算法讨论|1327 次阅读|没有评论
NP是可判定的吗?- 集合与判断
热度 1 柳渝 2020-2-29 12:34
目录 一,NP的形式化定义 二,集合与判断 三,人的判断 四,算法的判断 五,分析 NP 形式定义 六,质疑 NP NP 的形式定义是用集合表达的,为了进一步理解 NP ,让我们回到对 “ 集合 ” 这个基本概念的理解上。 一,NP的形式化定义 NP 存在二个被认为等价的 ...
个人分类: 不确定性问题和算法讨论|3974 次阅读|5 个评论 热度 1
图灵文章《论可计算数及其在判定问题上的应用》的第8章译文
柳渝 2020-2-18 16:12
图灵 1936 年的论文《论 可计算数 及其在判定问题上的应用》( On Computable Numbers, with an Application to the Entscheidungsproblem )奠定了现代计算机理论基础。 此论文的动机是想解决德国数学家大卫 · 希尔伯特( 1862—1943 )构想的一个问题:希尔伯特想寻找一种通用的方法来判定数理逻辑 ...
个人分类: 图灵论著专研与精译工作群|3800 次阅读|没有评论
库克“定理”还是库克“定义”(NP)?
热度 1 柳渝 2020-1-29 22:19
确实,我们写在这里是一种 “ 观察 ” ,但却是一个认识:为什么复杂性理论与对 NP 的知识之间存在巨大差别? — 一个理论的专业性不应该是人们认知错误的来源。 我们探讨了库克的论文 “ 理论证明过程中的复杂性 ” ( The Complexity of Theorem-Proving Procedures ),论文摘要中宣称:论 ...
个人分类: 不确定性问题和算法讨论|2018 次阅读|1 个评论 热度 1
关于“整体大于部分之和”的讨论
热度 2 柳渝 2019-12-15 13:02
Jean-Paul Delahaye 是法国里尔( Lille) 大学计算机系的教授,也是法国《 科学月刊》杂志的 “ 逻辑和计算 ” 栏目的编辑。《科学月刊》是法国著名的科普期刊,成立于 1977 年,与《科学美国人》月刊相当。 在《科学月刊》上, Jean-Paul Delahaye 发表了一篇题为 “ 整体大于部分之和 ” ...
个人分类: 不确定性问题和算法讨论|4130 次阅读|3 个评论 热度 2
NP与“不确定性原理“
热度 2 柳渝 2019-9-7 18:46
本博客名称为 “ 不确定性的困惑与 NP 理论 ” ,前期一直致力于介绍我们基于 Entscheidungsproblem 理论定义的“ NP ( Nondeterministic Problem )”与基于流行的 NDTM 定义的“NP( Nondeterministic Polynomial-Time, 不确定性多项式时间 )”的本质研究,提供了对 “P vs NP” 问题全新的视角 ...
个人分类: 不确定性问题和算法讨论|5047 次阅读|2 个评论 热度 2
参会第二十一届国际中国哲学会议ISCP
柳渝 2019-7-8 14:15
在瑞士伯尔尼( Bern, Swiss )举行的第二十一届国际中国哲学会议 ISCP ( 2019 年 7 月 2-5 日)结束了,西方、大陆、台湾和香港 200 多位研究 “ 中国哲学 ” 的学者汇聚一堂,围绕着大会的议题 “ 实在,论证,说服:中国哲学中的形上探讨与知识论的参与 ” 展开了丰富的交流和讨论。会议录取了 ...
个人分类: 非经典逻辑与中国传统逻辑|1870 次阅读|没有评论
“轴心时代” - 西方与中国
热度 1 柳渝 2018-12-17 16:58
新年开学要给儒尔-凡尔纳大学(Université de Picardie Jules Verne)计算机系和数学系大一的学生上逻辑课,第一节课打算给学生讲点逻辑发展历史,我准备从拉斐尔的一幅画讲起,并对比几乎是同一时期的诸子百家,而这一时期正处在所谓的“轴心时代(Axial Age)”。 “轴心时代”是德国哲学家卡尔·雅斯贝斯( Karl Jasp ...
个人分类: 在法国教逻辑课|3011 次阅读|4 个评论 热度 1

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

GMT+8, 2022-6-28 08:57

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部