蛋蛋姐今天什么也沒干
就聽我司某工科男）
抱怨了一下午自己的苦逼性格
內(nèi)向，不會說話，不會討妹子開心
所以還沒有女票
因為內(nèi)向，也不愛出席聚會
朋友也很少
為了勸他我不得不搬出
我壓箱底的這一位科學(xué)家
哥德爾
哥德爾是出了名的性格內(nèi)向
但人家是妥妥的人生贏家啊
他性格內(nèi)向
但朋友都是愛因斯坦、羅素
這種級別的人物
他不愛說話
但是有一個超恩愛的妻子
在外人面前還秀恩愛
他也是理科生
發(fā)表了哥德爾不完全性定理
一舉粉碎了數(shù)學(xué)家兩千年來的信念
真是想想都刺激
與蛋蛋姐寫過的大多數(shù)科學(xué)家不同
哥德爾不是生下來就開始逆天的
相反是個不愛說話的內(nèi)向孩子
和你小時候一樣
他也會在數(shù)學(xué)練習(xí)的時候
算錯4-1=4
蛋蛋姐倒覺得哥德爾比起那些
小大人一樣的天才
有種說不出來的萌點呢
哥德爾就這么平凡的長大了
在所有眼中他仍然是那個
不愛說話，性格內(nèi)向的男孩
直到哥德爾遇到他的一生摯愛
Adele Nimbursky
她是夜總會的舞女
當(dāng)時哥德爾的家里和朋友們
都反對哥德爾和她的婚事
然而哥德爾不反駁任何人
也不顧任何人的反對
和Nimbursky結(jié)婚了
事實證明，他們婚后相當(dāng)幸福
而且內(nèi)向的哥德爾
還會在外人面前偶爾曬幸福
去他們家做客的人
當(dāng)時大概都是這個反應(yīng)
有了美滿的家庭
哥德爾還是和以前一樣
沉默著搞他的研究
哥德爾一生的著作不多
然而每一本都是
“不鳴則已 一鳴驚人”
20世紀(jì)初
他發(fā)現(xiàn)了哥德爾不完全性定理
一舉粉碎了數(shù)學(xué)家兩千年來的信念
本著酷玩的科普精神
介紹一下哥德爾不完全性定理
啪啪啪（敲黑板）
你可能沒有看懂
總的來說就是
“真與可證是兩個概念。可證的一定是真的，但真的不一定可證。某種意義上，悖論的陰影將永遠伴隨著我們。”
這一定理直接搞崩潰了無數(shù)科學(xué)家
不僅使數(shù)學(xué)、邏輯學(xué)發(fā)生革命性的變化
還涉及哲學(xué)、語言學(xué)
和計算機科學(xué)，甚至宇宙學(xué)
北京舉行的國際弦理論會議上發(fā)表了題為《哥德爾與M理論》的報告，認(rèn)為建立一個單一的描述宇宙的大統(tǒng)一理論是不太可能的，這一推測也正是基于哥德爾不完全性定理。
有意思的是，在現(xiàn)今十分熱門的人工智能領(lǐng)域，哥德爾不完全性定理是否適用也成為了人們議論的焦點。
哥德爾一言不發(fā)搞瘋眾多科學(xué)家之后
在維也納時參加了
石里克領(lǐng)導(dǎo)的維也納小組
在輪到他講課時
聽課的人總是寥寥無幾
因為他講課同他寫文章一樣
用詞遣句非常小心
大家都覺得很干燥
這一切都和一個普通的內(nèi)向boy無異
但哥德爾的朋友們都不是吃素的
其中他的好朋友愛因斯坦
曾在晚年時說過
“我自己的工作沒啥意思，
我來上班就是為了
能有同哥德爾一起散步回家的榮幸?！?/span>
談到愛因斯坦，
他和著名的數(shù)學(xué)家、
經(jīng)濟學(xué)家摩根斯頓
都是哥德爾入美國籍的證人
馮·諾依曼在哥德爾獲得愛因斯坦勛章時說：
“哥德爾在現(xiàn)代邏輯中的成就是非凡的、不朽的——他的不朽甚至超過了紀(jì)念碑，他是一個里程碑，是永存的紀(jì)念碑。”
哥德爾經(jīng)常在周末和泡利、羅素等人
進行學(xué)術(shù)交流
晚年時還和我國的數(shù)理邏輯學(xué)家
王浩走得很近
王浩在他生病時
端來自己妻子親手做的雞肉
咱們哥德爾真是雖然內(nèi)向
人際關(guān)系一點沒耽誤啊
晚年的哥德爾行為怪異
因為他不吃除了自己妻子做的任何東西
因為他覺得別人做的東西
里面都有毒！
你們都是處心積慮地要謀殺我！
但是他妻子也是人啊
也有生病的時候
他堅持非妻子做的不吃
于是我們的哥德爾就這么
餓死了
餓...死...了
對你沒有看錯
科學(xué)的病因解釋是
死于人格紊亂造成的
營養(yǎng)不良和食物不足
偉大的數(shù)學(xué)家的就這么去世了
這個故事告訴我們
節(jié)食是沒有出路的
走向人生巔峰的正確捷徑是
從算錯4-1開始
一生堅持做一個吃貨
酷玩實驗室整理編輯
