使用谷歌中译英新版翻译博文“矛盾与悖论”

热度 1 柳渝 2016-10-4 14:34

谷歌于9月27日推出了基于机器学习的中译英新版（ translate.google.cn ），较之旧版的翻译质量有了数量级的提高。工具为人所用，是文明的阶梯！ 我以博文“矛盾与悖论（ http://blog.sciencenet.cn/home.php?mod=spaceuid=2322490do=blogid=1005079 ）”为例，先使用谷歌翻译器译出了原文，然后在此基础上进行修 ...

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

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

点评《紐約客》科普“P versus NP”－流行的NP定义

柳渝 2016-8-11 12:00

－ 科学的每一部门都是对于整个自然界的一种描述，而这种描述通常都是近似性的。事实上，每件我们所知道的事都不外是对真理的一种近似叙述……我们现在学习的态度 ...

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

辨析“circle－free”与“halting” － 定性分析与定量分析

热度 2 柳渝 2016-8-7 12:44

在图灵1936年的论文中，我们看到了图灵并没有提出所谓的“停机”这个概念，而是一个至今仍然被人们忽视和误解的“circle－free”。这里，我们从认知的角度来进一步辨析“circle－free”与“停机”。 一般而言，认知事物有“定性、定量”之分，我们先追究一下“性、量”的汉字字源（汉字基因）： 性者，心生，人認 ...

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

关于“概念”的对话（2）

柳渝 2016-8-5 22:56

“概念”的认知是我们的“不确定性问题理论（NP理论）”的基本出发点之一。这里继续分享与网友wangbin6087关于“概念”的对话： wangbin6087: 概念的相对性是不言而喻的。它是对存在的定义性描述。不同的的层次和角度，就会有不同的表述。但从概念中，我们可以感受到表述者的境界。一切的争论都是出于对某一概念的执着。 ...

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

介绍一个求解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 ...

个人分类: 不确定性问题和算法讨论|3255 次阅读|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，供感兴趣的网友运行测试实 ...

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

​“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 ...

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

CiE2016（Computability in Europe，可计算性在欧洲）（3）

热度 1 柳渝 2016-7-3 10:44

CiE（Computability in Europe）是目前关于可计算性理论研究规模最大的国际会议，由于其理论与实践、数学与计算机的跨学科性质，让会议别具风格，简介几点： 一，CiE的前瞻性 会议开始，给参会者发的资料中就已经有了CiE2017在芬兰的Turku举行的广告！而在我参加的别的国际会议中，一般是在本届会议期间产生下一届会议的 ...

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

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