打油改編尼克的《謎一樣的阿蘭·圖靈》（全文）

《謎一樣的阿蘭·圖靈》
原文鏈接：http://www.dfdaily.com/html/1170/2011/12/3/708392.shtml
作者 尼克







打油改編尼克的《謎一樣的阿蘭·圖靈》（全文）

圖靈死得不光彩，
榮譽逝後久方來。
ACM設獎過廿載，
圖靈獎授電腦才，
相當諾獎名已在。
沉冤終雪過半百，
二零零九烏雲開，
英相布朗文告頒，
正式道歉圖靈案。

去年圖靈百誕辰，//生於1912年6月23日，
五九年前他輕生，//逝於1954年6月7日
可歎隻活四二春。


生難偉大孩平平，
死不光榮議紛紛。
一來性向違常倫，
二因曾涉密軍情，
圖靈生前默無聞。





霍氏寫傳千禧近，//數學家兼同性戀運動活動家安德魯·霍奇斯（Andrew Hodges）
介紹圖靈謎樣生。//2000年出版了《阿蘭·圖靈：謎》（Alan Turing: The Enigma）
霍鑽數學也很深，
同性戀權更奮爭。

Julius Mathison Turing (1873 - 1947)

  Ethel Sara Turing(1881 - 1976)






圖靈生在西倫敦，
媽不回英印度生。
老爹駐印公務行，
已在那裏十年混。
以印為家父母親，
偶爾返英會故人。


John Ferrier Turing（1908-）


圖靈有哥約翰名，
大他四歲挺聰明。
智力家族有傳承，
祖父曾經劍橋人，
三一學院數學生；
姥爺總工善工程，
印鐵分局曾就任。
母係更有巨匠生，
理論發現電子曾，
六年後由湯氏證；//湯姆遜
皇家學會請此親，
相當院士中國尊。

英倫流行廿世初，
兒托保姆養寄宿；
曾經倡導有羅素，
教育理論也拋出。
經濟政治別緣故；
中國曾走相似路，
前卅年間流行酷，// 就是習總所謂“前三十年”
雙職工家孩送出，// 1950s至1970s期間
爺奶管帶或寄讀。
計劃生育推出爐，
獨苗誰舍不親護。

湯普森是其保姆，
憶他聰敏正直初。
舉例下棋爭贏輸，
從不讓子與悔步。

三歲看大小圖靈；
娘來倫敦看親生，
要回印度即將行，
叮嚀圖靈乖孩成；
兒答常忘才不靈。
可憐無娘親照應，
吃喝雖保心不寧。

預備學校十歲進，
想入公學須先行。//public school
公學其實私校名，
麵向社會public稱；
不光趁錢就能進，
還要考試選拔人。


預科公學皆有範，
拉丁希臘經典鑽。
圖靈對此趣索然。
智力挑戰更喜歡，
啥事一會就不玩。
考試先挑難的練，
成績不好原因顯。

兄弟寄養許多年，
華德上校夫婦管。
乏味生活愛護淺，
厭世情緒圖靈掩，
自視甚高孤無援。
都是寂寞天可憐，
維特根斯坦也算。

爹在印度工作勤，
錯誤自認該提升，
一氣之下憤辭行，
舉家遷歐重居定。

圖靈就讀謝伯恩，
英倫名校隻男生，
一五五零校建成。

圖靈中學成績平，
師生注意因怪行。
數學課上講不聽，
圖書教材不見拎；
所有定理自搞定。
如若推對得高分，
否則成績低平均。

如此生猛誰理評，
中學數學全推成；
諸如此類化學精。
海藻出碘自發明，
化學老師搞不清。

其它各科也還行，
校長卻對圖爸論：
“你兒偏科文不靈；
我校培養文化魂，
他卻非當科學人；
顯然擇校找錯門。”
校長如此短視論，
焉知圖靈將來成，
哲學影響耀古今，
躋身大家舉世尊。

