文章編號:1672-5913(2013)01-0109-02
中圖分類號:G642
為了紀(jì)念圖靈百年誕辰(1912-2012年),TCAC(the Turing Centenary Advisory Committee,圖靈百年紀(jì)念咨詢委員會)協(xié)調(diào)安排了為期一年的活動,并將2012年訂為“圖靈年”(Alan Turing Year)。TCAC掛靠英國曼徹斯特大學(xué),由圖靈的侄子約翰·德莫特·圖靈(Sir John Dermot Turing)擔(dān)任榮譽會長,由巴瑞·庫珀(S.Barry Cooper)教授擔(dān)任主席。庫珀是歐洲可計算性學(xué)會現(xiàn)任主席,英國里茲大學(xué)數(shù)理邏輯教授,1966年畢業(yè)于牛津大學(xué)耶穌學(xué)院,1970年于萊斯特大學(xué)獲博士學(xué)位。
TCAC的成員廣泛涵蓋了學(xué)界和業(yè)界人士,包括曼徹斯特大學(xué)、劍橋大學(xué)、牛津大學(xué)、普林斯頓大學(xué)、布萊奇利園區(qū)、ACM/IEEE等一共64個單位。
圖靈年安排的活動從2011年12月13日在牛津劇院開始,到2012年12月7日在我國澳門結(jié)束,恰好有100項內(nèi)容,遍布世界各地,可謂盛況空前,其中47.4項在英國舉辦,10.3項在美國舉行,在德國則有3.3項(有一項內(nèi)容相同的活動先后在英、美、德舉辦,所以筆者統(tǒng)計時用了小數(shù)),開展3項活動的有加拿大、荷蘭、葡萄牙,開展2項活動的有中國、巴西、阿根廷、西班牙、以色列,只有一項活動的有新西蘭、俄羅斯、捷克、冰島、澳大利亞、挪威、意大利、瑞士、瑞典、克羅地亞、法國、波蘭、匈牙利、比利時、希臘、秘魯、菲律賓、阿聯(lián)酋等。具體活動內(nèi)容可以在ALAN TURING YEAR的網(wǎng)站(http://www.turingcentenary.eu)或者在ASSOCIATION COMPUTABILITY IN EUROPE的網(wǎng)站(http://www.computability.org.uk)中看到?!队嬎銠C教育》雜志網(wǎng)站(http://www.jsjjy.com)也轉(zhuǎn)載了活動的內(nèi)容。
事實上,紀(jì)念性的學(xué)術(shù)活動遠(yuǎn)不止這些。庫珀教授的團隊(簡稱“團隊”)經(jīng)常通告已經(jīng)開展的活動盛況以_及新增加的活動內(nèi)容。2012年3月13日報道了有關(guān)圖靈的影片、展覽、長跑活動、藝術(shù)表演等,共16項。4月份補充20項,5月13日又補充10項,到了6月份又新增加31項。團隊希望世界各地的朋友盡量提供信息。筆者隨即與庫珀教授接洽,通報了《計算機教育》雜志出版了紀(jì)念圖靈???012年第11期)一事,應(yīng)庫珀教授請求,給予《計算機教育》雜志社的具體網(wǎng)址和??溄?。團隊就《計算機教育》雜志的紀(jì)念活動進行了通告,詳情見http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?13#oct及http://www.mathcomp.leeds.ac.uk/turing2012/Images/china-article.jpg.
其實,在我國開展的ATY活動絕不止兩項,還有一些?!队嬎銠C教育》雜志除出版圖靈??猓€特別組織召開了一次“紀(jì)念圖靈誕辰百年編委座談會”。座談會于2012年6月16日在北航舉行。另外,高等教育出版社出版了《ACM圖靈獎》第4版,人民郵電出版社北京圖靈文化發(fā)展有限公司的袁野告訴我:“我單位為紀(jì)念圖靈誕辰百年,11月末將出版一本引進版圖書《圖靈的秘密》,原書為美國John Wiley and Sons出版的The Annotated Turing:A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine。另外,他們公司6月份也舉辦了圖靈百年紀(jì)念活動。
從更廣的范圍看,我國ATY的正式啟動應(yīng)該是列入百項紀(jì)念活動的5月16-21日在中國科學(xué)院軟件研究所召開的“Theory and Applications of Models of Computation”(TAMC 2012)學(xué)術(shù)會議。詳細(xì)情況可以在http://turing2012.iscas.ac.cn/index.html上看到。除了啟動儀式外,還安排了許多精彩報告,如圖靈獎得主姚期智、約翰·霍普克洛夫特(John Hopcroft)、理查德·卡普(Richard Karp)、巴特勒·蘭普森(Butler Lampson)以及李未院士、庫珀教授等的報告。在這次紀(jì)念活動的網(wǎng)站上可以找到他們報告的演示稿,庫珀教授的講稿非常精彩(http://turing2012.iscas.ac.cn/slides/cooper.pdf),李未院士演講的題目是R-Calculus:A Logical Inference System for Scientific Discoveries,其中文稿正好是刊登在《計算機教育》雜志圖靈??系恼撐摹癛演算——科學(xué)發(fā)現(xiàn)的邏輯?!?/p>
另外一項活動是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)。
總之,由于信息化的高度發(fā)達(dá),紀(jì)念圖靈的活動真正成為史無前例的創(chuàng)舉。
(編輯:彭遠(yuǎn)紅)