本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
ChessStory,alsoknownasTheRoyalGame,istheAustrianmasterStefanZweigsfinalachieveme...
笔走广厦-建筑文化名家随笔-中国作家谈建筑 目录 野莽/也谈建筑刘心武/水泥与玻璃漫话水泥漫话玻璃李敬泽/建筑物语数学家的城阿房宫:一大烂尾楼也建筑的愚人节玻璃...
待在孤兒院的舒念,從小就想像公主那樣,有個王子來拯救自己。結果,他等到的不是王子,而是一個脾氣古怪的「飼主」謝炎……堅信
一分钟奇闻 本书特色 本书收录了许多一分钟就可讲完的世界奇闻,从这些短小的奇闻中可开阔眼界,增长知识.一分钟奇闻 目录 能和动物说话的孩子单脚站着睡觉的人会跳舞...
红楼真梦 内容简介 这本书很特别,题个什么书名方能表其性质体裁?*初不假思索,冲口而出的,是七个字:《红楼梦的真故事》。我的女儿兼助手听了不大赞成。为什么不赞成...
二十世纪中国文学史 内容简介 《二十世纪中国文学史》分上、中、下三册,由著名学者严家炎先生主编,国内学界有影响的专家学和学术带头人参加编写,可以说集国内近代和现...
花鸟风月的绝唱:日本汉诗中的四季歌咏 内容简介 日本汉诗作为中日两国交流和文化联姻的宁馨儿,经过近一千五百年的磨练,已经与日本民族的社会结构、思想观念、风俗习惯...
本丛书包括:《一个陌生女人的来信》、《鲁滨逊漂流记》、《双城记》、《汤姆·索亚历险记》、《莎士比亚喜剧集》、《爱玛》、《
《江泽民文选》学习导读 内容简介 本导读开篇收入了《中共中央关于学习〈江泽民文选〉的决定》、胡锦涛总书记《在学习〈江泽民文选〉报告会上的讲话》和2006年8月1...
先秦叙事研究(关于中国叙事传统的形成) 本书特色 本书致力于研究先秦时期诉诸于各种传播媒介——甲骨青铜、卦爻歌辞、神话史传、诸子言论、民间文艺与宗教祭祀等——的...
经济审判指导与参考(第2卷) 内容简介 《经济审判指导与参考》第1卷出版于1999年12月份,是该书的创刊号民是中华人民共和国经济审判开展20周年纪念号,从内容...
大家小书系列(精装):舆地勾稽六十年(首届向全国推荐中华优秀传统文化普及图书) 本书特色 本编从谭公的文集中撷取其精粹,鼎尝一脔。全书分三个部分:*部分论述中国...
《接诉即办的北京经验》内容简介:本书以2019年以来北京市推行的“接诉即办”改革实践作为研究对象,试图从“技艺—人工品”的哲学
中国少数民族现代当代文学概论 本书特色 本书比较全面地论述了中国少数民族现代、当代文学的发展轨迹、贡献与特色,并按文学体裁和民族分类,重点介绍了主要的作家作品,...
镜像后的文化冲突与文化认同-英美文学中的中国形象 内容简介 本书在对英美的中国观进行总体梳理、分析的基础上,具体探讨了“乌托邦文学”、“散文作品”、“美国边疆故...
日本学者中国诗学论集 内容简介 这部论集是根据作者历年翻译的日本学者研究中国古典诗歌的论文编选的,十七篇文章大致按内容分为三组:**组是对中国古典诗歌的宏观论述...
郑振铎文学大纲 本书特色 中国学术文化名著文库,旨在为读者提供20世纪二三十年代以来的中国学术精品。当时,学问家经历了新文化运动,西学东渐,学术革新;因时应势而...
实用绳结200例 本书特色 本书共选录了常用多见的各种绳结法200种,由简到繁,分为15类。每一种绳结,均按名称、用途、特点、结法、图解等顺序排列。文字力求简洁...
新世纪规范字典 本书特色 新词新语多以熟语(谚语、惯用语、成语、歇后语)和名言警句为书证有外来词分析有方便快捷的检索方法字形、字间、字体更加规范化新世纪规范字典...
外国文学 内容简介 外国文学中的优秀作品,是人类共同的精神财富。千百年来人类文学艺术的发展历史证明,不同国家、不同民族之间的文化交流,有力地促进了世界各国文学艺...