父母法國居避稅。
圖靈兄弟各校回，
英吉利海峽麵對。
渡船到南安普頓，
圖靈自己把岸登，
交通已無天色昏。
自行車從行李找，
買張地圖騎車跑，
車不給力兩拋錨，
六十英裏一夜到。
五星賓館還住了；
如此夜行非玩鬧，
比侯寶林相聲搞。
最後圖靈寄發票，
告爹此行費錢少。

Christopher Morcom


圖靈何時察性向，
霍奇斯書有料講，
朦朧初戀摩爾康。//Christopher Morcom
圖靈喜歡高智商；
維特根斯坦反向，
卻愛苦孩窮家長。
生長富家摩爾康，
的確非常高智商，
他與圖靈學互幫，
關係僅限精神上。

摩爾康高身苗條，
大圖一歲級也高，
夢想大學上劍橋。
因此圖靈刮目瞧，
也定劍橋為目標。
人有動力努力悄，
圖靈提前也高考，
與摩同盼進劍橋。
事與願違強拔苗，
成績不佳文科糟，
全班末位英文考，
倒數第二拉丁落。
提前高考铩羽倒，
再等一年他隻好。

盡管首考失敗告，
同選劍橋同備考，
圖靈此事永記牢，
以此平生最美好。

人散兩地也連著，
寒假兩人又見到，
科學討論一起搞。

一九卅年二/六號，
音樂晚會一同瞧。
圖靈回家晚睡覺，
噩夢驚醒有蹊蹺，
竟是再見摩爾康！

圖靈事後才知道，
同誌當晚就病倒，
一周以後辭世悄。

兩人故事漸世曉，
百老匯外有劇道：
《電熊情歌》前年導。//Lovesong of the Electric Bear
其中演康是女角，//英國女演員卡西迪·博伊德（Cassidy Boyd），
女扮男裝劇中搞。
英美編劇真有招，
數學家也成目標。
布萊希特情微妙，
《伽裏略》裏誰知曉。

摩爾康媽屬文青，
法國索邦早年混，
自開畫廊作品陳。

 
嬌兒早逝母悲沉，
圖靈總去探友親，
終成摯友友一生。

圖靈感覺友尚存，
通過自己康顯靈。

縱觀圖靈謎人生，
兩事不明我繞心；
圖靈測試其一問：
人與機器黑箱進，
如若不能加區分，
即顯機器有智能。
如此簡易得判定，
給人印象實非真：
好似圖靈有偏心，
支持機器存智能。
其實他在日記認，
機器智能不及人。

由此我想另公案，
數學哲人普特南。// Putnam
遭人質疑立場變，
實在論又實在反，
到底哪夥世難辨。

至於圖靈也同感。
問題本來中性顯，
答案卻與期望偏。
他有問題縈心坎，
寫成文字問人寰，
別人給出反答案。

（油者到此也瞎編。
潘朵拉盒開世亂，
大波小腦怪她難；
普神盜火勇艱險，// 普羅米修斯
玩火瞎焚世人偏。
圖靈種火也放潘，
人工智能惑人間；
即將釀禍臨奇點。
抱歉此話已扯遠。）


我觀圖靈另一問：
圖靈機固大發明，
為啥止步不前進，
量子圖靈機搞定？

他在劍橋曾分心，
量子物理猛鑽營。
量子圖靈機理論，
一九八五多氏成， //大衛·多伊奇（David Deutsch）
數學物理牛津人。
有猜諾獎他力爭，
因這玩意幹係深，
知識進化下一輪，
難保它不成重心。

有關圖靈兩疑問，
彭氏兩書有專論；//羅傑·彭羅斯 （Roger Penrose）
此乃霍金合夥人，
霍金衣缽自牛頓。
雖寫專論答案存，
所答爭論又很深。

同誌死後圖心疲，
自覺不再起情意；
盡力而為此唯一：
小摩理想搞到底。
兩個困惑我所提，
實是摩給圖出的。



