本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
任伯年花卉画选 本书特色 任颐(1840-1896),字伯年,浙江山阴(今绍兴)人。任伯年是我国近代美术史上一位很有影响的画家,擅画人物、山水和花鸟。他师法自然...
博尔赫斯谈话录 本书特色 本书是博尔赫斯*具代表性的思想谈话集,开启博尔赫斯哲思迷宫之门的秘诀。《博尔赫斯谈话录》内容涉及到博尔赫斯的出身与家庭背景,文学修养与...
女王受扬言,男人嘛,先宠再驯,乐趣无穷!温柔攻反驳,情人嘛,先上再哄,何乐不为?GAY吧?同志夜店?梁聿修以为自己看错了,而
汉语形象中的现代文人自我-汪曾祺后期小说语言研究 内容简介 本书尝试将小说语言研究和社会学分析结合在一起,以汪曾祺后期小说为研究对象,通过对小说的汉语形象——现...
狱贞员罗维民有些发怔地瞅着眼前这个脏兮兮,浑身散发着恶臭的服刑人员。据监狱的管理人员说,这些天这个服刑人员的神经似乎有些
蒋勋和他的红楼梦 内容简介 大荒山 无稽崖 青埂峰 别人问我来历 我便如此回答 这是蒋勋老师的小诗,也是他的自述,蒋老师从童年就和...
元配夫人张幼仪,神魂之交林徽因,柔艳娇妻陆小曼。人间四月天春风迷醉,云端浮生梦新月难圆。深爱、挚情、欢恋,张幼仪从头细数
金庸小说的文化与价值研究 本书特色 余醴*的《金庸小说的文化与价值研究》分为上篇、中篇和下篇三大部分,分别从金庸武侠小说、金庸武侠小说与文化以及金庸武侠小说的贡...
西方现代主义文学专题研究 内容简介 本书首先简要阐述了现代派文学的概念、现代派文学的形成和发展、现代派文学的思想渊源和理论基础、现代派文学的思想和艺术特征,然后...
辑录散文46篇。在书中,读者可以一如既往地体会木心行文“丰沛而娴熟”的技巧,他“善用汉赋般的奇字”以及“在别人说不下去的地
诗卷长留天地间-品读诗圣杜甫 本书特色 诵习着杜甫的诗句,我经常感慨于杜甫坚定不移的报国志向,宽广无边的大爱之心,深挚热切的真诚之情,百折不变的坚毅意志,以及他...
美德二十讲-大家西学(20) 本书特色 人类的至福建立在美德之上。没有美德,人性将失去光辉,生活将陷入困境。围绕”美德可以被教会吗?” ”美德是不是自爱之心的伪...
时代漫画:1934~1937:一代漫画大师的摇篮(上、下册) 本书特色 倾情奉献《时代漫画》1934——1937上下卷选印本《时代漫画》是中国漫画史上一本*为重...
楼下楼上 内容简介 何玉茹,石家庄人,河北省作协专业作家。作品多次被《小说选刊》和《小说月报》等刊物连载。中篇小说《太阳为谁升出来》和短篇小说《到群众中去》入选...
西方文学通识 内容简介 本书包括:西方文学的渊源和文学思潮;西方史诗;西方戏剧;西方小说;西方诗歌;西方散文等内容。西方文学通识 目录 **章西方文学的渊源和文...
西方叙事学:经典与后经典 本书特色 《西方叙事学:经典与后经典》是北京市精品教材立项项目。深入浅出地系统评介叙事学的有关理论和研究方法,评介叙事学与相关学科之间...
多重主体策略的自我命名:女性主义文学理论研究 内容简介 本书论述女性主义与文学话语的再造、女性主义的后现代处境、女性主义美学的探讨、身份政治与后殖民女性主义理论...
北魏政治史(二) 内容简介 北魏是中国历史上由非汉民族建立的*重要的王朝之一,是**个真正入主中原的非汉民族政权,全面系统地认识北魏王朝从创建、兴盛到衰亡的历史...
柳宗元诗文十九种善本异文汇录 内容简介 本书汇录柳宗元全部诗文在十九种善本中校出的异文,是一部资料工具书性质的学术著作。 柳宗元著作版本很多,但都存在讹、脱、衍...
日本高层看中国 本书特色 三实书系。 中日两国睦邻友好,互利合作的潮流已深入人心,不可遏阻!21世纪中,究竟是谁掌握人类发展的命运,世界究竟是“一极独大”,还是...