作者Arton0306 (Ar藤)
看板CSSE
标题Re: [问题] 为何叫电脑科学
时间Sun Jul 27 22:55:47 2008
※ 引述《Arton0306 (Ar藤)》之铭言:
: 标题: [问题] 为何叫电脑科学
: 时间: Sun Jul 27 03:09:48 2008
:
: 念CS几年下来
: 突然不知CS中的S science的部份在哪里
: 像理论方面 algo computation theory graphy theory... 这些都是数学
: 其它os archi compiler 这比较像工程、设计方面的
: 至於偏电机的科目就更不用说了
:
: 像物理、化学、生物
: 都有一些理论 这些理论是从实验而验证的 往後也可能一直修正
: 这也是以往所学的科学方法
:
: 但目前我在cs学到的好像很少有这样
: 比较像的大概是data mining 猜一些特徵 经实验 再去想这些特徵的关连性...等
: 但这似乎更接近统计学
:
: 所以想请教这个science指的是哪部份??
:
: --
:
※ 发信站: 批踢踢实业坊(ptt.cc)
: ◆ From: 123.195.50.65
: 推 eric20000:数学也算科学吧 07/27
: 推 lovemage:你文中所提的都是 07/27
: 推 netsphere:数学原来不算科学阿 07/27
: → Arton0306:我不知该怎样定义科学 不过科学是建立在数学之上的 07/27
抱歉啊 没有定义好
用wiki的其中一段来讨论吧
对於科学的核心特徵或者说所谓科学精神,随着人类的进步,有不同的观点,目前一般认
为科学具有如下特徵:
理性客观:从事科学研究一般不以「神」、「鬼」、「上帝」为前提(一些科学家信仰宗
教,但是科学本身是理性思维的结果),一切以客观事实为基础。
可证伪:这是来自卡尔·波普尔的观点,人类其实无法知道一门学问里的理论是否一定正
确,但若这门学问有部份有错误时,人们可以严谨明确的证明这部分的错误的确是错的,
那这门学问就算是合乎科学的学问。
存在一个适用范围:也就是说不存在一个放之四海皆准的绝对真理。
普遍必然性:科学理论来自於实践,也必须回到实践,它必须能够解释其适用范围内的已
知的所有事实。
之所以取这样的定义是因为 物理、化学、生物中的科学方法符合上方的定义
但是数学无可证伪,数学从公设(或定义)+逻辑建构而成 我们可确定一定正确
数学是绝对抽像的 放诸四海皆准
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.135.138.142
1F:→ cipherman:数学是可以证伪的 07/28 00:58
2F:→ Arton0306:喔 也对 错误时可证明有错 07/28 02:18
3F:推 larbin:哥德尔定理:在某些情况下,不能证明命题的真与伪 07/28 06:58
4F:→ cipherman:不可判定性的意思就是数学跟科学一样,也是有适用范围 07/28 12:13
5F:→ cipherman:其实与其说对和错,不如说"描述现象的精确程度" 07/28 12:14