※ 引述《reader (读者)》之铭言： : ※ 引述《reader (读者)》之铭言： : : → slzhao:个人不认为电脑科学应等同於资讯科学,虽然中文常常混淆. 05/16 12:44 : : → slzhao:以资讯的观点来看,reader大大的意见我蛮赞同的. 05/16 12:48 : : → slzhao:但个人还是顷向将电脑科学视为是数学的分支. 05/16 12:49 : : → slzhao:以电脑发展史来看,电脑一开始只是为了计算而产生的. 05/16 12:58 : 我同意，这确实是一个问题，电脑科学始终由数学所主导，电脑也是作为计算 : 机器的角色而诞生的。 : 但是，如果电脑科学只是数学的分支，它凭什麽称为「科学」? : 以「科学」的立场来看，无论是采用哪一种科学哲学的说法，科学都必得是、 : 应该是或起码是一种对於人类所认知的世界的有效解释。 虽然是好几年前的讨论串了，但看到了也想加入讨论一下。 从哲学的角度来看，数学单纯的从人类理性思维的结构中所诞生出来，而具有先验特质 ，但它是可以『不实证』的。 虽然人们经常在自然界中找着了以往被以为『不实证』的数学给实证了的例子。 虽然许多数学家透过实证的研究得到了丰硕的数学成果。 但至少，戈德尔 (Kurt Gödel)就给了一个要数学家即使在自家的园子里都要谦虚一点 的数学解释，数学即使面对自己，还是可能连对错、真假都说不出口的。 至於科学，它始终的後验，他是实证的。虽然，如果你在没有实际知识的参与下 透过推演所做的大胆预测後来被证实了，你会很有名、你会伟大。 但它的对错始终交给自然界决定，人类只能做出预测，然後在有限的观测能力下以人类 自己可以接受的误差范围来『说明』对错。 对於Axiom， 数学家会说：这不能乱给，要非常小心。 科学家会说：这我不能给，这是数学家的工作。 所以，人类在Computing & Information 这样的领域里所得到的知识究竟是先验的？ 还是後验的呢？ 我个人认为是後验的，电脑&资讯科学 是科学而不是数学。 『真实可以是不合理的』，因为人的道理不过就只是人的道理而已。 即使人类自己知道人的观测能力有限制，而康德又告诉我们人的理性也有限制， 但是光凭这些，我们还是可以说明我们的模型对上自然界中存在的Computing & Information是对的亦或是错的，即使我们所观察的自然界甚至就是人类根据物理法则 所打造的东西自身。 作个思想实验： 如果外星人存在，而且跑来地球访问。 那我们在Computing & Information上所堆积的模型，也一样得要是能从我们的观察中 描述、预测他们的，否则，以我们的标准，就是我们的模型错了。 (话说回来，上面的实验不就有点先验了吗？果然维根斯坦说的对...这是游戏啊。) -- 我所信仰的科学是一种谦卑的理性，承认自身的无知与渺小才能观察到世界在我们贫 弱的知觉上留下来的痕迹。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 123.194.181.12