打油改编尼克的《谜一样的阿兰·图灵》（全文）

《谜一样的阿兰·图灵》
原文链接：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日图灵死后五十五年，
英伦民众呼吁待，
首相布朗告公开，
正式道歉法陷害，
图灵沉冤终得白。
布朗有言傲也哀：
“此案我们错难改，
图灵应得国善待。”


霍氏传记网上卖，//霍奇斯
数学逻辑牛人在，
戴维斯写评论快，//马丁·戴维斯
最后一句最直白：
指控图灵悲剧哉，
民族英雄他本该。






曼彻斯特公园里，
图灵雕像今矗立，
一句名言刻座底，
罗素原话如此译：
“数学不仅有真理，
也有至高之美丽，
冷艳简朴美无比，
就像雕塑矗这里。”
我看此言无诧异。
十二哲人蒙克比，//雷·蒙克
图灵大名列其一，
以前不懂其中意。
罗素话让我醐醍：
伟大光荣不值提，
“真”且“美”才无与比。