Re: [問題] 為何叫電腦科學

看板CSSE (電腦科學及軟體工程)作者 (Ar藤)時間16年前 (2008/07/27 22:55), 編輯推噓1(104)
留言5則, 3人參與, 最新討論串2/6 (看更多)
※ 引述《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

07/28 00:58, , 1F
數學是可以證偽的
07/28 00:58, 1F

07/28 02:18, , 2F
喔 也對 錯誤時可證明有錯
07/28 02:18, 2F

07/28 06:58, , 3F
哥德爾定理:在某些情況下,不能證明命題的真與偽
07/28 06:58, 3F

07/28 12:13, , 4F
不可判定性的意思就是數學跟科學一樣,也是有適用範圍
07/28 12:13, 4F

07/28 12:14, , 5F
其實與其說對和錯,不如說"描述現象的精確程度"
07/28 12:14, 5F
文章代碼(AID): #18Z8nqj3 (CSSE)
文章代碼(AID): #18Z8nqj3 (CSSE)