回覆列表
-
1 # 方芝維智慧家居
-
2 # cnBeta
據外媒報道,曼徹斯特大學的一位教授在一箇舊檔案櫃中發現了歸屬於計算機之父艾倫·圖靈的148份檔案,其中包括信函,官方信件和BBC人工智慧廣播節目手寫草稿等。這些檔案藏在這個舊檔案櫃中可能超過30年。今年5月,曼徹斯特大學計算機科學系的Jim Miles教授在重新整理一個儲藏室時,偶然發現了一個寫著“艾倫·圖靈”的橙色資料夾。
自從發現以來,檔案的內容已經被排序,編目並存儲在大學圖書館。這些檔案的事件跨度為1949年初至1954年6月——圖靈悲慘死亡之月。這些檔案很少涉及圖靈的個人生活。相反,大部分檔案都側重於他的研究。這些檔案中包括許多給圖靈的官方信件。圖靈曾在曼徹斯特大學工作,有些人在信中要求使用圖靈保管的計算機裝置,而其他人則對他發表的文章和研究提出評論。在一些檔案中也可以看到圖靈手中寫的註釋。
另外還有來自麻省理工學院等美國著名學府的邀請函,如邀請圖靈參加講座或參加一些在美國舉行的會議,圖靈回答說:“我不喜歡這次旅行,我討厭美國。”此外還有一封1來自英國情報機構國家通訊總局(GCHQ)的信件,信中提及了二戰期間英國政府進行密碼解讀的主要地方——布萊切利園。
1952年,英國警方以“明顯的猥褻和性顛倒行為”罪判處阿蘭·圖靈有罪。隨後圖靈而被安排注射雌激素進行“治療”,最終他於1954年服毒自殺。
曼徹斯特大學圖書館的檔案工程師James Peters表示:“這是一項真正獨特的發現,與圖靈有關的檔案材料非常匱乏,所以他的學術信函是我們收藏的一個重要的補充。其中個人信件很少,也沒有發現來自圖靈家庭成員的信,但是仍然給我們一個非常有趣的記錄,並深入瞭解他的工作實踐和學術生涯。”
圖靈在計算機理論方面的貢獻:
1. 提出計算機的概念
1945年,圖靈恢復在理論計算機科學方面的研究,並結合戰時的工作,具體研製出新的計算機來。同年,圖靈開始從事“自動計算機”(ACE)的邏輯設計和具體研製工作。1950年製出了ACE樣機,1958年製成大型ACE機。
2. 把可計算函式定義為圖靈機可計算函式
1937年,圖靈在他的“可計算性與λ可定義性”一文中證明了圖靈機可計算函式與λ可定義函式是等價的,得出:演算法(能行)可計算函式等同於一般遞迴函式或λ可定義函式或圖靈機可計算函式.這就是“丘奇-圖靈論點”,相當完善地解決了可計算函式的精確定義問題,對數理邏輯的發展起了巨大的推動作用。
3. 開創了“自動機”這一學科分支,促進了電子計算機的研製工作.
4. 提出了通用圖靈機的概念
它相當於通用計算機的解釋程式,這一點直接促進了後來通用計算機的設計和研製工作, 在給出通用圖靈機的同時,圖靈就指出,通用圖靈機在計算時,其“機械性的複雜性”是有臨界限度的,超過這一限度,就要靠增加程式的長度和存貯量來解決.這種思想開啟了後來計算機科學中計算複雜性理論的先河。
5. 解決了著名的希爾伯特判定問題
狹謂詞演算公式的可滿足性的判定問題。他用一階邏輯中的公式對圖靈機進行編碼,再由圖靈機停機問題的不可判定性推出一階邏輯的不可判定性。他在此處創用的“編碼法”成為後來人們證明一階邏輯的公式類的不可判定性的主要方法之一。
6. 圖靈測試
1946年,圖靈發表論文闡述儲存程式計算機的設計。圖靈的自動計算機與諾伊曼的離散變數自動電子計算機都採用了二進位制,都以“記憶體儲存程式以執行計算機”打破了那個時代的舊有概念。
7. 人工智慧人工智慧
致力研發執行Manchester Mark 1型號儲存程式式計算機所需的軟體。1950年他發表論文《計算機器與智慧》,為後來的人工智慧科學提供了開創性的構思。提出著名的“圖靈測試”,指出如果第三者無法辨別人類與人工智慧機器反應的差別,則可以論斷該機器具備人工智慧。