→ cipherman:數學是可以證偽的 07/28 00:58
→ Arton0306:喔 也對 錯誤時可證明有錯 07/28 02:18
推 larbin:哥德爾定理:在某些情況下,不能證明命題的真與偽 07/28 06:58
→ cipherman:不可判定性的意思就是數學跟科學一樣，也是有適用範圍 07/28 12:13
→ cipherman:其實與其說對和錯，不如說"描述現象的精確程度" 07/28 12:14
※ 引述《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