讨论:计算机科学

翻译

在台湾，学术上“computer”也是译做计算机吗？还是用“电脑”这俗称？ --Lorenzarius 2003年4月17日 13:26 (UTC)

似乎视乎地方而定。又，台湾是不是也叫“信息论”的？好像没有见过“资讯论”这东东。 -- 石添小草 08:56 2004年2月9日 (UTC)

繁体惯用(及正式)翻译为电脑, 如果说"计算机", 是指Calculator, "用来计算数学的机器".

Computer叫作电脑, 我想是因为"电脑"像"人脑"一样, 有逻辑运算的成分.

--Johna 15:21 2004年4月26日 (UTC)

不全对，在香港，学术界称computer为计算机，如大学课程有计算机科学、计算机工程，而不是叫电脑。一般大众则叫电脑，calculator则叫作计算机（即同名）或计数机。 --Lorenzarius 18:21 2004年8月24日 (UTC)

Computer Science has nothing to do with so called “电子工程”. He who linked them together didn't know CS at all. ---happyevolving 2004.4.13

翻译质量比较差. 建议多看看中国大百科全书. 我今天帮忙修改了一下计算机科学的首页(后面有些没来得及修改). 建议到国内的大学计算机系,大的计算机业者论坛等多宣传. 这个工程很浩大,要靠更多人的力量做好了对中国学者很有好处. 做不好,也确实丢人(看看日本人做的就不错). --hwei21

所言极是。可以联系CSDN，在他们的首页上做些宣传。孤雁 17:28 2004年5月17日 (UTC)

像这类文章大可参考其他语言版本自行编撰， 不必处处以英文版为基准。 英文版虽然整体质量较高， 但欠准确、欠完善的文段也是随处可见。 别的我拿不准， 单说计算机和数学方面的文章中， 能找出的错误和不恰当措辞我就能找到好几处。 全文翻译之风需改！ --孤雁 17:28 2004年5月17日 (UTC)

本文先前被人恶意删除开首的内容，烦请管理员代为复旧，将变更退回至上次 Aniu 站友的更改。谢谢! -- 石添小草 07:00 2003年12月19日 (UTC)

已经恢复，感谢您的提醒--Shizhao 07:09 2003年12月19日 (UTC)

不是管理员也可以恢复到以前的页面：Wikipedia:如何把页面恢复到早期版本。--Formulax 08:07 2003年12月19日 (UTC)

机器翻译

Shizhao，“并”字可同时对应“并”及“并”，但两者的词语很固定。所以我会建议写入这两个词语 进翻译机里，如“并且”、“一并”。又，“于”字也类似，如“于归”、“于是”。--石添小草 08:56 2004年2月9日 (UTC)

有争议的说法

Church-Turing Thesis 不是一个定理 而仅仅是一个猜想，因而不能说他表明什么。 第二自然段需要重新组织一下。 --孤雁 17:37 2004年5月17日 (UTC)

我的看法，这只是个命题，因为对于什么是可计算的这个概念没有办法用数学方法严格定义。这里的可计算只是对人类计算能力直觉的一种描述。这个命题现在被大多数人接受，是因为尚无反例－没有找到一种大家公认不是可计算的函数不能用图灵机所计算。另外其它人试图对可计算做的定义如lambda演算，递归函数和图灵机都被严格的证明是等价的。这说明图灵机模型很有道理。但church-turing命题无法被证明，也谈不上是个数学意义上的猜想。肉丝跑蛋 00:07 2004年9月24日 (UTC)

第二自然段说：“现有的各种计算设备在计算的能力上是等同的”。 此说不准却，很多计算设备逻辑上等同于有穷自动机， 不能与其他类图灵机等同。 --孤雁 17:37 2004年5月17日 (UTC)

“图灵机”主要用于概念层面上的分析， 在应用领域，极少有复杂的机器直接构筑在图灵机模型上。 因而不能说“它们(图灵机)是许多实际机器的模型” --孤雁 17:37 2004年5月17日 (UTC)

“并行计算机”(非量子)实际上就是“并行图灵机”， 仍然是图灵机的自然延伸， 把它说成是“其他种类的机器”不太妥当。 至少应当在括号中指出这种联系。 --孤雁 17:37 2004年5月17日 (UTC)

译名

“Oracle”有“先知”的译法。 “Random”有“随机源”的译法。 --孤雁 17:39 2004年5月17日 (UTC)

Oracle数据库系统的官方中文名称好像是“甲骨文”。 -- glio 13:41 2006年1月1日 (UTC)

我的一些意见

Oracle 翻译成“神谕”比较好，现在大部分教科书上都是如此翻译的。

另外，姚先生的主要贡献并非在“计算理论”方面，而是在“计算复杂性”和“伪随机数理论”方面。

