我想要哥德爾的所有資料．．．

Question

誰有哥德爾的所有資料阿．．
我希望能有很多很多．．
包括他發明了哪些數學公式　怎麼算之類的．．

麻煩大家囉！！
感謝！！

Answer 1

庫爾特·哥德爾維基百科，自由的百科全書跳转到： 导航, 搜尋
圖片參考：http://zh.wikipedia.org/skins-1.5/common/images/magnify-clip.png
庫爾特·哥德爾（Kurt Gödel‎，1906年4月28日—1978年1月14日），數學家、邏輯學家和哲學家。其最傑出的貢獻是哥德爾不完備定理。[編輯]學術哥德爾是個興趣廣泛的人。他在大學時本來修讀理論物理,基礎數學，後來又轉研數理邏輯、集合論，但1940年代中就將注意力投放在哲學上。大學時，哥德爾曾參加石里克小組的聚會。1930年9月7日，他正式宣佈其哥德爾不完備定理，引起當時重要數學家如馮諾曼和希爾伯特等的重視。後來又鑽研連續統假設，但未能完全解決該問題。[編輯]性格哥德爾是個要求嚴格的人。因此，他很多的想法在生前都沒有正式發表甚至記錄，要逝世後從其手稿找出。他不喜歡談論自己或受到注目。哥德爾曾要求王浩在死後才可以發表一篇有關他的傳記。他在學術研究之外的東西，都不公開發表意見。他亦討厭旅行。他自幼多病，而且從小便患了疑病癥。他還患過抑鬱症。後來他在普林斯頓的醫院絕食而死，因為他認為那些食物有毒。[編輯]社交哥德爾的妻子原本在夜總會工作，還已婚。他們的婚姻遭到哥德爾家人返對，但有情人終成眷屬，在1938年9月20日結婚。他們沒有小孩。他和家人感情不壞，哥德爾去了美國後還常常跟他們書信，之後接他們到美國。但其家人似乎對他了解不深：讀大學時，哥德爾的兄長研習醫學，從其他人口中才知道他在數學方面頗有名氣。在普林斯頓時，哥德爾和愛因斯坦成了很好的朋友。後人常將他們比較。哥德爾和愛因斯坦都在自己的範疇有極為重大的貢獻，很聰明，有好奇心，直率。但愛因斯坦性格開朗外向，這點和哥德爾大相逕庭。愛因斯坦的死對哥德爾的情緒有很大打擊。[編輯]國籍雖然他的傳記列出得多國家，他通常被視為奧地利人。他出生在奧匈帝國的布爾諾，在十二歲時成為捷克斯洛伐克公民，在二十三歲時成為奧地利公民。當希特勒吞併奧地利時，哥德爾自動成為德國人。第二次世界大戰後，他再次成為奧地利公民，而且取得美國公民權利。在數理邏輯中，哥德爾不完備定理是庫爾特·哥德爾於1930年證明並發表的兩條定理。簡單地說，第一條定理指出：任何一個相容的數學形式化理論中，只要它強到足以在其中定義自然數的概念，就可以在其中構造在體系中既不能證明也不能否證的命題。這條定理是在數學界以外最著名的定理之一，也是誤解最多的定理之一。形式邏輯中有一條定理也同樣容易被錯誤表述。有許多命題聽起來很像是哥德爾不完備定理，但事實上是錯誤的。稍後我們可以看到一些對哥德爾定理的誤解。把第一條定理的證明過程在體系內部形式化後，哥德爾證明了他的第二條定理。該定理指出：任何相容的形式體系不能用於證明它本身的相容性。這個結果破壞了數學中一個稱為希爾伯特計劃的哲學企圖。大衛·希爾伯特(David Hilbert)提出，象實分析那樣較為複雜的體系的相容性，可以用較為簡單的體系中的手段來證明。最終，全部數學的相容性可以歸結為基本算術的相容性。但哥德爾的第二條定理證明了基本算術的相容性不能在自身內部證明，因此當然就不能用來證明比它更強的系統的相容性了。目錄[隱藏]1 哥德爾不完備定理的意義 2 不確定命題的例子 3 對哥德爾定理的一些誤解 4 討論和推論 5 第一不完備定理的證明要點 6 第二不完備定理的證明要點 7 參見 8 外部連接和參考資料