電腦也搞不定 (Computers Ltd: What They Really Can't Do)

http://4rdp.blogspot.com/2011/11/computers-ltd-what-they-really-cant-do.html

電腦也搞不定 ─ 從數學看計算機科學的罩門 (Computers Ltd: What They Really Can't Do)，天下文化科學天地 39，哈雷爾 (David Harel)著，中研院數學所研究員 李國偉譯。

下列內容是本書重點：
電腦很神奇，它好像什麼都行。即便是最先進的電腦，基本上也只是一堆「位元」的開關所組成。電腦不是無所不能，它還差得遠！
有些工作無法電腦化，那些能電腦化的工作又可以做到甚麼程度？
你有沒有玩過很難的拼圖？要測出它們有多難解，我們毫無頭緒。
計算速度有其極限，因此迫使研究者分散發展方向，尋找其它良方。
密碼學就是利用難以破解的特性保護資料。
電腦可以控制非常精密的工業機器人，得以從汽車零件裝配出整輛汽車，再先進的電腦也無法整理亂七八糟的書桌。

書店書架上裝滿說電腦多好用、以及應如何善加利用的書，不過此書卻集中闡述電腦的弱點上，以目前科技水準，只要

能設計出程式，電腦就能解決相關的問題，而限制在於設計者是否能想出解題的方法嗎？雖然我寫了近三十年程式，累積相當多經驗，以人工智慧類型，是目前最難解的問題，其次為時序控制類別，有待大家一起努力。