歐內斯特·內格爾(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年起,成為《科學美國人》雜誌的編委會成員。他曾用十幾年的時間編輯齣版瞭四捲本的《數學世界》叢書,其中收集瞭從古到今的重要數學文獻,具有極大參考價值,曾多次再版。
'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - "The Guardian". In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel's theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, "Godel's Proof" by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.
太多关于哥德尔定理的讨论,都是就着一点感性认识随意发挥,实在太不着边际。我们都不是逻辑学专家(就我自己而言,在朝着专家的方向努力,能否成功还得两说,但至少现在肯定不是),要完全搞清哥德尔的工作然后再去讨论,既无可能也无必要。但在讨论之前,至少要了解哥德尔的...
評分我看的是1958年的版本,大概是4美元左右购于eBay。在阅读过程中虽然时不时遇到需要读两三遍的句子,但是整体来说这本书还是比较浅易好懂的。不考虑英文水平,高中水平应该就可以读懂。 当然此书对于哥德尔证明当然也只是提纲挈领的概述,很多细节没有深入探讨下去。当然这也没...
評分所谓数的不完备性,即哥德尔证明:存在无穷多个真的算数命题,无法用一套封闭的演绎规则和一组公理推导出来。也就是说,数理无法推知一切。这篇东西不过是思路整理加上自己的一些想法,前面是对哥德尔论证的梳理,自然不能入专业人士的眼;后面就有点脑洞大开了,和哥德尔没啥...
評分太多关于哥德尔定理的讨论,都是就着一点感性认识随意发挥,实在太不着边际。我们都不是逻辑学专家(就我自己而言,在朝着专家的方向努力,能否成功还得两说,但至少现在肯定不是),要完全搞清哥德尔的工作然后再去讨论,既无可能也无必要。但在讨论之前,至少要了解哥德尔的...
評分有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统,是不完备的). 所以,那些在电视里滔滔不绝预测未来股市,楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...
successfully demonstate the scheme but fail to explain why
评分看看
评分successfully demonstate the scheme but fail to explain why
评分successfully demonstate the scheme but fail to explain why
评分看看
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有