哥德爾證明 pdf epub mobi txt 電子書 下載 2024


哥德爾證明

簡體網頁||繁體網頁
歐內斯特·內格爾(Ernest Nagel)
中國人民大學齣版社
陳東威
2008-3
112
18.00元
平裝
當代世界學術名著·哲學係列
9787300088907

圖書標籤: 數學  哲學  哥德爾  數理邏輯  邏輯  科普  邏輯學  Godel   


喜歡 哥德爾證明 的讀者還喜歡




    點擊這裡下載
        


    想要找書就要到 小哈圖書下載中心
    立刻按 ctrl+D收藏本頁
    你會得到大驚喜!!

    发表于2024-06-21

    哥德爾證明 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

    哥德爾證明 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

    哥德爾證明 pdf epub mobi txt 電子書 下載 2024



    圖書描述

    《哥德爾證明》是第一本既麵嚮學者又麵嚮非專業人士,對哥德爾證明的主要思路和廣泛含義作瞭易讀的解釋的書。對任何具有邏輯和哲學品味的受過教育的人士來說,它提供瞭一個深入瞭解先前無法企及的論題的機會。

    在此書的新版中,普利策奬的獲奬作者道格拉斯•R·霍夫斯塔特對這一經典著作的原文進行瞭重新斟酌和更新,澄清瞭模糊之處,使論述更為清晰,並使行文更具可讀性。

    哥德爾證明 下載 mobi epub pdf txt 電子書

    著者簡介

    歐內斯特·內格爾(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年起,成為《科學美國人》雜誌的編委會成員。他曾用十幾年的時間編輯齣版瞭四捲本的《數學世界》叢書,其中收集瞭從古到今的重要數學文獻,具有極大參考價值,曾多次再版。


    圖書目錄


    哥德爾證明 pdf epub mobi txt 電子書 下載
    想要找書就要到 小哈圖書下載中心
    立刻按 ctrl+D收藏本頁
    你會得到大驚喜!!

    用戶評價

    評分

    深入淺齣~元數學

    評分

    最重要的就是利用瞭理查德悖論,又繞過瞭解決理查德悖論的數學命題與元數學命題的區分。 一直在想,如果新基礎集閤論的層化公式要求被引入到邏輯學中,會如何。不過大概也就和1936年羅素證明的一樣,得到一個完備且自恰但不是遞歸可遍曆的公理集吧。

    評分

    好吧,這貨簡直就是數學的毀滅使者,在他25歲的時候,一舉摧毀瞭邏輯主義、形式主義和集閤化公理三大學派,也摧毀瞭我的智商。9萬字的小冊子,看瞭一個下午,腦子都要爆炸瞭。

    評分

    1. 對於一個符閤一緻性的公理體係,其中必存在不能證明也不能證僞的命題。即一緻的公理體係不完備;2. 公理體係的一緻性在自身中是無法證明的。

    評分

    編碼部分講的挺通俗的,

    讀後感

    評分

    我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位,也就是说人如果想知道更多,必然要借助于非逻辑的力量。逻辑和科学是最易于传播的,但很可能人类的进化就这样被淹没在“大多数”、“正常”的...  

    評分

    关于数学的一些看法: 数学是一个非常有趣的学科,它与很多东西相关联,比如到现在为止我都能觉得我们能抽象出1,2,3,4……抽象出来数字是一件神奇的事。 两小儿辩数,比谁说的数字更大: A:一百 B:一千 A:一万 B:一亿 A:一亿加一 B:一亿加一再加一 A:反正我是你说...  

    評分

    哥德尔不完全性定理不是仿悖论,它本身就是一个悖论,所以,哥德尔真的错了,你造吗? 【哥德尔想证明“形式化”并非那么靠谱,却用自己的错误反证了“形式化”总比“聪明人”靠谱】(算术系统N若一致,哥德尔语句U不可判定)→(U可一致扩充N)→(N的一切证明都可遗传到N')→(U在...  

    評分

    我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位,也就是说人如果想知道更多,必然要借助于非逻辑的力量。逻辑和科学是最易于传播的,但很可能人类的进化就这样被淹没在“大多数”、“正常”的...  

    評分

    关于数学的一些看法: 数学是一个非常有趣的学科,它与很多东西相关联,比如到现在为止我都能觉得我们能抽象出1,2,3,4……抽象出来数字是一件神奇的事。 两小儿辩数,比谁说的数字更大: A:一百 B:一千 A:一万 B:一亿 A:一亿加一 B:一亿加一再加一 A:反正我是你说...  

    類似圖書 點擊查看全場最低價

    哥德爾證明 pdf epub mobi txt 電子書 下載 2024


    分享鏈接





    相關圖書




    本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度googlebingsogou

    友情鏈接

    © 2024 twxs8.cc All Rights Reserved. 小哈圖書下載中心 版权所有