Godel's Proof 在线电子书 图书标签: 哥德尔 数学 Math English
发表于2024-12-24
Godel's Proof 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
罗素悖论真是比Richard paradox好理解到不知哪里去- - 回学校看实体书二刷吧- - #捉急
评分看看
评分#想给六星
评分successfully demonstate the scheme but fail to explain why
评分#想给六星
欧内斯特·内格尔(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.
PM:一种形式演算系统,在其中能表达所有通常的算术概念。 1.构造一个公式G,代表元数学命题“使用PM规则,公式G不可证”。 2.从1可以看出,G是可证的,当且仅当,~G是可证的。而在PM中,如果G与~G都可证,那么PM不一致。所以,如果PM一致,那么G不可证。 3.如果PM一致,G不...
评分对于像我这种伪数学迷来说,最喜欢的就是这类书了。 豆瓣评论有限制,的确严重降低评论质量,凭啥让我非得写满规定字数。有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有...
评分这本书像倚天屠龙记一样,演绎了绝世神功,讲了一个少年偶得一书终成绝世高手故事。要命的是,少年偶得之书就是这本书,等于说,这本书既是倚天屠龙记,又就是九阳真经本身。如果你想宅一天,宅得淋漓酣畅,宅得气势如虹,那么就读这本书吧,大号字,一百页,《哥德尔证明》。 ...
评分写一点废话,加深记忆 试图以模型论为数学基础的3个思路 1.寻找一个模型作为解释使其一致(无限后退) 2.几何→代数(同上) 3.Hilbert:把元数学和对象数学分开 元数学:关于符号(种类、排列、运作规则) 对象数学:通常数学 沿用思路3:分析完全形式化的演算系统所包含的...
评分简单的英文,清晰的思路,从头讲起,虽然有时候略显拖沓,但是做到了深入浅出。总体感觉就是读的时候以为懂了,过会儿就发现没懂。对于毫无基础的我来讲,要不重新看,要不换本别的互为参考。 另外,我居然发现了此书论证中的印刷错误。虽然整体而言还是没懂,但是借此聊以自...
Godel's Proof 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024