序
艾倫.圖靈(Alan Turing)生前最後發表的一篇論文是關於推理謎題。這篇論文發表於大眾科學雜誌《企鵝科學新聞》(Penguin Science News),主旨是向一般讀者解說:雖然我們可以預期很多數學性問題都是可解的,但是不可能預知某個特定問題是否是可解的。推理謎題和數學性問題最終都是根據規則來定義:以數獨而言,最基本的規則就是在3行乘3列的九宮格中,數字1至9都必須出現一次,並且只能出現一次。
只要謎題是有規則的,那麼就有可能用電腦撰寫程式,根據這些規則來得到答案。艾倫.圖靈所寫的第一篇論文就是關於解題挑戰(和他的最後一篇論文一樣):如何判斷一個問題是可計算的,或是可根據已知的一組演算法推論出解答。
艾倫.圖靈在二十世紀中期電腦發展上所扮演的角色是眾所皆知的,最著名的是他在布萊切利莊園工作時,解開第二次世界大戰中最具戰略意義的恩尼格瑪(Enigma)密碼機。恩尼格瑪密碼機針對傳送訊息中的每個字母設定不同的密碼,而解開訊息的唯一方法就是必需先知道密碼機在訊息加密過程開始時的原始設定,然後才能跟著密碼機的機械過程來解密。密碼破譯者必須先知道上述的先決條件,明白他們無法在密碼書中找到答案。雖然當時布萊切利莊園還沒有電腦可幫助密碼破譯者解謎,但在艾倫.圖靈的協助下,他們發明了新的機器和電子設備來幫忙加速淘汰那些最不可能以及不太可能的組合,將謎底縮小到一個人力可處理的範圍。而設計這些新機器的經驗,也為大戰過後電子數位計算機的發展奠定了基礎。
電腦現在已經是非常普及的日常用品,我們不僅在工作場所和居家辦公時會使用,它也存在智慧手機或平板電腦裡。現今,電腦技能和編碼的教學已經是學程中的必要內容,但並非世界各地的學校系統皆能實現這個需求。在非洲,學校裡使用電腦的普及率差距極大,某些國家的學生很少或者根本沒有機會在實際課程中使用真正的電腦。例如:在馬拉威,可能只有百分之八的學生有機會在家裡使用電腦。可是ㄧ旦學校有了適當的電腦設備,那麼超過百分之九十的學生都可以接觸到這項我們大部分人視為基本必需品的科技。提供這些電腦設備可以鼓勵學生學習,百分之九十八的學生表示使用電腦讓學習變得有趣了。
圖靈信託基金是由艾倫.圖靈的曾侄子詹姆斯於2009年創立的慈善機構,目的在用實際的方法面對上述的挑戰,藉以紀念艾倫.圖靈在電腦發展上的傑出貢獻。圖靈信託基金為非洲的學校提供優質的二手電腦,也幫助農村地區建立電腦教室,否則那裡的學生只能靠著黑板和粉筆來學習電腦。這些二手電腦都經過翻新,並配備了與當地課程相關的電子圖書館資源,然後再發送出去;圖靈信託基金賦予了這些二手電腦新的生命與目的,也為貧困的社區帶來機會。
感謝你購買本書並支持圖靈信託基金。
德莫特.圖靈爵士
2018年10月