本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
周密笔记词彙研究 本书特色 杨观所著的《周密笔记词汇研究》一书,涉及面很广,历史的跨度很大。对周密笔记中的名物词、俗语词分门别类细致考察,描写了周氏笔记中百科词...
《儒林外史》研究 内容简介 本书内容包括功名富贵制度和封建统治思想牢笼下的精神危机;文化精英的追求和失落;原型、素材和小说的纪历特征;现实主义的讽刺艺术;《儒林...
水浒十讲 本书特色 本书从十个角度解析《水浒传》,认为《水浒传》既非“讲史”,究其根本亦非“写实”,而是藉由江湖叙事演绎儒家政治伦理之弊;在纲纪崩坏的背景中,赋...
《给我的孩子们:丰子恺精读》内容简介:《给我的孩子们——丰子恺精读》为“壹本”系列丛书之一,由丰子恺散文代表作结集而成。全
人物速写基础 目录 **单元 人物速写基础知识项目一 速写工具课题一 一般工具课题二 特殊工具项目二 画里画理课题三 如何观察课题四 画准比例课题五 体会动态课...
言情故事 内容简介 【引子】*今天,他给她打来电话。*他说,我看到你的小说了,祝贺你。*电话里他的声音一点没变,还和过去一样。*她哦了一声,说谢谢你。*静了静他...
中国书籍文学馆·名家文存:介入与超越(精装) 内容简介 何言宏在多家著名的报刊开设随笔专栏,是个多产的学者型随笔作家。他的文章观点和视角都堪称独特,加上细腻而优...
红楼止梦 本书特色 《红楼止梦》:央视新闻主播怒批红楼乱象!以探索法治之真精神廓清百年红学疑案央视著名主持人白岩松、清华大学新闻与传播学院常务副院长尹鸿、《货币...
钱钟书先生是我国当代具有国际影响的著名学者、作家,有“文化昆仑”、“一代鸿儒“之誉。其著作博大精深,融贯古今中外,被视为
中国小麦栽培理论与实践 内容简介 本书是一部详尽阐述中国小麦栽培理论与实践的科学专著。书中全面论述了20世纪90年代以来我国小麦栽培科研的新成就和小麦生产的新发...
秦汉英雄传-12 本书特色 《秦汉英雄传》主要以秦末汉初波澜壮阔的历史进程为背景,全景再现了刘邦、张良、项羽以及陈胜、吴广等历史人物叱咤风云的业绩和相关的历史事...
追寻天际的曙光-关注自闭症儿童 本书特色 在《追寻天际的曙光(关注自闭症儿童)》(作者郁万春)**部分“风暴性情”里,作者试图通过一个个自闭症儿童看似没什么道理...
中国现代小说研究概览 内容简介 中国现代小说作家作品研究的历史概况与当下动态,讨论热点和争议焦点尽收一册,所涉既有专家权威论著,也有新秀见解独特之作,时间下限至...
本书收入当代著名作家苏童的小说代表作,其中包括长篇小说《城北地带》,中篇小说《园艺》、《红粉》、《妻妾成群》、《驯子记》
昆虫大搜索 内容简介 这是一本有关昆虫的动脑筋图书,如果人仔细阅读,你会在里面发现甲虫、蝴蝶、鼻涕虫等上百种世界各地的昆虫,还有一些不是昆虫的动物,要都找到它们...
1949-1976-中国当代文学制度研究 本书特色 从“制度”层面切入中国当代文学,对于20世纪中国文学研究颇有“柳暗花明”之感,而“制度”无疑也是研究1949...
目录中国当代文化的共工篇(代序)李 劼第一辑重论孙犁王朔、刘震云:京城两利嘴孙甘露论张洁爱情观念的变化——从《爱,是不能忘
中国文学批评史大纲-校补本 本书特色 朱东润先生民国间撰成的《中国文学批评史大纲》已成文学批评史领域的经典著作。不过已有的《大纲》是朱东润先生在抗战期间应教学之...
手诊与手疗 本书特色 手穴手纹诊治疾病,方法独特,疗效灵验,经济安全,易学易用。它以中医学理论为指导,不仅可以诊病、治病,而且在预防、保健上也越来越受到人们的青...
《四海为仙1:鄱阳斗凶妖》内容简介:《仙剑奇侠传》官方作者管平潮长篇仙侠奇幻力作。“四海为仙”系列围绕少年张小言和居盈、灵漪