人腦與電腦到底誰最厲害，一直是資訊科學發展以來最為弔詭的問題，許多資訊科學家日以繼夜地埋頭於系統程式的發展，而相對的，另外一群數學家們，也承繼著許多典範理論，發展出一個更加精準與理性的世界觀。若以數學的眼光來看待電腦，說穿了，不過只是0與1的運算罷了，由這樣所構築出來的虛擬世界中，衍生出複雜巧妙的變化。

       還記得有一部電影，描述一位患有精神官能症的數學家，整日封閉在浩瀚的古籍中，最後終於克服了身體的障礙，發展出一套卓越的數學理論，並且被廣泛地應用在許多領域中。看似艱深無用的數學理論，沒想到卻影響著我們的日常生活，並與之相關連。有趣的是，現在有一本書籍，專門引進了各方面的數學命題，讓人們知道，電腦並非無所不能，一些相關的數學命題，電腦也有束手無策的時候。

       學程式設計的人，不管所學為何種程式語言，都會接觸到演算法這樣的課題，而這也是許多初學者最為頭疼的地方。透過一步步的數理邏輯推演，讓程式設計師們可以更加精準地掌握程式的精髓，著名的「河內塔」原理，就是每位程式設計師都會碰觸到的課題。也因為如此，本書舉了許多有趣的例子，從數學的眼光來看待電腦處理問題的能力，當然，為數頗多的相關命題，是電腦所無法計算出來的。

        電腦雖非萬能，然而隨著CPU計算能力的日益增強，在速度上有了明顯的轉變，了解到有些問題並非是電腦可以加以解決的，我們才不用浪費時間無意義的思索上。如果你想知道更多電腦所解不開的題目，閱讀本書，相信可以得到許多收穫。(文/ 蕭宜杉，文字工作者)

【作者簡介】   哈雷爾（David Harel）
   以色列魏茲曼科學院數學與計算機科學研究所所長。

 　　資料來源：博客來•BookPost