对 Dijkstra 的名言的翻译我觉得不够准确，修改了一下，不过我对自己的翻译也不满意。谁能提出更好的翻译方法？

Church-Turing Thesis 的描述不准确。事实上，对于该命题比较恰当的叙述是：一切直觉上的可计算的概念，都等价于图灵机可计算的概念。或者换句话说，任何捕捉了直觉上可计算性的计算模型的计算能力都和图灵机等价。其实关于Church-Turing thesis 有很多误解，现在流行的这种叙述应该是 Church thesis 的一种扩展，Church 的原始表述其实是非常保守的。

Church 的原文是：Every effective computation can be carried out by a Turing machine. 这里的关键在于“effective computation” 到底是什么意思？

在文献[1]中，Church对“effective computation”的定义就是“lambda definable”：

define the notion ... of an effectively calculable function of positive integers by identifying it with the notion of a recursive function of positive integers (or of a lambda-definable function of positive integers). [1]

而Turing在[2]中则用Turing computable来解释“effective computation”：

LCMs [logical computing machines: Turing's expression for Turing machines] can do anything that could be described as "rule of thumb" or "purely mechanical" . ... This is sufficiently well established that it is now agreed amongst logicians that "calculable by means of an LCM" is the correct accurate rendering of such phrases. [2]

但是在Turing提出Turing Machine的论文[3]中，全文的第一句话是：

The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite means. [3]

第一段的最后一句话是：

According to my definition, a number is computable if its decimal can be written down by a machine. [3]

由此可见Turing认为computable就是可被一台机器计算（这里Turing并没有明确指出这台 机器必须是Turing Machine, TM在后文才提到）。

文章[3]的第一部分第四段的内容是：

In a recent paper Alonzo Church has introduced an idea of "effective calculability", which is equivalent to my "computability", but is very differently defined. Church also reachs similar conclusions about the Entscheidungsproblem. The proof of equivalence between "computability" and "effective calculability" is outlined in an appendix to the present paper. [3]

这说明Turing认为Church所说的"effective calculability"和他所定义的"computability" 是一回事。

[3]中还有更多的证据，但这里就不一一重复了。

总而言之，可以看出Turing对"computable"或"effective calculable"的定义主要有两种：

1. can be computable (by a man with pencil and paper) in finite means.
2. can be computable by a machine.

注意，这里Turing认为这两种说法是一回事，他大概认为任何机器能进行的计算都可以由 人通过有限的步骤来模拟执行，进而通过Turing Machine计算。

不过根据[4]中的解释，Turing喜欢把Turing Machine简称Machine，所以这个证据也并不 能说明Turing认为“一切机器可计算的都是Turing Machine可计算的”。

归根结底，我的结论是：Turing和Church根本没有给出"computable"或"effective calculable" 的精确定义。

在文献[4]中提到了Church-Turing Thesis的另外两种扩展：

Thesis M: Whatever can be calculated by a machine (working on finite data in a ccordance with a finite program of instructions) is Turing-machine-computable.

(Thesis M 在[5]中又被称为 Strong Church-Turing Thesis)

以及

Thesis S: Any process that can be given a mathematical description (or that is scientifically describable or scientifically explicable) can be simulated by a Turing machine.

按照[4]所言，Turing 和 Church 都没有明确地赞成或反对Thesis M和Thesis S，他们总 是采取比较保守和谨慎的态度，只谈论"effective calculable"的东西。

参考文献：

[1] Church, A. 1936，‘An Unsolvable Problem of Elementary Number Theory’. American Journal of Mathematics, 58, 345-363.

[2] Turing, A.M. 1969,‘Intelligent Machinery’. National Physical Laboratory Report. In Meltzer, B., Michie, D. (eds). Machine Intelligence 5. Edinburgh: Edinburgh University Press.

[3] Turing, A.M. 1936. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, 42 (1936-37), pp.230-265. Available online at http://www.abelard.org/turpap2/tp2-ie.asp.

[4] http://plato.stanford.edu/entries/church-turing/

[5] http://en.wikipedia.org/wiki/Church-Turing_thesis

── Starfish 13:46 2004年6月30日 (UTC)

---

移动自Wikipedia:条目质量提升计划/票选主题

计算机科学

支持

1. 孤雁
2. 用心阁
3. Lqs

评论

毕竟，一周七天泡在网上的，有不少都是搞计算机的。 3周的时间可以主要集中在一些最基础的理论和概念上。

结束移动 * 结束移动

---

希望能够同时完善category:计算机科学--百无一用是书生 (Talk) 03:35 2004年9月27日 (UTC)

条目体例

建议：1、加强指导性——计算机科学之下的学科很多，应该简述各下属学科的发展方向和最新重大进展，给阅读者一个整体概念；2、作为20世纪的重大发明，计算机科学的巨大影响应得到充分阐述

一些意见

• Turing-Church thesis我看到的译法比较好的叫图灵-屈辙论题；而且应该归于可计算性理论下。
• 数学基础应改为理论基础
• 布尔代数我总觉得不太好。实际上一个逻辑学系统通常会对应于一个代数系统，一阶逻辑对应于布尔代数，各种多值逻辑对应于更广泛的代数系统（如Post逻辑对应Post代数），而模态逻辑对应于共代数(coalgebra)系统。想不太清楚，我甚至觉得这些东西应该给数学组来解决。
• 离散数学中既然有了图论，干嘛还在外面写？起码要缩进一下吧？
• 代数结构数学上应该称为泛代数(Universal algebra)，这个也应该是数学组的东西。
• 数理逻辑我觉得是为了教学而起的名字，正常的叫法比如二值逻辑等。
• 应该有逻辑学条目，把数理逻辑，符号逻辑，描述逻辑等等等等统统包在里面，然后给数学或逻辑学组来管。
• 类型理论我不太清楚这里指的是什么。数学上的类型论是Russel等人为了解决数学基础的危机而发展的一套理论。如果这里是指这个，我觉得应该归于理论基础
• 人工智能是个太宽泛的领域，我甚至觉得它可以拿出来当一个大标题。
• 总觉得计算机方法学标题下的东西不在一个层面上；可以在理论基础里加入数据挖掘条目，然后将模式识别放到其下。而其它的什么什么识别，都应该是应用而不是理论了。
• 图像处理应该是计算机视觉的理论基础之一。两者不是并列的关系。
• 数值计算，计算机代数应该在计算机方法学或交叉学科标题下；而且两者应是并列而不是上下级关系。
• 计算化学，计算生物学等等，应单列出来作为交叉学科。

我总的改法如计算机科学主要研究领域。

一些意见

1. 应该加入计算机科学的起源
2. 电脑发展历史可以分为：军用时期、商用时期、家用时期
3. 运算发展历史可以分为：主机时期、C/S时期、3-tier时期、分散并行运算时期
4. 网络发展历史可以分为：军用时期、大学联网时期、家用时期、无线流动
5. 应用发展历史可以分为：军用、研究、家用、通信、教育、娱乐
6. 专业人员发展历史：由个人方式、家庭式迈进专业分工及认证制度

计算机科学 不同于 计算机技术！

• 相关但不同的领域，不能混同！ 科学强调的是严密性和理论性；而技术强调的是实践性。这个把技术重定向到科学完全没有道理。 JohnBull (留言) 2009年2月8日 (日) 03:55 (UTC)

--小为 16:21 2006年2月9日 (UTC)

parser这个词的翻译应该要统一

有的页面 像是LR剖析器是使用剖析器这种翻译

而对应英文en:parsing的页面语法分析器则是使用分析器这种翻译

应该要想办法统一起来比较好Flamerecca (留言) 2010年10月21日 (四) 23:01 (UTC)

扩充“第一个条目”！

这完全不科学，维基百科的“第一个条目”的内容这么贫乏？暗影之月（留言） 2013年5月7日 (二) 05:09 (UTC)

外部链接已修改

各位维基人：

我刚刚修改了计算机科学中的6个外部链接，请大家仔细检查我的编辑。如果您有疑问，或者需要让机器人忽略某个链接甚至整个页面，请访问这个简单的FAQ获取更多信息。我进行了以下修改：

• 向 http://www.scottlan.edu/Lriddle/women/ada-love.htm 中加入存档链接 https://web.archive.org/web/20060210172109/http://www.scottlan.edu/lriddle/women/ada-love.htm
• 修正 http://www.sciencemuseum.org.uk/on-line/babbage/index.asp 的格式与用法
• 向 http://www.cis.cornell.edu/Dean/Presentations/Slides/bgu.pdf 中加入存档链接 https://web.archive.org/web/20060911104502/http://www.cis.cornell.edu/Dean/Presentations/Slides/bgu.pdf
• 修正 http://www.csab.org/comp_sci_profession.html 的格式与用法
• 修正 http://www.idi.ntnu.no/emner/dif8916/denning.pdf 的格式与用法
• 向 http://www.claymath.org/millennium/P_vs_NP/ 中加入存档链接 http://www.webcitation.org/5Qj76uCbF?url=http://www.claymath.org/millennium/P_vs_NP/

有关机器人修正错误的详情请参阅FAQ。

祝编安。—InternetArchiveBot (报告软件缺陷) 2017年6月13日 (二) 14:45 (UTC)

一百万条目是已分配的/8 IPv4地址块列表，也大概跟计算机科学有些关系吧

庆祝一下。第一百万个条目是已分配的/8 IPv4地址块列表，和第一个条目，有些遥相呼应的感觉啊。—以上未签名的留言由Endermoongame（对话｜贡献）于2018年4月13日 (五) 15:37 (UTC)加入。