圖書標籤: 傳記  哥德爾  數學  邏輯  哲學  科普  邏輯學  邏輯學   

喜歡 邏輯人生 的讀者還喜歡

• 
  哥德爾 pdf epub mobi txt 電子書 下載
• 
  不完備性 pdf epub mobi txt 電子書 下載
• 
  數學與自然科學之哲學 pdf epub mobi txt 電子書 下載
• 
  哥德爾 pdf epub mobi txt 電子書 下載
• 
  20世紀場論的概念發展 pdf epub mobi txt 電子書 下載
• 
  哥德爾證明 pdf epub mobi txt 電子書 下載
• 
  數學哲學 pdf epub mobi txt 電子書 下載
• 
  未來是定數嗎？ pdf epub mobi txt 電子書 下載
• 
  希爾伯特 pdf epub mobi txt 電子書 下載
• 
  愛因斯坦奇跡年 pdf epub mobi txt 電子書 下載

摘引哥德爾的一段話：“人類精神是不可能形式化所有數學直覺的。即如果我們能夠成功地形式化它的一部分，這個事實就恰好需要一種新的直覺知識，例如，這種形式主義的一緻性知識。”足夠精闢，不過讓我想起康德哲學中理性對於知性的統籌能力。

三星。偶數章是哥德爾的傳記，奇數章是數理邏輯，兩條綫索可以獨立的走，非常奇特的安排。

從一個學者所達到的成就的角度來講，哥德爾絕對活得值瞭，現在的科研人員的各方麵條件很少有像他那樣好——傢境好無生存壓力、博士論文夠吃一輩子、無教學壓力、無論文指標、無經費壓力、談笑有鴻儒往來無白丁，但是他死前還是有太多的痛苦無法解決（參見惠勒的《宇宙逍遙》）。

傳記就該這麼寫

摘引哥德爾的一段話：“人類精神是不可能形式化所有數學直覺的。即如果我們能夠成功地形式化它的一部分，這個事實就恰好需要一種新的直覺知識，例如，這種形式主義的一緻性知識。”足夠精闢，不過讓我想起康德哲學中理性對於知性的統籌能力。

作为一个数学家，逻辑学家，思想家，哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。 哥德尔定理的应用已不仅仅局限于数学，它根本地揭示了人类认知思维的局限——存在一个命题为真，但你不能证明。 作为一本介绍哥德尔及其定理的入门读物，推荐阅读。  

这是一本不错的哥德尔传记。对于哥德尔的生活的描述还是比较简单的，但是对于他那个著名的不完全性定理的解释相当的精彩，同时把与不完全性定理相关的图灵机、蔡亭的关于“数的复杂性”的理论等等融合在一起，可以与《哥德尔、埃舍尔、巴赫》一起看。

《逻辑人生》讲的是哥德尔的不完全定理，论述该定理的直观、内涵及其思想的延伸。算不得哥德尔传记。 个人比较喜欢第一、二、三章，能用简洁直观的语言大致描述哥德尔定理的轮廓，并试图解释形式化、语言、哲学之间的关系，挺精彩。 第四、第五章，对哥德尔生活和工作进行简...  

生活部分写得像八卦，满有趣。理论部分讲得非常浅显，基本上只说出了结论，没有论证，而是用类比来讲解结论的意义。对于一般想了解不完备定理得人而言足够了，出去装13肯定没问题。 我同时还读了那本Godel's Proof。此书是一本严肃的导论性读物，想深入了解的人可以参考。该书...  

生活部分写得像八卦，满有趣。理论部分讲得非常浅显，基本上只说出了结论，没有论证，而是用类比来讲解结论的意义。对于一般想了解不完备定理得人而言足够了，出去装13肯定没问题。 我同时还读了那本Godel's Proof。此书是一本严肃的导论性读物，想深入了解的人可以参考。该书...