科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
使用谷歌中译英新版翻译博文“矛盾与悖论”
热度 1 柳渝 2016-10-4 14:34
谷歌于9月27日推出了基于机器学习的中译英新版( translate.google.cn ),较之旧版的翻译质量有了数量级的提高。工具为人所用,是文明的阶梯! 我以博文“矛盾与悖论( http://blog.sciencenet.cn/home.php?mod=spaceuid=2322490do=blogid=1005079 )”为例,先使用谷歌翻译器译出了原文,然后在此基础上进行修 ...
个人分类: 不确定性问题和算法讨论|2707 次阅读|1 个评论 热度 1
矛盾与悖论
热度 1 柳渝 2016-9-26 03:37
法国朋友Richard很早就问我韩非子的“矛盾的故事”,照理说解释这个家喻户晓的故事并不困难,可是直到最近我才答完( http://coeur-et-esprit.blogspot.fr/2016/08/lhistoire-lance-bouclier-la.html )。 原因是,我发现在外文资料中不加区别地把“矛盾”译成“contradiction”或“paradox”,比如法语维基上如是说( ht ...
个人分类: 不确定性问题和算法讨论|4978 次阅读|2 个评论 热度 1
点评《紐約客》科普“P versus NP”-流行的NP定义
柳渝 2016-8-11 12:00
- 科学的每一部门都是对于整个自然界的一种描述,而这种描述通常都是近似性的。事实上,每件我们所知道的事都不外是对真理的一种近似叙述……我们现在学习的态度 ...
个人分类: 不确定性问题和算法讨论|3181 次阅读|没有评论
辨析“circle-free”与“halting” - 定性分析与定量分析
热度 2 柳渝 2016-8-7 12:44
在图灵1936年的论文中,我们看到了图灵并没有提出所谓的“停机”这个概念,而是一个至今仍然被人们忽视和误解的“circle-free”。这里,我们从认知的角度来进一步辨析“circle-free”与“停机”。 一般而言,认知事物有“定性、定量”之分,我们先追究一下“性、量”的汉字字源(汉字基因): 性者,心生,人認 ...
个人分类: 不确定性问题和算法讨论|2946 次阅读|11 个评论 热度 2
关于“概念”的对话(2)
柳渝 2016-8-5 22:56
“概念”的认知是我们的“不确定性问题理论(NP理论)”的基本出发点之一。这里继续分享与网友wangbin6087关于“概念”的对话: wangbin6087: 概念的相对性是不言而喻的。它是对存在的定义性描述。不同的的层次和角度,就会有不同的表述。但从概念中,我们可以感受到表述者的境界。一切的争论都是出于对某一概念的执着。 ...
个人分类: 不确定性问题和算法讨论|2049 次阅读|没有评论
介绍一个求解SAT问题的程序SatZ(2)-k-SAT实例生成器
热度 1 柳渝 2016-8-2 20:21
SatZ( http://blog.sciencenet.cn/blog-2322490-991076.html )的作者提供了一个k-SAT实例生成器程序:gencnf+.c,为对SAT问题感兴趣的网友提供一个比较自己和他人工作的工具。 1. To compile under Linux or Unix : gcc gencnf+.c -O3 -o gencnf+ 2. To generate a set of (s2-s1+1) different k-sat instances of n ...
个人分类: 不确定性问题和算法讨论|2430 次阅读|1 个评论 热度 1
介绍一个求解SAT问题的程序SatZ(1)
柳渝 2016-7-17 00:30
众所周知SAT问题(SAtisfiability Problem)是逻辑学的一个基本问题,也是算法理论的一个核心问题,众多学者已经为此做出了大量的工作,开发出许多算法程序,称“SAT求解器(SAT solver)”( https://en.wikipedia.org/wiki/Category:SAT_solvers ),这里介绍其中的一个完备算法的程序-SatZ,供感兴趣的网友运行测试实 ...
个人分类: 不确定性问题和算法讨论|6791 次阅读|没有评论
​“Polynomial Time”术语探源——介绍“Cobham论题
柳渝 2016-7-13 20:31
Alan Cobham(1927-2011)在1965年的文章“The Intrinsic Computational Difficulty of Functions”中最早提出“多项式时间复杂度问题类P”,Cook在其1971年的著名论文“The complexity of theorem proving procedures”中引用,被认为是计算复杂性理论的重要论文之一,由此有所谓的“Cobham论题”( https://en.wikipedi ...
个人分类: 不确定性问题和算法讨论|2519 次阅读|没有评论
CiE2016(Computability in Europe,可计算性在欧洲)(3)
热度 1 柳渝 2016-7-3 10:44
CiE(Computability in Europe)是目前关于可计算性理论研究规模最大的国际会议,由于其理论与实践、数学与计算机的跨学科性质,让会议别具风格,简介几点: 一,CiE的前瞻性 会议开始,给参会者发的资料中就已经有了CiE2017在芬兰的Turku举行的广告!而在我参加的别的国际会议中,一般是在本届会议期间产生下一届会议的 ...
个人分类: 不确定性问题和算法讨论|2186 次阅读|1 个评论 热度 1

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

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

GMT+8, 2021-12-2 16:04

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部