圖林如願劍橋取。
三一學院讓他去，
獎學金卻沒考慮；
國王學院獎授予，
就學數學該院居。

情如煙逝摩爾康，
終極知識圖靈向。
人變蓋因有理想。

上一世紀卅年代，
國王學院濟濟材；
數學紐曼更哈代，
剛從牛津請回來；
凱恩斯同誌也在；
惺惺相惜才惜才，
圖靈在此受培栽。

圖靈天生人靦腆，
說話結巴嗓音尖，
也不合群不鍛煉。

幸而很快自發現，
長跑天分不再掩；
如風少年撒丫歡，
劍橋校園轉N圈，
榮膺冠軍快如箭。

巫山雲雨劍橋現，
詹姆斯·阿特金斯，//（James Atkins）
數學同學同誌兼。





大約一九三三年，
數理邏輯趣鑽研；
《數理哲學導論》見，
羅素著作開他眼。




一九三九過六年，
圖靈榮歸劍橋院，
《數學基礎》開課練。
何其巧合同學年，
老維同名課也練。// 維特根斯坦
雖課同名側重偏，
數理邏輯圖林練，
數理哲學老維點。


初生牛犢好奇顯，
圖靈旁聽維課全。
該課講義後生編，// 《數學基礎講義》
內容雖深對話練，
好似蘇柏當代現。 // 蘇格拉底和柏拉圖
書中對話最多見，
多在老維小圖間，
兩人對掐課全篇。

戰場炮火連硝煙，
課堂硝煙也彌漫。
如此過招數理巔，
就像武林吹華山，
門裏門外歎奇觀。

說到悖論頂牛尖，
語言遊戲老維看，
圖靈不作壁上觀，
他對老維直叫板：
“如若悖論現演算，
堤會崩塌橋會斷。”

觀點不同立場異，
兩人尊重在智力。
老維傳記蒙克提，
如遇圖靈課不及，
老維失望徒麵壁，
因其深思待扳機，
與徒對話觸熟慮。
不止哲思老維奇，
教育觀點他也異；
哲學教學對話裏，
對此老維信無疑。

牛頓曾經樹下躺，
蘋果掉落砸頭上，
萬有引力由此想。
這一傳說廣傳揚，
其實扯淡把人誆。


但據圖靈回憶講，
確實他曾草坪仰，
圖靈機器心構想；
剛讀哥德爾文章，
受其啟發才首創。




哥德爾後群英忙，
計算裝置各構想，
探索層麵向深往，
更基本也更抽象。





普林斯頓有丘奇，
朗姆達演算發力。
圖靈導師紐曼悉，
推薦圖靈給丘奇，
讓他讀博選佳題；
也告丘奇圖靈器，
他已搞出圖靈機。

丘奇一讀即默契，
趕緊推薦發表急。
“丘奇-圖靈論題”，
從此兩人一起提。

論題簡介一句畢：
圖靈機是最強的
可實現的計算機。 //裝置。

注意此稱是論題，
無須證明非定理。

論題有據皆支持；
計算裝置凡已知，
可計算上等價值：
朗姆達演算丘奇，
Post係統珀氏提，// Emil Post
遞歸函數哥氏析，//哥德爾，
以及圖靈圖靈機。

局中哥氏也讚溢：
圖靈機最可信比。


馮諾依曼英雄一，
慧眼識英惺惺惜，
高度評價哥氏已，
圖靈他也同讚比。

馮氏其實也圈裏，
“可計算性”名他起。

錦上添花有後起，
中國洪姓加威厲，
八十年代顯才氣，
擴展丘-圖論題，
相似性原則他提：
計算裝置皆可比，
複雜性上相似的。



普林斯頓兩年呆，
讀博圖靈感覺衰。
其實該校人很high，
同誌活動半公開；
但是圖靈置其外。
性格封閉人老派，
北美方式看著怪。
唯一競技有記載，
瓦薩爾校去比賽，
曲棍球場會女孩。

