※ 引述《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