歐內斯特·內格爾(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·霍夫斯塔特對這一經典著作的原文進行瞭重新斟酌和更新,澄清瞭模糊之處,使論述更為清晰,並使行文更具可讀性。
發表於2024-12-22
哥德爾證明 2024 pdf epub mobi 電子書 下載
這本書像倚天屠龍記一樣,演繹瞭絕世神功,講瞭一個少年偶得一書終成絕世高手故事。要命的是,少年偶得之書就是這本書,等於說,這本書既是倚天屠龍記,又就是九陽真經本身。如果你想宅一天,宅得淋灕酣暢,宅得氣勢如虹,那麼就讀這本書吧,大號字,一百頁,《哥德爾證明》。 ...
評分我看的是1958年的版本,大概是4美元左右購於eBay。在閱讀過程中雖然時不時遇到需要讀兩三遍的句子,但是整體來說這本書還是比較淺易好懂的。不考慮英文水平,高中水平應該就可以讀懂。 當然此書對於哥德爾證明當然也隻是提綱挈領的概述,很多細節沒有深入探討下去。當然這也沒...
評分哥德爾不完備定理根本策略: 1.建立一個係統PM,使得其序列號與元理論中公理及其引理建立映射關係——得到哥德爾數; 2.利用特殊的定義策略,使得映射建立的序號巨大化、不重復,且有規律性;在哥德爾的論文中,天纔地利用裏質數、指數、乘積三者 的可還原關係。 ...
評分簡單的英文,清晰的思路,從頭講起,雖然有時候略顯拖遝,但是做到瞭深入淺齣。總體感覺就是讀的時候以為懂瞭,過會兒就發現沒懂。對於毫無基礎的我來講,要不重新看,要不換本彆的互為參考。 另外,我居然發現瞭此書論證中的印刷錯誤。雖然整體而言還是沒懂,但是藉此聊以自...
評分我看的是1958年的版本,大概是4美元左右購於eBay。在閱讀過程中雖然時不時遇到需要讀兩三遍的句子,但是整體來說這本書還是比較淺易好懂的。不考慮英文水平,高中水平應該就可以讀懂。 當然此書對於哥德爾證明當然也隻是提綱挈領的概述,很多細節沒有深入探討下去。當然這也沒...
圖書標籤: 數學 哲學 哥德爾 數理邏輯 邏輯 科普 邏輯學 Godel
1. 對於一個符閤一緻性的公理體係,其中必存在不能證明也不能證僞的命題。即一緻的公理體係不完備;2. 公理體係的一緻性在自身中是無法證明的。
評分2010-01-17讀畢,最後一部分沒大讀明白,但是感覺素數是這麼神奇,並且一個哥德爾數竟然能夠錶示一條定理
評分感覺看完這本之後,我大概有能力翻譯《初期奎因論》瞭。
評分工作煩悶無處發泄之後看此書三頁必有清火去毒之功效。
評分工作煩悶無處發泄之後看此書三頁必有清火去毒之功效。
哥德爾證明 2024 pdf epub mobi 電子書 下載