博帽一戴即回英，
馮氏留他不肯承，
助理一職婉拒應。
美國歸來提申請，
數學講師職應聘，
劍橋拒之不識人。
他在劍橋繼續停，
數學研究各隨興，
代數還有概率論，
數學分析加數論；
此外他也兼職尋，
布萊徹利莊園進。
布氏莊園屬三軍，//英國海陸空三軍
加密解密密碼定，
機密機構耳目隱。
現已解密資料全，
辟為電腦博物館，
大眾可以去參觀。




Bletchley Park






三九九月頭一天，
德軍出兵侵波蘭，　
次日英對德宣戰，　
三日圖靈受召喚，
布氏莊園全職幹，
破解密碼德國編。





Enigma加密機，
德國密碼此傳奇。
其實波蘭早警惕，
仰仗聰明人濟濟，
組織英才齊攻擊，
較早版本已破譯。
德人改進更加密。

基礎已由波人譯，
破解改進圖使力。
工作雖急情也激，
愛上同事是女的，
瓊·克拉克專數理，//（Joan Clarke），
一起同搞加解密。

圖靈求婚瓊答應。
他也誠實不隱情，
告瓊自己戀同性，
瓊也忍之不細聽。
最終撂挑是圖靈，
洗手不幹退舊營。
男同忠貞出自心。
《密碼迷情》老電影，
基本講述這段情，
溫斯萊特扮演瓊。



密碼學者都知道，
加解密碼像蹦跳，
道高一尺魔也高。
改進加密敵方搞，
解密新招我方找，
不斷鬥爭沒完了。
Enigma係德軍造，
海軍用戶是主要，
潛艇U-boat此依靠。

德國密碼日本教，
美遇麻煩難吃消。
美國就把英國找，
英遣圖靈盟邦到，
四二年正戰鼓敲。

Enigma來回搞，
圖靈思路漸明了，
通用計算機可造，
實際解碼可用著。
四六年初提報告，//他向國家物理實驗室提交了ACE的報告，
ACE文圖靈搞。
EDVAC幾月早，
馮·諾依曼是主導。
由此世稱馮最早，
設計發明電動腦；
老馮對此哈哈笑，
逢人就把實情道，
他說“小圖主意早”。



圖靈長跑有記錄，
奧運水平很突出。
布氏莊園工作苦，
經常開會倫敦顧，
戰時單位車忙碌，
每次無車可調度。
圖靈竟也不擺譜，
說“我自己跑步”。
六四公裏單程路，
跑去完事回如出。



戰後表彰破解功，
OBE爵位他被送；
足球明星貝克漢姆，
也曾得此玩意紅；
圖靈小貝爵相同，
低級OBE “Sir”不擁。
圖靈獎因機密工，
授爵過程也密封。
廿年已過曉公眾，
圖靈得爵二戰終，
國家利益“潛伏”囧。






一九四八奧運開，
英國倫敦是主台；
馬拉鬆賽跑本該，
但他受傷不能來。
圖靈若隻練跑賽，
保不住能獲獎牌，
因此封“Sir”更顯擺。

其時導師紐曼見，
曼大數學係主管，// 曼徹斯特大學
他拉圖靈Reader幹。
英國Reader往美搬，
大概相當教授銜；
王浩牛津此職練，
“準教授”名他自編。

曼大電機挺出名，
威廉姆斯當主任，
其時正搞Mark-1，
存儲程序主計算。
當地報紙起名先，
稱之“電腦”史無前。//“Electric Brain”，

紐曼請圖幫威練，//威廉姆斯
Mark-1上做軟件，
圖靈此時往高站，
工程細節不再鑽。
私信他表興趣轉：
構想大腦基礎件，
如何工作如何聯。

為了“電腦”這名稱，
英國公知有辯論，
讚方反方各理爭。
波蘭尼屬反陣營，// Polanyi
他是科學哲學人。


