哥德尔轶事: http://blog.sina.com.cn/s/blog_71329a960100sauh.html
原作:尼克 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 科秦所言很坦率, 他比哥氏两巨才, 卡夫卡&爱因斯坦。 哥氏没留多遗产, 一切留给妻阿黛。
|