新書推薦：
《
篡魏：司马懿和他的夺权同盟
》
售價：HK$
65.0
《
狂飙年代：18世纪俄国的新文化和旧文化（第三卷）
》
售價：HK$
177.0
《
协和专家大医说：医话肿瘤
》
售價：HK$
109.8
《
潜水指南 全彩图解第4版
》
售價：HK$
132.2
《
超大规模集成电路设计——从工具到实例
》
售價：HK$
88.5
《
村上春树·旅（一本充满村上元素的旅行指南，带你寻访电影《挪威的森林》拍摄地，全彩印刷；200余幅摄影作品）
》
售價：HK$
66.1
《
智能驾驶硬件在环仿真测试与实践
》
售價：HK$
155.7
《
都铎王朝时期英格兰海事法庭研究
》
售價：HK$
87.4
|
| 編輯推薦： |
一本荣获法兰西学术院哲学大奖的数学书
一本数学爱好者都应该读一读的哲学书
讲述一段别开生面的数学历程
引发一场改变科学面貌的哲学思考
展现算法时代，计算为自然科学与哲学研究带来的震撼之力
|
| 內容簡介： |
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革，展
现了计算为数学研究发展带来的全新前景，展望了这场数学革命在自然科学、信
息科学与哲学领域引发的重大变革。本书荣获年法兰西学术院哲学大奖，一直是数学、计算机科学和哲学领域的畅销读物。
|
| 關於作者： |
吉尔多维克（Gilles Dowek）
法国数学家、逻辑学家和计算机科学家，法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
|
| 目錄：
|
第一篇 古老的起源
第1章 从史前数学到希腊数学 2
第2章 计算两千年 17
第二篇 古典时代
第3章 谓词逻辑 36
第4章 判定性问题与丘奇定理 56
第5章 丘奇论题 73
第6章 为计算树立数学地位的尝试演算 94
第7章 构造性 100
第8章 构造性证明与算法 113
第三篇 公理化危机
第9章 直觉主义类型论 122
第10章 自动化证明 132
第11章 证明检验 145
第12章 学界新进展 153
第13章 工 具 172
第14章 公理的终结？ 187
结语 旅程的尾声 190
附录一 人物简介 193
附录二 参考文献 208
索 引 212
|
| 內容試閱：
|
数学踏上新的征程
人们常说，刚刚过去的一个世纪是数学真正的黄金时代。数学在 20 世纪的进步比先前所有的世纪加起来还要大。然而，刚刚开始的这个世纪也可能同样是数学发展的好时候。或许，数学在这个世纪的变迁会和 20 世纪一样巨大，甚至更为惊人。引发这种想法的信号之一是一场渐变：自 20 世纪 70 年代开始，数学方法的基石证明的概念逐渐发生演变，让一个古老却有些被人忽视的数学概念重新回到了舞台中央，这就是计算。
计算能成为引发革命的导火索，这看起来有点不合常理。算法，比如做加法和做乘法的算法，常常被视为数学知识中最基础的一部分，做计算也经常被看成是缺乏创造性的枯燥工作。数学家们自己对计算也颇有成见，勒内托姆就曾说过：我的论述中很大一部分属于纯粹的猜想，大家基本上可以把它们看成是梦话。我接受这种定性如今，世界上到处有这么多学者在做计算，难道有人做梦不是件好事吗？用计算来做梦，大概还真有点难度啊
不幸的是，对计算的偏见恰恰根植于数学证明这一概念的定义里。确实，欧几里得以降，证明的定义就是利用公理和演绎规则构建的一套推理
。然而，要解决一个数学问题，仅仅需要构建一套推理吗？数学的实践难道没有告诉我们，解决问题需要把推理的步骤和计算的步骤巧妙地融合起来吗？公理化方法若局限在推理中，它所展现的数学视野恐怕也会十分狭隘。正是因为人们对约束过多的公理化方法多有批评，才让计算有机会重新出现在数学的舞台上。现在，已有一些研究工作（它们之间未必有关联）渐渐开始质疑推理高于计算的优势地位，并倡导一种更为平衡的观点，让两者互为补充。
这场革命让我们重新考量推理和计算之间的关系，同时也促使我们重新审视数学与物理学、生物学等自然科学之间的对话，特别是数学为何能在这些学科中发挥难以理解的强大作用这一古老问题，以及自然理论的逻辑形式这一全新问题。此外，这场革命给分析判断和综合判断等哲学概念带来了新的火花。它还让我们反思数学与计算机科学之间的关系，而且数学似乎是唯一一门不需要借助机器的科学，它为什么如此独特？
最后，最振奋人心的是，这场革命让我们隐约看到了一些解决数学问题的新方式，它摆脱了过去的技术强加给证明长度的枷锁数学也许正踏上新的征程，去探索从未涉足的全新领域。
诚然，公理化方法的危机并不是凭空出现的。从 20 世纪上半叶起就有许多先兆，特别是两种理论可计算性理论和构造性理论的出现。这两种理论本身虽然没有质疑公理化方法，却重新确立了计算在数学大厦中的地位。在讨论公理化危机之前，我们会简要回顾这两个概念的历史。不过，还是让我们先上溯远古，探寻计算这一概念的起源，看看古希腊人对数学的发明过程吧。
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
