哥德爾證明 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年起，成為《科學美國人》雜誌的編委會成員。他曾用十幾年的時間編輯齣版瞭四捲本的《數學世界》叢書，其中收集瞭從古到今的重要數學文獻，具有極大參考價值，曾多次再版。
- 數學
- 哲學
- 哥德爾
- 數理邏輯
- 邏輯
- 科普
- 邏輯學
- Godel
《哥德爾證明》是第一本既麵嚮學者又麵嚮非專業人士，對哥德爾證明的主要思路和廣泛含義作瞭易讀的解釋的書。對任何具有邏輯和哲學品味的受過教育的人士來說，它提供瞭一個深入瞭解先前無法企及的論題的機會。
在此書的新版中，普利策奬的獲奬作者道格拉斯•R·霍夫斯塔特對這一經典著作的原文進行瞭重新斟酌和更新，澄清瞭模糊之處，使論述更為清晰，並使行文更具可讀性。
具體描述
讀後感
我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位，也就是说人如果想知道更多，必然要借助于非逻辑的力量。逻辑和科学是最易于传播的，但很可能人类的进化就这样被淹没在“大多数”、“正常”的...
評分哥德尔不完备定理根本策略： 1.建立一个系统PM，使得其序列号与元理论中公理及其引理建立映射关系——得到哥德尔数； 2.利用特殊的定义策略，使得映射建立的序号巨大化、不重复，且有规律性；在哥德尔的论文中，天才地利用里质数、指数、乘积三者 的可还原关系。 ...
評分我看的是1958年的版本，大概是4美元左右购于eBay。在阅读过程中虽然时不时遇到需要读两三遍的句子，但是整体来说这本书还是比较浅易好懂的。不考虑英文水平，高中水平应该就可以读懂。 当然此书对于哥德尔证明当然也只是提纲挈领的概述，很多细节没有深入探讨下去。当然这也没...
評分有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统，是不完备的）. 所以，那些在电视里滔滔不绝预测未来股市，楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...
評分哥德尔不完备定理根本策略： 1.建立一个系统PM，使得其序列号与元理论中公理及其引理建立映射关系——得到哥德尔数； 2.利用特殊的定义策略，使得映射建立的序号巨大化、不重复，且有规律性；在哥德尔的论文中，天才地利用里质数、指数、乘积三者 的可还原关系。 ...
用戶評價
#紙質書# 嗷~！（星星眼）
评分: B516.59/4242
评分感覺看完這本之後，我大概有能力翻譯《初期奎因論》瞭。
评分工作煩悶無處發泄之後看此書三頁必有清火去毒之功效。
评分#紙質書# 嗷~！（星星眼）
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有