Gödel's Proof pdf epub mobi txt 电子书 下载 2024


Gödel's Proof

简体网页||繁体网页
Ernest Nagel
NYU Press
2001-10-1
125
USD 25.00
Hardcover
9780814758168

图书标签: 数学  逻辑  哲学  哥德尔  mathematics  分析哲学  数理逻辑  philosophy   


喜欢 Gödel's Proof 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23

Gödel's Proof epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Gödel's Proof epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Gödel's Proof pdf epub mobi txt 电子书 下载 2024



图书描述

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.

Gödel's Proof 下载 mobi epub pdf txt 电子书

著者简介

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


图书目录


Gödel's Proof pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

迈向认知逻辑的前几级台阶

评分

看看

评分

such a genius

评分

看的是1958年的版本

评分

迈向认知逻辑的前几级台阶

读后感

评分

我看的是1958年的版本,大概是4美元左右购于eBay。在阅读过程中虽然时不时遇到需要读两三遍的句子,但是整体来说这本书还是比较浅易好懂的。不考虑英文水平,高中水平应该就可以读懂。 当然此书对于哥德尔证明当然也只是提纲挈领的概述,很多细节没有深入探讨下去。当然这也没...  

评分

我看的是1958年的版本,大概是4美元左右购于eBay。在阅读过程中虽然时不时遇到需要读两三遍的句子,但是整体来说这本书还是比较浅易好懂的。不考虑英文水平,高中水平应该就可以读懂。 当然此书对于哥德尔证明当然也只是提纲挈领的概述,很多细节没有深入探讨下去。当然这也没...  

评分

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

评分

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

评分

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

类似图书 点击查看全场最低价

Gödel's Proof pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




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

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有