自动计算机器的逻辑本质

fats 评论 逻辑的引擎 5 2006-08-23 17:05:40
草叶
草叶 2007-03-24 23:10:44

说的很有道理,只是现在大家都把计算机专业看作是工科,而不是理学

Casanova
Casanova (妞,听说你要独立?) 2007-11-01 03:06:45

国内普遍没有把计算机工程学与计算机科学作学科意义上严格的区分。但是计算科学本身作为理学院的一支(或是数学系的一个分支)应该是没有异议的。“计算机科学家”是一个多么闪耀的名词。

浮生若年
浮生若年 2008-08-30 11:41:25

非常好的书。学计算机2年了,学校始终都在强调方法而不是思想,这或许也是和北美计算机发达区的差距所在吧。

lushrene
lushrene 2008-10-03 13:12:42

大学本科的计算机专业课介绍计算机学科的历史或者始于ENIAC,即计算机技术史;或者始于中国的算盘之流,即计算的历史。即便在计算机更偏理科的北大亦是如此。有大拿从逻辑的角度阐述这段全新的历史,受益匪浅。书中有很多能让人有深切体会的言论,尤其是最后两章,也许因为这也是距离我们最近最熟悉的部分吧。

洛奇
洛奇 2008-11-29 23:16:04

书的翻译很好,译者是专门研究科技史的。译后记中提到的科大的汪芳廷教授是数理逻辑的专家。

Roland
Roland 2009-03-18 21:30:13

美国的大学一般分为 CS 和 CE,CE 是 computer engineering, 偏重工科,CS 还是算理科的。

冬烘
冬烘 (百年身病兼心病) 2009-12-07 15:11:56

以前看汪芳廷先生为科大编的“数理逻辑”教材,与一般的教材讲法迥异,很有意思

西风凋碧树
西风凋碧树 (世界上最弯的直男) 2012-02-09 19:55:40

图灵对美国人的评价还是挺准确的,当今美国科学研究还是实用至上,欧洲则更重理论

欺获缴益猿
欺获缴益猿 2013-05-10 15:36:55

@冬烘 多谢推荐 对了 是 汪芳庭

fats
fats (小樓一夜聽春雨) 2018-05-03 21:31:32

turning曾经刻薄的评论说,“美国人总是靠器件,而不是靠思想解决问题”。我想,为什么CS世界的最高荣耀是Turing award而不是其它,其中大有道理。 by 原版书第189页中文新版203页,第8章。太多人问不一一作答了

Quizzically
Quizzically (天知道我们会发现什么样的大秘密) 2018-12-07 08:09:27
说的很有道理,只是现在大家都把计算机专业看作是工科,而不是理学 说的很有道理,只是现在大家都把计算机专业看作是工科,而不是理学 草叶

这个争论在冯诺依曼他们建造计算机的时候就有过争执