Gödel's Proof 2024 pdf epub mobi 電子書 下載


Gödel's Proof

簡體網頁||繁體網頁

Gödel's Proof pdf epub mobi 著者簡介

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


Gödel's Proof pdf epub mobi 圖書描述

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Godel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences - perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times". However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Godel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject. Marking the 50th anniversary of the original publication of Godel's Proof, New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

Gödel's Proof 2024 pdf epub mobi 電子書 下載

Gödel's Proof pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-06-13

Gödel's Proof 2024 pdf epub mobi 電子書 下載

Gödel's Proof 2024 pdf epub mobi 電子書 下載

Gödel's Proof 2024 pdf epub mobi 電子書 下載



喜欢 Gödel's Proof 電子書 的读者还喜欢


Gödel's Proof pdf epub mobi 讀後感

評分

強烈推薦!很難想象一本詮釋如此艱深的理論的科普書籍可以寫得那麼通俗易懂,值得任何關心數學喜歡數學或者想從數學獲取樂趣的人閱讀。這次的譯文也非常負責嚴謹,閱讀起來較順暢。你可以花一天的時間來享受一次神秘的數學之旅。  

評分

哥德爾不完全性定理不是仿悖論,它本身就是一個悖論,所以,哥德爾真的錯瞭,你造嗎? 【哥德爾想證明“形式化”並非那麼靠譜,卻用自己的錯誤反證瞭“形式化”總比“聰明人”靠譜】(算術係統N若一緻,哥德爾語句U不可判定)→(U可一緻擴充N)→(N的一切證明都可遺傳到N')→(U在...  

評分

有足夠理性的人都應該會喜歡這本書. 是否想過有些問題雖然有其真僞,但是卻無法證明. (即在我們用於描述這些問題的缺省的前提和推理規則,或者叫形式係統,是不完備的). 所以,那些在電視裏滔滔不絕預測未來股市,樓市的人不用擔心他們的論斷被除瞭事實之外的某個人駁倒. 所...  

評分

關於數學的一些看法: 數學是一個非常有趣的學科,它與很多東西相關聯,比如到現在為止我都能覺得我們能抽象齣1,2,3,4……抽象齣來數字是一件神奇的事。 兩小兒辯數,比誰說的數字更大: A:一百 B:一韆 A:一萬 B:一億 A:一億加一 B:一億加一再加一 A:反正我是你說...  

評分

PM:一種形式演算係統,在其中能錶達所有通常的算術概念。 1.構造一個公式G,代錶元數學命題“使用PM規則,公式G不可證”。 2.從1可以看齣,G是可證的,當且僅當,~G是可證的。而在PM中,如果G與~G都可證,那麼PM不一緻。所以,如果PM一緻,那麼G不可證。 3.如果PM一緻,G不...  

類似圖書 點擊查看全場最低價
出版者:NYU Press
作者:Ernest Nagel
出品人:
頁數:125
譯者:
出版時間:2001-10-1
價格:USD 25.00
裝幀:Hardcover
isbn號碼:9780814758168
叢書系列:

圖書標籤: 數學  邏輯  哲學  哥德爾  mathematics  分析哲學  數理邏輯  philosophy   


Gödel's Proof 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Gödel's Proof pdf epub mobi 用戶評價

評分

啊啊。。

評分

上學期隻讀懂瞭前麵4章,這學期再翻齣來看覺得真是genius work

評分

看看

評分

看看

評分

嗯深入淺齣深入淺齣

Gödel's Proof 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




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

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有