圖靈佯裝不知情，
他沒參與正反爭。
其實波與圖友朋，
催促圖靈抒己論，
盡快觀點寫成文。
”計算機與智能”生，//Computing Machinary and Intelligence，
哲學雜誌Mind上登。
“圖靈測試”定義成，
機器和人黑箱扔,
如你難將其區分，
可判機器有智能。



圖靈好友克裏斯，//克裏斯托弗·斯特拉切
叔叔立頓文藝叱，//立頓·斯特拉切，著名文學批評家，
羅素凱恩斯朋比，//
伍爾芙也鐵關係。
克裏斯達納一起，//達納·司考特
“指稱語義學”創立。
圖靈大獎達後提，
該派中國有承繼。

圖靈早就有主意，
如何下棋計算機。
五二年斯特•拉切，
實現程序會跳棋。
圖靈試之人第一，
無驚無險人贏機。
達特茅斯AI發起，
其年代一九五七，
司馬賀氏預言激，//Herbert Simon
未來不久他預計，
國際象棋人敗績。
四十年後九六裏，
IBM“深藍”計算機，
卡斯帕羅夫對弈，
機贏一局成標記。
卡氏棋王連年比，
人類尊嚴捍衛急。
卡氏俄國政壇躋，
競選總統好幾期，
普京差點將其斃。





“圖靈測試”邁進緩，
二零一一大進展，
裏程碑式慶彈冠。
IBM依舊榮耀顯，
“沃森”集群電視搬，//（名字取自IBM的創辦人沃森）
智力競猜它露臉，// Jeopardy
擊敗人類無懸念。
不比下棋賊精尖，
這下絕非鬧著玩，
常識機器也領先，
後果嚴重難控管。
“圖靈測試”黑箱關，
智能定義應更嚴，
大家探索出新篇。

一九五一圖靈顯，
皇家學會他入選，
科學機構英頂尖。
他到劍橋走動頻，
密切友誼保持緊，
國王學院兩學生。
都學數學如圖靈，
其一內維爾·約翰遜，//Neville Johnson
圖靈愛人終得證。
另一我得多解評：
羅賓·甘迪是他名，//Robin Gandy，
衣缽傳人他終成，
圖靈死後遺物剩，
書呀信的等等等，
都交甘迪來保存。
圖靈愛人謠言生，
某一導演先傳論。
八六西區在倫敦，
“破解密碼”戲劇成，
雅可爵士演圖靈。//德雷克·雅可比爵士
後來這戲出英倫，
百老匯演兩年整，
多項托尼獎提名。
甘迪導演曾邀請，
看戲之後後台進，
導演神秘說輕聲：
“此乃圖靈所愛人”。
Robin Gandy







圖靈一生多基情，
所愛多是知識人；
此與維氏反向行，//維特根斯坦
他隻喜歡勞苦民。
不過圖靈最終情，
栽給勞動者愛人。
阿諾德·莫瑞其名。//Arnold Murray
酒吧遇他圖靈昏，
幾杯酒後帶家混。
人到中年變品味，
不好才識起色心？
一個月後圖看清，
莫瑞敢情有賊心。
初從錢包偷整零，
圖靈也沒當盜行，
可能覺他非外人，
於是幹脆借錢勤。

未久有賊圖家端。
他知莫瑞定相關。
圖問莫瑞很心酸，
莫瑞招說哈裏嫌，
哥們相識酒吧間。

圖靈警局報此案。
為護莫瑞他瞎編。
警局一到圖靈慘，
哈裏被抓已供遍。
警察問圖一句全，
簡直開門就見山：
“你和莫瑞啥關聯？”，
圖靈答曰“愛人”簡，
再問“幹過啥？”警員，
圖靈無奈全招完，
時間地點次數全；
尼克不禁徒感歎：
圖靈畢竟密碼專，
反偵查力如此淺，
竟然不如咱貪官。

