Re: [請問] 雙生子謬論

[ksmrt0123 (ksmrt)]

所謂『依據演算法執行』這件事,
其實沒有麼簡單,

你拿到一個演算法後,
實行的方法就是用程式語言實作出來,
但你怎知你的程式是否有確實反應演算法?

寫完程式要 compile 成執行檔...
你要如何確定執行檔的行為符合原程式的語意?
換個說法, 你100%確定 compiler/assemblier/linker/loader都沒有出錯?

再來, 程式是在OS提供的 virtual machine 上執行,
如何確保OS不會出錯?

還有, OS以及你的程式是在硬體上執行,
硬體設計本身也都100%正確不會出錯?

最後, 硬體製造多少會有點暇疵,
所以從原料到成品會有一道又一道的篩選過程來挑出不良品,
那些『篩選過程』到底能找出多少暇疵?
你又要要如何確定你的硬體不是漏網之魚?

以上說的幾點, 在產業界與學術界都是很重要的題目,
是真正的精髓!


※ 引述《henrypinge (Edward)》之銘言：
: ※ 引述《henrypinge (Edward)》之銘言：
: : 我也搞不懂相對論(即使期中考題目會寫...)  看了一系列的回應
: : 我也想問一些關於相對論的觀念  希望我沒有錯太多...
: : 我個人覺得 問題的關鍵是 "光速是恆定的"  然後  我們是用"光"計時
: : 因為宇宙裡面沒有絕對的"靜止"  所以  "等長的距離"會因為相對速度的關係
: : 光會用"不一樣的時間"走完  這樣就顯示出不同的座標系"時間不一樣"
: : 如果有錯  希望能糾正
: : =======================================================================
: : 題外話......  考試考完後  我跟教授說  考試卷上關於相對論的考題
: : 我寫得出來  但是...我真的不懂相對論  結果  教授居然跟我說  "很正常
: : 很多物理系的學生  是在讀物理系的四年中  慢慢搞懂許多物理觀念  都是先應付考試"
: : 我覺得  教授好像只是在安慰我.... ˊˋ
: 我一個念資工的朋友  聽我說"不懂相對論卻可以依照公式把答案寫出來"
: 他說"我已經抓到演算法的精隨了....."
: 電腦什麼都不懂----->依據演算法執行----->解決問題----->電腦還是甚麼都不懂
: 還真的蠻像的....  讀物裡讀到跟電腦一樣  只是在執行演算法
: 不知道是該狂笑  還是去面壁思過  = =

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 219.68.71.218
→ henrypinge:我朋友他沒有談到這麼多  他說只要演算法只要是正確的
→ henrypinge:其它的問題只是"人為問題"  並不影響這個演算法的正確
→ henrypinge:與否  如果讓一個人去執行演算法  只要把步驟寫夠仔細
→ henrypinge:理論上  只要照做  結果一定正確
→ cismjmgoshr:...為什麼我覺得這是在說軟體工程  Orz