科学网—liuyu2205的博文 - 第19页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › liuyu2205的博文

liuyu2205

https://wap.sciencenet.cn/?2322490

在中法文化之间流连| 不确定性问题和算法讨论| 智能哲学| NP理论| 非经典逻辑与中国传统逻辑| 英语博文| 图灵论著专研与精译工作群| AI伦理与社会群| 周剑铭论中国思想与中西文化系列文章| 在法国教逻辑课| 教学中的文化视角| 师徒对话| Paul Jorion的书译文| 解读哥德尔不完全性定理| 波普尔的《科学发现的逻辑》| 《易经》学习| 系统思维|

图灵文章《论可计算数及其在判定问题上的应用》的第5章译文: 柳渝 2020-7-30 16:30; 图灵在这章论述图灵机的编码，提示图灵机枚举的层次性。 5. 可计算序列的枚举一个可计算序列 y 是由计算 y 的机器的描述所确定的。因此，序列 001011011101111… 是由第 234 页的表所确定的。事实上，任何可计算序列都可以通过这样的表来描述。把这些表转换成一种标准形式是有用 ...; 个人分类: 图灵论著专研与精译工作群|2873 次阅读|没有评论

师徒对话 - “问题”（2014/3）: 柳渝 2020-7-21 12:34; 徒：对于 “ 问题 ” ，基于其重要性，我再做些追究： 1 ，西方哲学中的 “ 问题 ” 在法语维基网站（ http://fr.wikipedia.org/wiki/Problème ）的 “ 问题 ” 条目中，有段令人深思的话，我大致翻译如下： “ 在哲学上， “ 问题 ” （ problem ）是关于事 ...; 个人分类: 师徒对话|2053 次阅读|没有评论

图灵机的“非计算”思考 - 图灵机与人工智能的关系（奇点O论坛，2020/6/6）: 柳渝 2020-6-8 14:20; 目录一，解读王培老师的文章：计算机不是只会 “ 计算 ” ，图灵机也不是一台 “ 机器 ” 二，计算机理论基本概念的溯源三，给王培老师的提问一，解读王培老师的文章：计算机不是只会 “ 计算 ” ，图灵机也不是一台 “ 机器 ” 作者开篇说，在讨论人工智 ...; 个人分类: 图灵论著专研与精译工作群|3762 次阅读|没有评论

图灵文章《论可计算数及其在判定问题上的应用》的第1，2章译文: 柳渝 2020-5-8 22:56; 一，图灵文章《论可计算数及其在判定问题上的应用》的第 1 ， 2 章译文 “ 可计算数 ” 简单被描述成实数，表达成用有限的手段计算的十进制数。虽然本文的主题表面上讲可计算数，然而几乎可以同样容易定义和研究变量为整数或实数或可计算变量的可计算函数，可计算谓词等。在每种情况下，基本的问题是一 ...; 个人分类: 图灵论著专研与精译工作群|7038 次阅读|没有评论

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 ...; 个人分类: 不确定性问题和算法讨论|2428 次阅读|没有评论

NP是可判定的吗？- 集合与判断: 热度 1 柳渝 2020-2-29 12:34; 目录一，NP的形式化定义二，集合与判断三，人的判断四，算法的判断五，分析 NP 形式定义六，质疑 NP NP 的形式定义是用集合表达的，为了进一步理解 NP ，让我们回到对 “ 集合 ” 这个基本概念的理解上。一，NP的形式化定义 NP 存在二个被认为等价的 ...; 个人分类: 不确定性问题和算法讨论|5699 次阅读|5 个评论热度 1

图灵文章《论可计算数及其在判定问题上的应用》的第8章译文: 柳渝 2020-2-18 16:12; 图灵 1936 年的论文《论可计算数及其在判定问题上的应用》（ On Computable Numbers, with an Application to the Entscheidungsproblem ）奠定了现代计算机理论基础。此论文的动机是想解决德国数学家大卫 · 希尔伯特（ 1862—1943 ）构想的一个问题：希尔伯特想寻找一种通用的方法来判定数理逻辑 ...; 个人分类: 图灵论著专研与精译工作群|7561 次阅读|没有评论

库克“定理”还是库克“定义”（NP）？: 热度 1 柳渝 2020-1-29 22:19; 确实，我们写在这里是一种 “ 观察 ” ，但却是一个认识：为什么复杂性理论与对 NP 的知识之间存在巨大差别？ — 一个理论的专业性不应该是人们认知错误的来源。我们探讨了库克的论文 “ 理论证明过程中的复杂性 ” （ The Complexity of Theorem-Proving Procedures ），论文摘要中宣称：论 ...; 个人分类: 不确定性问题和算法讨论|3041 次阅读|1 个评论热度 1

关于“整体大于部分之和”的讨论: 热度 2 柳渝 2019-12-15 13:02; Jean-Paul Delahaye 是法国里尔（ Lille）大学计算机系的教授，也是法国《科学月刊》杂志的 “ 逻辑和计算 ” 栏目的编辑。《科学月刊》是法国著名的科普期刊，成立于 1977 年，与《科学美国人》月刊相当。在《科学月刊》上， Jean-Paul Delahaye 发表了一篇题为 “ 整体大于部分之和 ” ...; 个人分类: 不确定性问题和算法讨论|7263 次阅读|3 个评论热度 2

NP与“不确定性原理“: 热度 2 柳渝 2019-9-7 18:46; 本博客名称为 “ 不确定性的困惑与 NP 理论 ” ，前期一直致力于介绍我们基于 Entscheidungsproblem 理论定义的“ NP （ Nondeterministic Problem ）”与基于流行的 NDTM 定义的“NP（ Nondeterministic Polynomial-Time，不确定性多项式时间）”的本质研究，提供了对 “P vs NP” 问题全新的视角 ...; 个人分类: 不确定性问题和算法讨论|6633 次阅读|2 个评论热度 2

1 ... 15 16 17 181920 21 22 23 ... 30 下一页

会议

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

GMT+8, 2024-9-20 18:12

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部