警察做夢沒想到，
逮個小偷受害招；
順藤摸瓜罪不小。
有傷風化戴高帽，//Indecency
流氓罪名似咱朝。

五十年前王爾德，//奧斯卡·王爾德
同樣罪名頭上擱，
援案照抄訴圖苛。

同性戀犯流氓罪，
英倫一直嚴打對，
千禧立法改不追；
與時俱進東西配，
中國取消流氓罪。

圖靈想頂不認罪，
其兄約翰律師催：
好漢不吃眼前虧。

圖靈律師法庭辨：
國家功臣圖靈前，
繼續貢獻他正練，
關他社會失匪淺。

法官給圖兩一選：
服罪或者去醫院。
那時對付同性戀，
注射激素似簡單，
圖靈決定去醫院，
雌性激素注射慢。
傳記都說不好玩，
胸部打大性征顯，
其中暗示天曉見。




圖靈寫信明信片，
致函徒友他詩編。
《白雪公主》記童年，
邪惡女王詞叨念：
“咬口蘋果像酒仙，
睡死隨汁全身遍。”//”Dip the apple in the brew / Let the sleeping death seep through”

一九五四六月八，
淩晨發現床上趴，
圖靈永不下床榻。
床幾蘋果咬半拉。
屍體解剖很快下，
氰化物質中毒他，
六月七日就事發。


圖靈死因三說法。
其一事故娘打岔，
孩兒從小化學哈，
一不小心整錯了；
其二自殺主媒扒；
其三陰謀論事發。

圖靈戰時涉密多。
其時英美諜案擴：
男色女色自俄國，
英美要員引誘做，
同性異性戀俱惑，
又值美國大盟國，
麥卡錫主義過火。

尚未公開此檔案，
解密可待近期限。
自殺假設霍氏沿。
其實陰謀論有種，
至少不是空穴風：
圖靈事發刻不容，
英國情報機構動，
安全許可即吊空。//security clearance
網絡安全人都懂，
無此許可在手中，
政府打工困難重。
政府可能滅口封，
怕其好色泄卷宗。
陰謀假說現漸紅，
越來越多人信從。

一九五二聲譽損，
圖靈依舊發宏文，
數學生物學新生，
非線性動力啟明。

這些學科我看昏：
一人怎可多科精？
而且事事遠看清？
我覺初戀附他靈，
摩爾康影隨他行。
圖覺小摩活己身，
咋活何形我不明。
 


一九六六ACM定，//美國計算機協會
圖靈獎頒CS牛人，
電腦科學諾獎生。
BellLab出獎金，
Intel接盤續進行。
Apple商標缺口存，
並非圖靈死前啃。
我想但願是他啃，
圖靈獎之讚助人，
Apple其實應該爭。
（此處油者有另論，
喬爺特點是摳門，
雖然真金如鬥進，
鐵雞拔毛萬不能，
學術讚助他最吝。
）





圖靈死得不光彩，
盛名美譽死後來。
圖靈辭世過半百，// 2009年9月10日圖靈死後五十五年，
英倫民眾呼籲待，
首相布朗告公開，
正式道歉法陷害，
圖靈沉冤終得白。
布朗有言傲也哀：
“此案我們錯難改，
圖靈應得國善待。”


霍氏傳記網上賣，//霍奇斯
數學邏輯牛人在，
戴維斯寫評論快，//馬丁·戴維斯
最後一句最直白：
指控圖靈悲劇哉，
民族英雄他本該。






曼徹斯特公園裏，
圖靈雕像今矗立，
一句名言刻座底，
羅素原話如此譯：
“數學不僅有真理，
也有至高之美麗，
冷豔簡樸美無比，
就像雕塑矗這裏。”
我看此言無詫異。
十二哲人蒙克比，//雷·蒙克
圖靈大名列其一，
以前不懂其中意。
羅素話讓我醐醍：
偉大光榮不值提，
“真”且“美”才無與比。