紮紮爸的博客

遊吟矽穀打油翁, 倒油入瓶穿錢孔。 潛修默行油瓶拎, 瓶裏波瀾世俗映。
正文

打油改編尼克之《哥德爾軼事》(油稿全文)

(2013-12-22 10:39:25) 下一個






哥德爾軼事
: 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
科秦所言很坦率,
他比哥氏兩巨才,
卡夫卡&愛因斯坦。
哥氏沒留多遺產,
一切留給妻阿黛。










[ 打印 ]
閱讀 ()評論 (3)
評論
zhazhaba 回複 悄悄話 回複 'pecancracker' 的評論 : 幹計算機的, 以前學過數理邏輯,也練過認知科學。
這篇的內容完全來自老友尼克的博客原作(http://blog.sina.com.cn/s/blog_71329a960100sauh.html ), 我隻是盡力忠實於原作打油改編罷了。
另外還有兩篇講維特根斯坦和圖靈的, 放在
http://blog.wenxuecity.com/myblog/64247/201312/19398.html
http://blog.wenxuecity.com/myblog/64247/201312/19443.html

歡迎閱讀!
pecancracker 回複 悄悄話 請問您是哲學專業,還是邏輯學專業的?
揚州一怪 回複 悄悄話 謝分享
登錄後才可評論.