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