邏輯人生 在線電子書 圖書標籤: 傳記 哥德爾 數學 邏輯 哲學 科普 邏輯學 邏輯學
發表於2024-12-22
邏輯人生 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
什麼時候嚮錶弟科普下。
評分摘引哥德爾的一段話:“人類精神是不可能形式化所有數學直覺的。即如果我們能夠成功地形式化它的一部分,這個事實就恰好需要一種新的直覺知識,例如,這種形式主義的一緻性知識。”足夠精闢,不過讓我想起康德哲學中理性對於知性的統籌能力。
評分對超越韆年的永恒知識的欲望一如既往。
評分對我影響非常大的書。
評分假期閱讀
約翰.L·卡斯蒂,1943年生於波特蘭,1970年在南加利福尼亞大學獲數學博士學位,1992年加入美國聖菲研究所。著作有《實在更替》、《範式喪失》、《尋求確定性》、《復雜化》、《五項黃金法則》、《虛實世界>和《劍橋五重奏》。
維爾納·德波利,維也納大學統計與計算機科學研究所教授。他著有好幾本有關哥德爾的德文書,並曾為德語電視節目製作過一部有關哥德爾的節目。
《邏輯人生:哥德爾傳》在介紹哥德爾精彩的一生時,把我們帶到邏輯邊界和邏輯之外,深入到最激動人心的哲學未知領域進行探索。哥德爾:一位智慧巨人,他的不完全性定理不僅改變瞭數學,而且改變瞭整個科學世界和建築於此定理之上的哲學。在《邏輯人生:哥德爾傳》中,作者為我們描述瞭這樣一個復雜的人物:既入世又遁世,既雄心勃勃又固執己見。他是愛因斯坦一直找尋的談伴,並被愛因斯坦視為知音。
生活部分写得像八卦,满有趣。理论部分讲得非常浅显,基本上只说出了结论,没有论证,而是用类比来讲解结论的意义。对于一般想了解不完备定理得人而言足够了,出去装13肯定没问题。 我同时还读了那本Godel's Proof。此书是一本严肃的导论性读物,想深入了解的人可以参考。该书...
評分哥德尔不完全性定理粉碎了数学家两千年来实现统一的信念。哥德尔告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。 哥德尔的逻辑求证有点复杂,我尝试用生活常识去理解。 电视节目最喜欢做情感类节目,拿别人的隐私来抒发己见。多几个回合,敏锐的嘉宾能...
評分 評分《逻辑人生》讲的是哥德尔的不完全定理,论述该定理的直观、内涵及其思想的延伸。算不得哥德尔传记。 个人比较喜欢第一、二、三章,能用简洁直观的语言大致描述哥德尔定理的轮廓,并试图解释形式化、语言、哲学之间的关系,挺精彩。 第四、第五章,对哥德尔生活和工作进行简...
邏輯人生 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024