哥德尔证明 pdf epub mobi txt 电子书 下载 2024


哥德尔证明

简体网页||繁体网页
欧内斯特·内格尔(Ernest Nagel)
中国人民大学出版社
陈东威
2008-3
112
18.00元
平装
当代世界学术名著·哲学系列
9787300088907

图书标签: 数学  哲学  哥德尔  数理逻辑  逻辑  科普  逻辑学  Godel   


喜欢 哥德尔证明 的读者还喜欢




点击这里下载
    


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

发表于2024-07-04

哥德尔证明 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

哥德尔证明 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

哥德尔证明 pdf epub mobi txt 电子书 下载 2024



图书描述

《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。

在此书的新版中,普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。

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


图书目录


哥德尔证明 pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

重读此书,数学太少,作为领域外科普很适合。不过有一点数理逻辑基础还是大有帮助。另外这本书中很多逻辑学概念都没有涉及,所以只能算最浅显的哥德尔论述了。(其实哥德尔证明核心还是构造PM系统消歧义)

评分

深入浅出~元数学

评分

编码部分讲的挺通俗的,

评分

最重要的就是利用了理查德悖论,又绕过了解决理查德悖论的数学命题与元数学命题的区分。 一直在想,如果新基础集合论的层化公式要求被引入到逻辑学中,会如何。不过大概也就和1936年罗素证明的一样,得到一个完备且自恰但不是递归可遍历的公理集吧。

评分

好吧,这货简直就是数学的毁灭使者,在他25岁的时候,一举摧毁了逻辑主义、形式主义和集合化公理三大学派,也摧毁了我的智商。9万字的小册子,看了一个下午,脑子都要爆炸了。

读后感

评分

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

评分

强烈推荐!很难想象一本诠释如此艰深的理论的科普书籍可以写得那么通俗易懂,值得任何关心数学喜欢数学或者想从数学获取乐趣的人阅读。这次的译文也非常负责严谨,阅读起来较顺畅。你可以花一天的时间来享受一次神秘的数学之旅。  

评分

评分

0 高中时期翻过大半本,想来书的语言足够有趣也还算是易「懂」的 0.1 缺乏足够强的 motivation 却因各种原因「被迫」读书,是否学得好自是一方面,此外,慢慢丧失了对趣味性的追求。就好比此前看 GEB 时会觉得形式化几句就说得清楚的事情,何必大费周折玩得如此文雅呢?如此这...  

评分

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

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

哥德尔证明 pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




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

友情链接

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