本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
民族主义:历史遗产与时代风云的交汇 内容简介 本书作者力求以唯物辩证法和实事求是的立场,在翔实地占有资料的基础上,从历史性和时代性有机统一的角度出发,对近代以来...
本书收录了苏童的代表作品中短篇小说《罂粟之家》、《妻妾成群》、《红粉》等,长篇小说《米》,并附有关专家撰写的研究性序言、
团购:世界+中国地理地图集(地理百科简明版) 本书特色 《世界地理地图集》《中国地理地图集》地理百科简明版这两部地图集的体例编排与上面两部大致相同,同样包含各地...
大辞海.中国文学卷 内容简介 《大辞海》是特大型综合性辞典,它的出版,填补了中国辞书的一个空白。迄今为止,《辞海》是我国唯一的一部大型综合性辞典,它既收单字和普...
[春之卷]-你我依然在红楼-白坤峰串讲《红楼梦》 本书特色 本书选取原著中*具表现力的细节,勾勒故事情节,没有红学专著的高深、复杂、险涩,简单而平易,生动而幽默...
二十世纪中国文学与区域文化丛书-[S会馆]与五四新文学的起源(精) 内容简介 《“S会馆”与五四新文学的起源》试图对近年来的中国文学研究中,学者们已经注意到的文...
憑我出色的臉孔和顯赫的家世,勾心鬥角的商場撕殺,只是任我悠遊、翻攪的一池春水。榮家的敦厚長子──榮與將燃起我從未有過的豪
文学史的兴起:程光炜自选集 本书特色 《文学史的兴起:程光炜自选集》讲了大学与文学史、当代文学学科的“历史化”、文学史研究的“陌生化”、“资料”整理与文学批评、...
木心(1927—2011),原籍浙江,上海美术专科学校毕业。在“文革”囚禁期间,用白纸画了钢琴的琴键,无声弹奏莫扎特与巴赫。陈丹
《大家精要:胡适》主要内容:胡适(1891-1962),安徽绩溪人,现代中国一代学人的典范。在文化领域,他鼓吹文学革命,推动白话文
下一個地鐵站出口,會有人在等你嗎?海約(楊千嬅飾)雖然是個盲女,但生性樂觀;在她的想像中,世界是繽紛有趣的。她在戲裡幫助
人间词话笺证鲁迅旧体诗详解 内容简介 本书包括两部分,**部分是作者对《人间词话》的笺证;第二部分是对鲁迅先生的旧体诗结合历史背景进行了详细的注释。人间词话笺证...
原以為敞開了心,從此將能順心愜意地相守。孰料,一塊滿載愛意的金錶,竟陰錯陽差落入了宣代雲的手裡!平地一聲雷,打亂難得的平
大生活系列-对症按摩与足疗养生祛病大全集[全彩典藏版] 目录 Part 1经络养生唤醒你的身体自愈力Chapter 01疏通经络开发人体大药库Chapter 0...
童庆炳谈文学观念 内容简介 本书是著名文学理论家童庆炳先生在近十年对文学观念的研究基础上写的一本总结性的小书。旨在剖析古今中外文学观念所蕴含的一个古老问题——文...
工笔花鸟画技法 目录 序言**章 工笔花鸟画的发展和风格流派一 唐二 五代三 来四 元五 明六 清第二章 工笔花鸟画的工具和使用一 纸和绢二 毛笔三 墨四 颜料...
中国文学常识 本书特色《中国文学常识/常识圆桌派》一部比较完备、力图全面显示中国文学整个发展过程中真实面目的常识读本。以《文学大纲》为底本,对中国历代文学作了系...
李商隐诗要注新笺(上下册) 本书特色 ★ 16开平装,方志出版社出版★ 全书以文言写成,资料丰赡,论述严谨,是迄今为止,研究李商隐、笺注李商隐诗冣全面的煌煌大作...
文化视角下的元杂剧 内容简介 元杂剧勃兴于元代,是元这个特定时代文化的产物。作为一门综合艺术,元杂剧受到元代文化的深刻影响。元代特殊而宽松的文化背景,给元...
菩提达摩禅师-少室四论 本书特色 《少室四论》是从《少室六门集》中选出与禅修有关的四论,以《二人四行论》和《破相论》为重点。《二人四行论》似为达摩真正思想所在。...