计算进化史 改变数学的命运PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:(法)吉尔·多维克著;劳佳译
- 出 版 社:北京:人民邮电出版社
- 出版年份:2017
- ISBN:9787115447579
- 页数:216 页
图书介绍:证明是数学研究不可撼动的基石,但证明方法正经历翻天覆地的变化。人们开始质疑推理的至高地位,重新挖掘计算的价值。这一变革将以全新视角解读数学与其他自然科学之间的关系,为哲学的分析与概括带来全新前景。计算机科学正在挑战人脑,努力攻破数学证明的技术难点,将数学研究推向前所未知的疆界。本书以独特视角回顾了计算的历史,展现了计算机科学为数学研究带来的震动,以及由此引发的自然科学和哲学领域的重大变革。
上一篇:软装搭配设计速查下一篇:Altium Designer电路设计20例详解
《计算进化史 改变数学的命运》目录
第一篇 古老的起源 2
第1章 从史前数学到希腊数学 2
第2章 计算两千年 17
第二篇 古典时代 36
第3章 谓词逻辑 36
第4章 判定性问题与丘奇定理 56
第5章 丘奇论题 73
第6章 为计算树立数学地位的尝试——λ演算 94
第7章 构造性 100
第8章 构造性证明与算法 113
第三篇 公理化危机 122
第9章 直觉主义类型论 122
第10章 自动化证明 132
第11章 证明检验 145
第12章 学界新进展 153
第13章 工具 172
第14章 公理的终结? 187
结语 旅程的尾声 190
附录一人物简介 193
附录二参考文献 208
索引 212
相关图书
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《高等数学 上》东华大学应用数学系编 2019
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《聋校义务教育实验教科书教师教学用书 数学 一年级 上》人民教育出版社,课程教材研究所,小学数学课程教材研究中心编著 2017
- 《阿拉伯-伊斯兰文化史 第3册》埃及艾哈迈德·爱敏著 2019
- 《离散数学》(中国)杨文国,高华,石莹 2019
作者其它书籍
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
出版社其它书籍
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《人民院士》吴娜著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《中国人民的心》杨朔著;夕琳编 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《中华人民共和国成立70周年优秀文学作品精选 短篇小说卷 上 全2册》贺邵俊主编 2019
- 《指向核心素养 北京十一学校名师教学设计 数学 九年级 上 配人教版》周志英总主编 2019
- 《中华人民共和国成立70周年优秀文学作品精选 中篇小说卷 下 全3册》洪治纲主编 2019