2012圖靈年全球紀念活動札記

文章編號：1672-5913（2013）01-0109-02

中圖分類號：G642

為了紀念圖靈百年誕辰（1912-2012年），TCAC（the Turing Centenary Advisory Committee，圖靈百年紀念咨詢委員會）協調安排了為期一年的活動，并將2012年訂為“圖靈年”（Alan Turing Year）。TCAC掛靠英國曼徹斯特大學，由圖靈的侄子約翰·德莫特·圖靈（Sir John Dermot Turing）擔任榮譽會長，由巴瑞·庫珀（S.Barry Cooper）教授擔任主席。庫珀是歐洲可計算性學會現任主席，英國里茲大學數理邏輯教授，1966年畢業于牛津大學耶穌學院，1970年于萊斯特大學獲博士學位。

TCAC的成員廣泛涵蓋了學界和業界人士，包括曼徹斯特大學、劍橋大學、牛津大學、普林斯頓大學、布萊奇利園區、ACM/IEEE等一共64個單位。

圖靈年安排的活動從2011年12月13日在牛津劇院開始，到2012年12月7日在我國澳門結束，恰好有100項內容，遍布世界各地，可謂盛況空前，其中47.4項在英國舉辦，10.3項在美國舉行，在德國則有3.3項（有一項內容相同的活動先后在英、美、德舉辦，所以筆者統計時用了小數），開展3項活動的有加拿大、荷蘭、葡萄牙，開展2項活動的有中國、巴西、阿根廷、西班牙、以色列，只有一項活動的有新西蘭、俄羅斯、捷克、冰島、澳大利亞、挪威、意大利、瑞士、瑞典、克羅地亞、法國、波蘭、匈牙利、比利時、希臘、秘魯、菲律賓、阿聯酋等。具體活動內容可以在ALAN TURING YEAR的網站（http：//www.turingcentenary.eu）或者在ASSOCIATION COMPUTABILITY IN EUROPE的網站（http：//www.computability.org.uk）中看到。《計算機教育》雜志網站（http：//www.jsjjy.com）也轉載了活動的內容。

事實上，紀念性的學術活動遠不止這些。庫珀教授的團隊（簡稱“團隊”）經常通告已經開展的活動盛況以_及新增加的活動內容。2012年3月13日報道了有關圖靈的影片、展覽、長跑活動、藝術表演等，共16項。4月份補充20項，5月13日又補充10項，到了6月份又新增加31項。團隊希望世界各地的朋友盡量提供信息。筆者隨即與庫珀教授接洽，通報了《計算機教育》雜志出版了紀念圖靈專刊（2012年第11期）一事，應庫珀教授請求，給予《計算機教育》雜志社的具體網址和專刊鏈接。團隊就《計算機教育》雜志的紀念活動進行了通告，詳情見http：//www.mathcomp.leeds.ac.uk/turing2012/give-page.php？13#oct及http：//www.mathcomp.leeds.ac.uk/turing2012/Images/china-article.jpg.

其實，在我國開展的ATY活動絕不止兩項，還有一些。《計算機教育》雜志除出版圖靈專刊外，還特別組織召開了一次“紀念圖靈誕辰百年編委座談會”。座談會于2012年6月16日在北航舉行。另外，高等教育出版社出版了《ACM圖靈獎》第4版，人民郵電出版社北京圖靈文化發展有限公司的袁野告訴我：“我單位為紀念圖靈誕辰百年，11月末將出版一本引進版圖書《圖靈的秘密》，原書為美國John Wiley and Sons出版的The Annotated Turing：A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine。另外，他們公司6月份也舉辦了圖靈百年紀念活動。

從更廣的范圍看，我國ATY的正式啟動應該是列入百項紀念活動的5月16-21日在中國科學院軟件研究所召開的“Theory and Applications of Models of Computation”（TAMC 2012）學術會議。詳細情況可以在http：//turing2012.iscas.ac.cn/index.html上看到。除了啟動儀式外，還安排了許多精彩報告，如圖靈獎得主姚期智、約翰·霍普克洛夫特（John Hopcroft）、理查德·卡普（Richard Karp）、巴特勒·蘭普森（Butler Lampson）以及李未院士、庫珀教授等的報告。在這次紀念活動的網站上可以找到他們報告的演示稿，庫珀教授的講稿非常精彩（http：//turing2012.iscas.ac.cn/slides/cooper.pdf），李未院士演講的題目是R-Calculus：A Logical Inference System for Scientific Discoveries，其中文稿正好是刊登在《計算機教育》雜志圖靈專刊上的論文“R演算——科學發現的邏輯。”

另外一項活動是2012年12月4-7日在我國澳門舉行的“世界智能大會”（World Intelligence Congress），包括5個分會，即IEEE/WIC/ACM Web Intelligence 2012（WI'12），IEEE/WIC/ACM Intelligent Agent Technology 2012（IAT'12），Active Media Technology 2012（AMT'12），Brain Informatics 2012（BI'12）and Methodologies for Intelligent Systems 2012（ISMIS'12）。

總之，由于信息化的高度發達，紀念圖靈的活動真正成為史無前例的創舉。

（編輯：彭遠紅）