登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 恶的哲学研究（社会思想丛书） 》 售價：NT$ 500.0 《 当你沉默时（悬疑推理 反PUA 反家暴 女性独立小说，揭秘情感PUA的真相，女性自我救赎的文学典范） 》 售價：NT$ 255.0 《 不止江湖 》 售價：NT$ 449.0 《 天才留步！——从文艺复兴到新艺术运动（一本关于艺术天才的鲜活故事集，聚焦艺术史的高光时刻！） 》 售價：NT$ 704.0 《 双城史 》 售價：NT$ 505.0 《 冯友兰和青年谈心系列：不是问题的问题（哲学大师冯友兰和年轻人谈心，命运解读） 》 售價：NT$ 254.0 《 月与蟹（青鲤文库）荣获第144届直木奖，天才推理作家经典作品全新译本。一部青春狂想曲，带你登上心理悬疑之巅。 》 售價：NT$ 230.0 《 索恩丛书·盛清统治下的太监与皇帝 》 售價：NT$ 403.0

編輯推薦： 进入哥德尔不完全性定理的简明指南 短小精悍的篇幅囊括证明的核心论题 详细的脚注进一步明确了术语和陈述 《哥德尔、艾舍尔、巴赫》前传之作 內容簡介： 1931年，逻辑学家、数学家库尔特哥德尔（Kurt Godel）发表的关于不完全性定理的论文，挑战了数学和逻辑研究中的基本假设，被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献，他获得了被誉为在美国同类奖项中蕞高奖的第yi届阿尔伯特爱因斯坦奖。 哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题，为首次进入哥德尔证明思想的读者提供了一幅简明地图。 本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。本书译自原书50周年纪念版。在此版本中，侯世达澄清了原文本中的一些歧义之处，并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系，还解释了哥德尔证明的本质，明确了哥德尔证明对于思考认知科学特别是人工智能发展的重要意义。 關於作者： 作者简介 欧内斯特内格尔（Ernest Nagel，19011985）　美国科学哲学家，逻辑实证主义运动领军人物。1930年于哥伦比亚大学获得博士学位，其后主要在该校任教。1977年入选美国国家科学院。曾任美国哲学学会东部分会主席、美国科学哲学协会主席，《哲学杂志》与《符号逻辑杂志》主编。1961年出版的《科学的结构》（The Structure of Science）被公认为科学分析哲学的开山之作。 詹姆斯R. 纽曼（James R. Newman，19071966） 美国数学家，数学史家，律师。1948年成为《科学美国人》杂志编委会成员。1956年出版的四卷本《数学的世界》（The World of Mathematics）汇聚了他用15年时间收集、整理的数学领域的重要文献，曾多次重印再版。 侯世达（Douglas R. Hofstadter，1945　）美国认知科学家，哲学家。2009年入选美国艺术与科学院、美国哲学学会，2010年入选瑞典乌普萨拉皇家科学院。其代表作《哥德尔、艾舍尔、巴赫》（Godel, Escher, Bach，1979）获得普利策奖与美国国家图书奖。 译者简介 刘新文　中国社会科学院研究生院哲学博士，中国社会科学院哲学所研究员，中国社会科学院大学教授。主要研究方向为哲学逻辑和逻辑哲学。出版有专著《图式逻辑》《谢弗函数研究》《可能世界的名字》和译著《模态对应理论》《逻辑基础问题》等。 目錄： 第一章 导 论 第二章 一致性问题 第三章 一致性的绝对证明 第四章 形式逻辑的系统化 第五章 一致性的绝对证明：成功之例 第六章 映射观念及其在数学中的使用 第七章 哥德尔的证明 第八章 总结性思考 附 录 参考文献 译后记 在线试读导论 但是，在哥德尔这篇论文发表的时候，大多数数学家既困惑于论文的标题，也难以理解论文的内容。标题中所提到的《数学原理》，乃是阿尔弗雷德诺斯怀特海和伯特兰罗素合写的关于数理逻辑和数学基础的三卷本不朽巨著；数学的大多数分支中的成功研究却并不需要预设熟悉这部著作。此外，哥德尔的论文所处理的一组问题一直以来只引起过相当少一部分学者的兴趣。在论文发表的那个时代，这个证明所用到的推理极其新颖，只有那些对一个高度专业化领域的技术性文献非常熟悉的人才能充分理解这个论证。纵使如此，哥德尔建立的结论现在被更广泛地认为是革命性的，因为它们具有广泛的哲学意义。本书的目的正是让非专业人士能够理解哥德尔成果的实质及其证明的一般特征。 哥德尔这篇著名论文要解决数学基础中的一个核心问题。为了有助于读者的理解，有必要预先简单说明一下这个问题产生的背景。毫无疑问，每个学过初等几何的人都记得这是作为一门演绎（deductive）学科来教的。几何学不是一门实验科学，对于实验科??说，人们接受一个定理乃是由于它们与人的观察一致。一个命题能够作为一个明确的逻辑证明（logical proof）的结论而得以确立，这个观念可以追溯至古希腊人。古希腊人发现了所谓的公理化方法（axiomatic method），并且运用这种方法以系统的方式来发展几何学。公理化方法包括,不加证明地接受某些命题作为公理或公设（例如，过两点只能画出一条直线这条公理）,由公理推导出该系统的所有其他命题作为定理。公理构成了系统的基础；定理是上层结构，是仅借助于逻辑原则从公理得到的。 几何学的公理化发展给古往今来的思想家们留下了力量强大这一印象，因为相对较少的几条公理就具备了相当于由它们推导出的无穷多命题的全部力量。此外，如果这些公理的真可以通过某种方式而得以确立实际上，两千多年来，大多数学者都毫无疑问地相信这些公理对于空间来说是真的那么，所有定理的真及其相互之间的一致性就自动得到了保证。由于这些原因，一代又一代杰出的思想家们都将几何学的公理化形式视为科学知识的最佳典范。所以，人们自然就会问，除了几何学之外，其他思想分支是否也能建立在一个牢靠的公理化基础之上？然而，尽管物理学的某些分支在古代就有了公理化表述［例如，阿基米德（Archimedes）的理论］，但直到现代，几何学仍然是唯一一个拥有被大多数学者所接受的可靠公理化基础的数学分支。 尽管如此，在过去的两个世纪，人们投入了比以往更多的力量和热情来探索公理化方法。数学的新分支和旧分支，包括关于人们熟悉的基数（或整数）属性的研究，都被提出了看似充分的一组公理。由此，观念上渐渐形成了一种氛围，在这样的氛围中，人们默认数学思想的每一个部分都能够被提供出一组公理，这些公理足以系统地发展出给定研究领域的无穷无尽的全部真命题。导论 1931年，一篇相对较短的论文发表在一本德国的科学期刊上，这篇论文有一个令人望而生畏的标题：论《数学原理》及相关系统的形式地不可判定的命题（I）。论文的作者是库尔特哥德尔，当时，这位维也纳大学的年轻数学家刚好25岁，但在1938年之后，他就一直担任普林斯顿高等研究院的终身成员。这篇论文是逻辑和数学历史上的一座丰碑。当哈佛大学在1952年授予哥德尔荣誉学位时，荣誉状将这项工作描述为现代逻辑中最重要的进步之一。 但是，在哥德尔这篇论文发表的时候，大多数数学家既困惑于论文的标题，也难以理解论文的内容。标题中所提到的《数学原理》，乃是阿尔弗雷德诺斯怀特海和伯特兰罗素合写的关于数理逻辑和数学基础的三卷本不朽巨著；数学的大多数分支中的成功研究却并不需要预设熟悉这部著作。此外，哥德尔的论文所处理的一组问题一直以来只引起过相当少一部分学者的兴趣。在论文发表的那个时代，这个证明所用到的推理极其新颖，只有那些对一个高度专业化领域的技术性文献非常熟悉的人才能充分理解这个论证。纵使如此，哥德尔建立的结论现在被更广泛地认为是革命性的，因为它们具有广泛的哲学意义。本书的目的正是让非专业人士能够理解哥德尔成果的实质及其证明的一般特征。 哥德尔这篇著名论文要解决数学基础中的一个核心问题。为了有助于读者的理解，有必要预先简单说明一下这个问题产生的背景。毫无疑问，每个学过初等几何的人都记得这是作为一门演绎（deductive）学科来教的。几何学不是一门实验科学，对于实验科??说，人们接受一个定理乃是由于它们与人的观察一致。一个命题能够作为一个明确的逻辑证明（logical proof）的结论而得以确立，这个观念可以追溯至古希腊人。古希腊人发现了所谓的公理化方法（axiomatic method），并且运用这种方法以系统的方式来发展几何学。公理化方法包括,不加证明地接受某些命题作为公理或公设（例如，过两点只能画出一条直线这条公理）,由公理推导出该系统的所有其他命题作为定理。公理构成了系统的基础；定理是上层结构，是仅借助于逻辑原则从公理得到的。 几何学的公理化发展给古往今来的思想家们留下了力量强大这一印象，因为相对较少的几条公理就具备了相当于由它们推导出的无穷多命题的全部力量。此外，如果这些公理的真可以通过某种方式而得以确立实际上，两千多年来，大多数学者都毫无疑问地相信这些公理对于空间来说是真的那么，所有定理的真及其相互之间的一致性就自动得到了保证。由于这些原因，一代又一代杰出的思想家们都将几何学的公理化形式视为科学知识的最佳典范。所以，人们自然就会问，除了几何学之外，其他思想分支是否也能建立在一个牢靠的公理化基础之上？然而，尽管物理学的某些分支在古代就有了公理化表述［例如，阿基米德（Archimedes）的理论］，但直到现代，几何学仍然是唯一一个拥有被大多数学者所接受的可靠公理化基础的数学分支。 尽管如此，在过去的两个世纪，人们投入了比以往更多的力量和热情来探索公理化方法。数学的新分支和旧分支，包括关于人们熟悉的基数（或整数）属性的研究，都被提出了看似充分的一组公理。由此，观念上渐渐形成了一种氛围，在这样的氛围中，人们默认数学思想的每一个部分都能够被提供出一组公理，这些公理足以系统地发展出给定研究领域的无穷无尽的全部真命题。 哥德尔的论文证明，这个假设是站不住脚的。他向数学家们展示了令人震惊的悲观结论：公理化方法有其固有的局限性，由于这样的局限性，就连非负整数的属性被完全公理化的可能性都被排除了。他还进一步证明，很大一类演绎系统例如数论都不可能建立其内在的逻辑一致性，除非人们采用非常复杂的推理原则，使得这些推理原则的内在一致性与那些系统本身的内在一致性都同样令人怀疑。基于这些结论，数学的很多重要领域都无法得到最终的系统化，数学思想的很多重要分支也不能绝对保证不存在内在矛盾。 所以，哥德尔的发现动摇了先入为主的、根深蒂固的观念，摧毁了古来就有、近来又被数学基础研究所新鲜滋养起来的公理化希望。但是，他的论文也不全都是否定性的。它将一种新的分析技术引入了基础问题的研究，就其本性和成效而言，这种新的技术可以与勒内笛卡尔（Ren Descartes）引入几何学的代数方法相媲美。这种技术提出并引发了逻辑和数学研究中的新问题。它激起了对一度广为接受的数学哲学观乃至更为一般的知识哲学观的重新评价，这种重新评价至今仍在进行中。 哥德尔这篇划时代的论文中的证明细节，如果没有经过相当的数学训练，是很难理解的。但是，只需要非常有限的数学和逻辑准备，他证明的基本结构与其结论的核心部分就可以被读者所理解。为了达到这样的理解，读者可能会发现，对数学史和现代形式逻辑的某些相关发展做一个简短的说明是有帮助的。本书接下来的四个部分将专门对此做一个概述。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.