歐內斯特·內格爾(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-05-17
哥德爾證明 2024 pdf epub mobi 電子書 下載
哥德爾不完全性定理不是仿悖論,它本身就是一個悖論,所以,哥德爾真的錯瞭,你造嗎? 【哥德爾想證明“形式化”並非那麼靠譜,卻用自己的錯誤反證瞭“形式化”總比“聰明人”靠譜】(算術係統N若一緻,哥德爾語句U不可判定)→(U可一緻擴充N)→(N的一切證明都可遺傳到N')→(U在...
評分 評分0 高中時期翻過大半本,想來書的語言足夠有趣也還算是易「懂」的 0.1 缺乏足夠強的 motivation 卻因各種原因「被迫」讀書,是否學得好自是一方麵,此外,慢慢喪失瞭對趣味性的追求。就好比此前看 GEB 時會覺得形式化幾句就說得清楚的事情,何必大費周摺玩得如此文雅呢?如此這...
評分對於像我這種僞數學迷來說,最喜歡的就是這類書瞭。 豆瓣評論有限製,的確嚴重降低評論質量,憑啥讓我非得寫滿規定字數。有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有...
評分這本書像倚天屠龍記一樣,演繹瞭絕世神功,講瞭一個少年偶得一書終成絕世高手故事。要命的是,少年偶得之書就是這本書,等於說,這本書既是倚天屠龍記,又就是九陽真經本身。如果你想宅一天,宅得淋灕酣暢,宅得氣勢如虹,那麼就讀這本書吧,大號字,一百頁,《哥德爾證明》。 ...
圖書標籤: 數學 哲學 哥德爾 數理邏輯 邏輯 科普 邏輯學 Godel
工作煩悶無處發泄之後看此書三頁必有清火去毒之功效。
評分最重要的就是利用瞭理查德悖論,又繞過瞭解決理查德悖論的數學命題與元數學命題的區分。 一直在想,如果新基礎集閤論的層化公式要求被引入到邏輯學中,會如何。不過大概也就和1936年羅素證明的一樣,得到一個完備且自恰但不是遞歸可遍曆的公理集吧。
評分最重要的就是利用瞭理查德悖論,又繞過瞭解決理查德悖論的數學命題與元數學命題的區分。 一直在想,如果新基礎集閤論的層化公式要求被引入到邏輯學中,會如何。不過大概也就和1936年羅素證明的一樣,得到一個完備且自恰但不是遞歸可遍曆的公理集吧。
評分因為篇幅的限製,對於德爾不完全性定理並沒有非常係統的介紹,省略很多必要的證明,其中關於Dem和Sub函數的定義也是含糊其辭的。可以映射於自身的形式係統是難以通過係統內部的演繹規則得齣一緻性證明的,似乎也就規定瞭人工智能的先天局限。當然對於人類似乎也是如此,如果排除某些先驗的判斷的話。
評分深入淺齣~元數學
哥德爾證明 2024 pdf epub mobi 電子書 下載