原作：尼克 http://blog.sina.com.cn/tuanchengpian
打油改编尼克之《哥德尔轶事》
哥德尔上世纪人，
七八年死零六生，// 1906-1978
哲学逻辑数学精，
物理学家也可称。
哥氏小时也凡人，
即使数学他本行;
不信看他作业本,
最早记录可以寻；
一九一二6岁生，
4-1=4算昏，
擦了重做才算清。
可见天才非天生，
数学本领练习成。
哥德尔妻阿黛尔，//Adele Nimbursky Porkert, 1899–1981
曾当舞女夜总会，
到美她说跳芭蕾。
美佬起底知她谁。
欧战前乱文化悲，
舞娘名位及芭蕾。
哥氏朋友觉其匪，
说她尖刻暴躁汇。
夫妻感情和合美，
内向如哥也显摆，
常晒幸福不怕雷。
哥氏孤僻好独潜，
爱因斯坦友非凡。
哥道此谊基础点，
君子和而不同见。
哥德尔曾物理练，
广义相对论钻研；
重要成果在晚年，
一九五一得世赞，
爱因斯坦奖他颁。
爱翁如是说晚年：
“自己工作很平淡，
我来上班晃钟点；
哥德尔和我投缘，
散步回家走边谈，
为此荣幸来上班。”
哥氏成就世铭记，
为不完全性定理；
希尔伯特第二题，
否定解答哥氏立。
希氏助手贝奈斯，
将哥定理告老希，
希老怒其破坏力，
希氏计划不可及；
贝将论文给老希，
希老还是在生气，
但他读之很仔细，
读完以后真服气，
承认哥氏此定理，
自己计划补立即。
冯诺伊曼最识才，
哥氏定理重看待。
其实他正致力在，
数学一致性证来。
古德斯坦他陈情，
连做几梦挺振心：
一梦自己得证明，
醒后写之觉不行。
二梦又见方案精，
爬起发现缺口剩。
他开玩笑说真诚：
还好三梦没入境，
数学幸事哥氏成。
大家想当然相反，
哥氏图灵从没见。
普林斯顿图灵潜，
那里读博整两年，
哥氏回欧也两年。
哥氏返美图英返，
两人如此错过面。
两大论题图灵提。
丘奇-图灵论题一：
最强系统图灵机；
二不机比人智低，
图灵测试可判比。
哥德尔认可第一，
第二他觉挺无稽。
注意论题（Thesis）非定理，
从某种意义上提，
形而上学之公理。
后来图灵啃毒果，
得知消息哥沉默，
然后他就自语说：
如若结婚把家过，
图灵不会自杀做。
普林斯顿罗素访，
爱因斯坦家设场，
每周交流议协商，
哥氏泡利也前往。
罗素流露出失望：
“他们仨人都流亡，
犹太裔见多识广，
但按形而上学量，
仨都有德国倾向。
柏拉图式哥氏尚。"
其实罗素也瞎讲，
哥家无犹太祖上。
哥德尔入美国籍，
两个证人推荐齐，
摩氏爱氏合一起。 //摩根斯顿
前者搞数学经济。
去移民局仨一起，
路上哥氏忽然提，
美国宪法之逻辑
导致独裁可推理。
爱/摩建议哥别提，
移民官前装回逼，
但哥德尔还说及。
爱因斯坦帮到底，
瞎扯吸引官注意，
哥成公民才顺利。
王浩一生搞逻辑，
哥氏晚年成知己。
1971年7月起，
1972年10月底，
王浩隔周普林抵，//普林斯顿
与哥见面问论忆，
两小时里啥都提。
王浩晚年两书编，
各讲哥氏人思辨：
《哥德尔》为学术传，// Reflections on Kurt Gödel，
《逻辑之旅》重思辨。//A Logical Jorney: From Gödel to Philosophy
两书都已中文翻。
之前王浩就已编，
《从数学到哲学》篇，
哥氏两信见书端，
揭其哲学在晚年。
节外生枝提顺便，
王浩一九七三年，
OCR研究曾经钻，//optical character recognition
汉字识别电脑练。
对此哥氏误会显，
他觉王浩所攻关，
经由外形个性看，
人的品行可预见；
哥即表示他很赞，
自己兴趣也不浅。
哥氏逝世蒯因说：
哲学系统不述作，
顺藤摸瓜容易察，
唯心主义哥执著，
老牌理性论更多。
莱本尼兹人德国，
理性主义成学说；
哥氏推崇也贯彻，
他指莱氏预示多，
数理逻辑大源头。
《今哲文库》希氏编，//希尔普编《在世哲学家文库》
哥写《爱因斯坦卷》，
文章不长哥氏辨，
广义相对论有偏，
支持唯心论观点。
哥氏爱翁友情深，
哲学宗教艺术政，
两人情趣截然分。
泛神论者爱终身，
斯宾诺莎他追寻；
有神论者哥一生，
莱本尼兹他崇尊。
古典音乐爱爱听；
现代抽象哥喜瞪。
1952选情昏，
爱氏选史蒂文森；
哥选艾森豪威尔。
由此可见俩互尊，
源于智力非共鸣。
不完全性定理成，
哥氏自己难相信：
漂亮简洁此证明！
前人是否已先行，
他才开始细查证。
麦卡尼星我联想，//McCartney
“甲壳虫”乐队主唱，
一天梦醒灵感上，
Yesterday词曲酿，
也不相信自己强，
优美音乐流心房，
一月时间逢人讲：
听否此歌超级棒？
哲学界一趣话题，
哲人本科专业几。
维也纳大学刚抵，
哥德尔主修物理。
数学课上受启迪，
转学数学他立即。
讲者富氏大师级，//菲利普-富特文格勒
数论大家明觉厉。
富氏心健体残疾，
课堂讲课坐轮椅，
助理板书他手替。
哥德尔很受激励：
富老确实了不起，
弱不禁风哥氏体，
有共鸣才惺相惜。
富氏指挥有兄弟，//威廉•富特文格勒，德国著名指挥家和作曲家
同名仅仅此而已。
哥德尔在维也纳，
维也纳小组参加。
小组石里克老大，
研读罗素领大家，
《数理哲学导论》扒，
哥氏读完决定下，
数理逻辑潜心抓。
哥氏还参加其它，
维氏《逻论》书阐发。 //维特根斯坦《逻辑哲学论》。
维也纳小组风刮，
逻辑实证论坐大。
格格不入哥自察，
但不公开把难发。
小组另一人哈恩，
（后来哥氏博导成，
另一博导富特文。）//富特文格勒
《数学原理》班讨论，//罗素
哥没参加自学愣。
读《数理哲学导论》，
二次聚会近完成，
石里克对同学问：
“下次谁讲可有人？”
问了两遍才有声，
表示愿意讲下轮；
哥德尔是那个人。
讲课哥难受欢迎，
因他讲课与写文，
用词遣句忒小心，
不理解者觉特闷。
北大教授有洪谦，
正统哲学国派遣，
欧洲学成海龟返。
维也纳小组曾参，
见过哥氏忆匪浅，
他道“哥氏是奇观，
数学讨论课常见。
后来他也讲课练，
寥寥无几听众鲜。
至多讲过五六遍，
后来停止收了摊，
因为没人听面前。
我去听过好几遍。
每话都停长时间，
遣词琢句考虑慢。
小组讨论会上见，
也少看到他发言。”
女数学家陶斯基，//Taussky
与哥同岁同窗习，
维也纳组她也去。
她忆哥氏洋宝玉，
爱和女生在一起，
亲眼拍拖轻年纪，
那女提他有怨气，
说他“宠坏懒无比，
天天睡到日挂起”。
而且哥颇自视高，
摇头自诩是“大角”。
他也的确数学好，
学识渊博有头脑。
陶说“理解其蹊跷，
为啥爱翁他长聊”。
陶斯基还回忆道：
“库尔特对犹人好，//库尔特是哥德尔的名
对我感叹犹太教，
没头没脑激动叫：
存乎奇迹国已消，
仅靠信仰千年保，
就像民族大国耀。“
哲人有疾就怕说，
哥氏精神疾病磨，
自杀倾向犯几多。
晚期最怕被人恶，
下毒谋杀不得活。
怀疑医生骗瞎说。
老友死讯冲击波；
爱翁病逝他也卧，
一病竟至两月多。
得知摩死他惊愕，//摩根斯顿
很长时间话不说。
摩氏逝前诤友作，
他说妄想症哥得。
哥氏晚年妄想深，
人做饭菜不信任；
太太阿黛尔也病，
没法照顾他衣行。
哥氏只能简食饮。
一次王浩去敲门，
带些鸡肉他妻炖，
事先告哥他将行。
他到却吃闭门羹，
哥疑看他隔着门，
千呼万唤就不听。
王浩只得返败兴，
他把鸡肉留院庭。
不知哥氏吃还扔。
哥氏逝世一月前，
王浩到他家去看。
头脑依然敏锐健，
看不出他大病掩。
他对王说很悲观：
“肯定我已不能判，
否定判断只好变。”
死前三天王浩联，
电话给哥已住院，
彬彬有礼哥寒暄，
但是语气很淡漠。
此时哥已无友圈，
妄想症重绝食饭。
王浩唯一可近前。
哥德尔溘然长逝。
死亡证明说如此：
营养不良不进食，
人格紊乱所导致。
体重六五磅此时。
一月十九葬礼开，
私人性质小安排，
阿黛尔和摩太太，//摩根斯顿，
几家好友王也在。
三月IAS正式待，//The Institute for Advanced Study
追悼仪式隆重开。
王浩科秦各致哀。//Simon Kochen
科秦所言很坦率，
他比哥氏两巨才，
卡夫卡&爱因斯坦。
哥氏没留多遗产，
一切留给妻阿黛。
