本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
《自得其乐》内容简介:★衔接现代文学与当代文学的散文大师 汪曾祺,师从沈从文先生的文学大师,被誉为“抒情的人道主义者”,“中
中国目前最具爆发力的作家阎连科继《日光流年》、《坚硬如水》之后精心打造的一部长篇力作,他以超凡奇诡的想象、无与伦比的冷峻
看图说书:小说绣像阅读札记 本书特色 近年来陈平原一直在关注图像与文字的关系,从《触摸历史》到《点石斋画报》,本书主要是讨论中国古典小说的绣像,考察中国古代小说...
1931年,满洲。年轻的军阀荣祥无力抗拒关东军的攻势,狼狈撤出满洲,逃往西安。他是温文尔雅的亡命之徒。他最后终于除了仇人,一
顾随讲《文选》 本书特色 本书讲说魏晋文,依据叶嘉莹女士与刘在昭女士听课笔记整理而成,并以此分为两部分:前一部分包括《答苏武书》、《为幽州牧与彭宠书》、《报孙会...
牛津标准英语词典 内容简介 《牛津标准英语词典》初版于1906年,经两次修订于1930年出了第三版,之后一印再印至今。该词典对书面英语作了既精当又广泛的研究。词...
水月镜之谜 本书特色 “当代中国首届侦探小说大赛”征集了1949-1998年期间公开发表的,包括台湾澳地区的侦探小说创作及翻译作品一千余部,*终评出包括十七部翻...
《永远有多远》讲述十年前,曾经为自己的作品集中做过一次阶段性小结,编辑出版了五卷本《铁凝文集》。十年后的今天,当再一次为
Thisexuberantbookoffersupeverythingfromapaperplanefoldertoapuppydogholder,fromas...
跨文化对话(12) 内容简介 《跨文化对话的回顾与前瞻》国际研讨会综述知识分子如何对待“无奈”另一个世界是可能的转基因与新瘟疫想象的权利:向善或向恶心不为形役—...
作品目录写给教师的几句话 导论 文学与文学理论 第一节 文学是什么 第二节 文学理论是什么 第三节 怎样研究文学理论 第一编 文本
看,是这本书最重要的要义。一位新疆维吾尔族摄影师,探访一百位普通新疆人,用影像和他们的自白呈现一个真实新疆。1.他们看这本
马鸣丝路蹄声远:唐五代马匹贸易研究 内容简介 本书主要由六个部分组成:**部分为本文的导论,进行了学术研究综述和探讨选题意义及研究架构等。第二部至第六部分分别论...
幼儿园纸雕 本书特色 《幼儿园纸雕》一书充满了新意和创造性,不仅介绍了纸雕制作的使用工具、制作过程和制作技巧,还别开生面地对幼儿园墙面、教室、日常生活、教育活动...
霍俊明卷-70后批评家文丛 内容简介 《“70后”批评家文丛·霍俊明卷》以微观视野和细节史的方式来考察20世纪60年代至新世纪以来先锋诗歌空间和“江湖”的特殊话...
中国现代叙事文学的情感与叙述 本书特色 本书以中国现代文学作家作品和文学现象为研究对象,重点考察中国现代叙事文学的情感姿态和叙述方式。本书主要内容主要有四个方面...
微观红楼(中国古韵) 内容简介 宝玉娶谁才会幸福?黛玉的人生完美吗?贾府女儿都有什么性格缺陷?谁是《红楼梦》中的本色男人?一部《红楼梦》,让人生出各种各样的想法...
孔庆东文集-口号万岁(精装版) 本书特色 《口号万岁》:北大中文系教授孔庆东被誉为“继钱钟书以来真正的幽默”。他的作品,让你“先是笑到要死,再是忙着深思”。孔庆...
花园街五号 本书特色 叩开一幢建筑物的大门,也就是打开一部沉重的历史。花园街五号,这幢俄罗斯风格的建筑物,是这座城市的数一数二的住宅,在不同年代中,先后居住过的...
当代文坛点将录-3 本书特色 作家对作家,舌尖对笔尖。一部逸闻趣事里的当代文学史。当代文坛点将录-3 内容简介 当代文坛点将录系列丛书共5本,是一套极具权威性的...