Gödel's Proof

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

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

出版者:NYU Press
作者:Ernest Nagel
出品人:
頁數:125
译者:
出版時間:2001-10-1
價格:USD 25.00
裝幀:Hardcover
isbn號碼:9780814758168
叢書系列:
圖書標籤:
  • 數學 
  • 邏輯 
  • 哲學 
  • 哥德爾 
  • mathematics 
  • 分析哲學 
  • 數理邏輯 
  • philosophy 
  •  
想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

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.

具體描述

讀後感

評分

这本书像倚天屠龙记一样,演绎了绝世神功,讲了一个少年偶得一书终成绝世高手故事。要命的是,少年偶得之书就是这本书,等于说,这本书既是倚天屠龙记,又就是九阳真经本身。如果你想宅一天,宅得淋漓酣畅,宅得气势如虹,那么就读这本书吧,大号字,一百页,《哥德尔证明》。 ...  

評分

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

評分

哥德尔不完备定理根本策略:   1.建立一个系统PM,使得其序列号与元理论中公理及其引理建立映射关系——得到哥德尔数;   2.利用特殊的定义策略,使得映射建立的序号巨大化、不重复,且有规律性;在哥德尔的论文中,天才地利用里质数、指数、乘积三者 的可还原关系。 ...  

評分

評分

有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统,是不完备的). 所以,那些在电视里滔滔不绝预测未来股市,楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...  

用戶評價

评分

看看

评分

As long as you understand Cantor's diagonalization, you know where it leads to from very early on. But there's still an "aha" moment when Gödel's formalization of the problem finally lands. The intuition answers more wonders than I expected. Fortunate discovery, fortunate read.

评分

絕大部分都寫得還不錯的,特彆是consistency的部分。但是關於證明的主要部分還是這種書的老問題,大概是怎麼樣能夠瞭解,比較詳細(其實也關鍵)的技術細節就仍然很模糊,比如Gödel numbering,diagonal lemma之類完全沒怎麼看懂。

评分

As long as you understand Cantor's diagonalization, you know where it leads to from very early on. But there's still an "aha" moment when Gödel's formalization of the problem finally lands. The intuition answers more wonders than I expected. Fortunate discovery, fortunate read.

评分

數學傢實在是太聰明瞭!個人覺得唯一的敗筆是最後一章,兩位作者急於為哥德爾的研究成果定基調,但是采取的態度確是積極人文的,不夠科學。

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

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有