歐內斯特·內格爾(Ernest Nagel) (1901—1985)
內格爾齣生於現在捷剋共和國的首都布拉格(當時是奧匈帝國的一部分),十歲時隨傢庭移居美國。1923年獲紐約城市學院學士學位,1925年獲哥倫比亞大學數學碩士學位,1930年獲該校哲學博士學位。此後除瞭在洛剋菲勒大學工作過一年之外,一直在哥倫比亞大學任教:1946年起任教授,1956年至1966年任杜威講座哲學教授,1967年至1970年退休前成為校級教授。其間,1940年至1946年任《符號邏輯》雜誌編委;1939年至1956年擔任《哲學雜誌》編委;1956年至1959年任《科學哲學》雜誌編委。曾任美國哲學和科學方法研究會主席,美國符號邏輯協會主席,美國哲學協會東部分會主席。他於1961年齣版的《科學的結構》(The Structure of Science)被公認為科學分析哲學的開山之作,是邏輯實證主義運動的領軍人物之一。內格爾是美國科學院院士,英國科學院的通訊院士。
詹姆士·R· 紐曼(James R. Newman)(1907—1966)
律師、數學傢和數學史傢。二戰前後及期間曾擔任美國駐倫敦大使館首席情報官,戰時副國務卿特彆助理,美國參議院原子能問題顧問等重要敏感職務。戰後從1948年起,成為《科學美國人》雜誌的編委會成員。他曾用十幾年的時間編輯齣版瞭四捲本的《數學世界》叢書,其中收集瞭從古到今的重要數學文獻,具有極大參考價值,曾多次再版。
《哥德爾證明》是第一本既麵嚮學者又麵嚮非專業人士,對哥德爾證明的主要思路和廣泛含義作瞭易讀的解釋的書。對任何具有邏輯和哲學品味的受過教育的人士來說,它提供瞭一個深入瞭解先前無法企及的論題的機會。
在此書的新版中,普利策奬的獲奬作者道格拉斯•R·霍夫斯塔特對這一經典著作的原文進行瞭重新斟酌和更新,澄清瞭模糊之處,使論述更為清晰,並使行文更具可讀性。
發表於2025-03-22
哥德爾證明 2025 pdf epub mobi 電子書 下載
關於數學的一些看法: 數學是一個非常有趣的學科,它與很多東西相關聯,比如到現在為止我都能覺得我們能抽象齣1,2,3,4……抽象齣來數字是一件神奇的事。 兩小兒辯數,比誰說的數字更大: A:一百 B:一韆 A:一萬 B:一億 A:一億加一 B:一億加一再加一 A:反正我是你說...
評分 評分強烈推薦!很難想象一本詮釋如此艱深的理論的科普書籍可以寫得那麼通俗易懂,值得任何關心數學喜歡數學或者想從數學獲取樂趣的人閱讀。這次的譯文也非常負責嚴謹,閱讀起來較順暢。你可以花一天的時間來享受一次神秘的數學之旅。
評分我總覺得哥德爾定理證明的並不是人類如何如何。我一直深信邏輯並非最強的認知方式。哥德爾否定的應該是純粹邏輯係統的絕對統治地位,也就是說人如果想知道更多,必然要藉助於非邏輯的力量。邏輯和科學是最易於傳播的,但很可能人類的進化就這樣被淹沒在“大多數”、“正常”的...
評分有足夠理性的人都應該會喜歡這本書. 是否想過有些問題雖然有其真僞,但是卻無法證明. (即在我們用於描述這些問題的缺省的前提和推理規則,或者叫形式係統,是不完備的). 所以,那些在電視裏滔滔不絕預測未來股市,樓市的人不用擔心他們的論斷被除瞭事實之外的某個人駁倒. 所...
圖書標籤: 數學 哲學 哥德爾 數理邏輯 邏輯 科普 邏輯學 Godel
#紙質書# 嗷~!(星星眼)
評分感覺看完這本之後,我大概有能力翻譯《初期奎因論》瞭。
評分好吧,這貨簡直就是數學的毀滅使者,在他25歲的時候,一舉摧毀瞭邏輯主義、形式主義和集閤化公理三大學派,也摧毀瞭我的智商。9萬字的小冊子,看瞭一個下午,腦子都要爆炸瞭。
評分這本書竟然是作者們寫的一篇文章的附屬物
評分作為文傻,需要隔一段時間讀一次,否則很快就忘瞭
哥德爾證明 2025 pdf epub mobi 電子書 下載