Godel's Proof 2025 pdf epub mobi 电子书


Godel's Proof

简体网页||繁体网页

Godel's Proof 2025 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年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。


Godel's Proof 电子书 图书目录




下载链接1
下载链接2
下载链接3
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2025-03-18

Godel's Proof 2025 pdf epub mobi 电子书

Godel's Proof 2025 pdf epub mobi 电子书

Godel's Proof 2025 pdf epub mobi 电子书



喜欢 Godel's Proof 电子书 的读者还喜欢


Godel's Proof 电子书 读后感

评分

该定理的另一个主要应用领域,是数学的一个应用分枝——计算机和人工智能。现在把我文中提过的停机问题简单介绍一下。计算机到现在有了极大的发展,但是基本原理还是冯·诺依曼提出来的,只是速度和效率大大提高了。从根本上说,计算机的程序,就是一种基于2进制数字运算的命题...  

评分

该定理的另一个主要应用领域,是数学的一个应用分枝——计算机和人工智能。现在把我文中提过的停机问题简单介绍一下。计算机到现在有了极大的发展,但是基本原理还是冯·诺依曼提出来的,只是速度和效率大大提高了。从根本上说,计算机的程序,就是一种基于2进制数字运算的命题...  

评分

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

评分

关于数学的一些看法: 数学是一个非常有趣的学科,它与很多东西相关联,比如到现在为止我都能觉得我们能抽象出1,2,3,4……抽象出来数字是一件神奇的事。 两小儿辩数,比谁说的数字更大: A:一百 B:一千 A:一万 B:一亿 A:一亿加一 B:一亿加一再加一 A:反正我是你说...  

评分

哥德尔不完全性定理不是仿悖论,它本身就是一个悖论,所以,哥德尔真的错了,你造吗? 【哥德尔想证明“形式化”并非那么靠谱,却用自己的错误反证了“形式化”总比“聪明人”靠谱】(算术系统N若一致,哥德尔语句U不可判定)→(U可一致扩充N)→(N的一切证明都可遗传到N')→(U在...  

类似图书 点击查看全场最低价
出版者:Routledge
作者:Ernest Nagel
出品人:
页数:104
译者:
出版时间:2005-9-9
价格:GBP 11.99
装帧:Paperback
isbn号码:9780415355285
丛书系列:Routledge Classics

图书标签: 哥德尔  数学  Math  English   


Godel's Proof 2025 pdf epub mobi 电子书 图书描述

'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.

Godel's Proof 2025 pdf epub mobi 电子书

Godel's Proof 2025 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Godel's Proof 2025 pdf epub mobi 用户评价

评分

#想给六星

评分

看看

评分

successfully demonstate the scheme but fail to explain why

评分

看看

评分

#想给六星

Godel's Proof 2025 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有