本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
永嘉玄觉禅师《证道歌》讲析 本书特色 《永嘉证道歌》为古体诗之体裁,人诗247句,共1814字(一作267句,1817字),或4句或6句为一解,共分51解,揭示...
《阿根廷婆婆》内容简介:美津子是个幸福的女孩,她有一个擅长石雕的爸爸和喜欢海豚的妈妈。可是妈妈因病去世,爸爸当天随之消失。
元好问诗歌接受史 本书特色 本书以元好问诗歌的传播和接受为研究对象。在系统整理元好问研究史料的基础上,运用传播学和接受美学的理论,对元好问诗集的流播,历代选本的...
名家读古诗 内容简介 阅读经典,就是和人类*优秀的灵魂打交道,就是把一个人的生活和伟大的传统联系在一起。但是由于语言的隔阂,时代背景的暗昧,以及表现手法的特殊,...
悍妻系列相关力作 精彩对决再开加贺原衫早就心知肚明一件事──将林景禹留在身边,无疑是养虎为患!大到公司决策,小至连总裁的
我被我的眼睛带坏 内容简介 为什么郭文斌的小说集《大年》、散文集《点灯时分》能够在全国引起强烈反响,特别是其短篇小说《吉祥如意》在先后被《小说选刊》、《小说月报...
黄河三角洲古风物诗整理研究 内容简介 本书依地域设卷,每卷之前有一篇介绍该地域风土人情与人文物产的文字,每首收录的诗下,先是详尽而准确地注释,对于生僻之典、疑难...
王维诗歌接受史研究 本书特色 《王维诗歌接受史研究》(作者袁晓薇)收录了唐人眼中的王维形象;王维诗歌与盛唐诗坛;王维诗歌与大历时期的社会心理;大历诗人对王维诗歌...
民国文言小说史 内容简介 本书以民国时期产生的文言小说为主要研究对象, 涵盖结集出版或抄本、稿本形式的文言小说集, 文言长篇章回体小说作品及报刊上的单篇文言小说...
中国历代文学家之地理分布 本书特色 著者力图将宏观与微观考察结合起来,将定性分析与定量统计结合起来,将文学研究与区域文化研究结合起来,新意迭出而不哗众取宠,语言...
中国现当代文学80家评介 内容简介 龙熙银、文君等编著的《中国现当代文学80家评介》主要是为初等教育、学前教育以及高职院校开设文学教育课的学生提供一本“弱史强文...
这是一本专讲读和写的书,设定的拟想读者是中学生,也包括教学环节另一端的中学教师,最初登载于《中学生杂志》,1934年开明书店
《Visual C++串口通信技术详解》内容简介:《Visual C++串口通信技术详解》介绍如何利用Visual C++集成开发环境进行串口通信程序开
在速朽世界里飞奔,在流沙世界里行走《GQ》2012年“年度人物之专栏作家”韩松落最新作品林奕华、李海鹏、廖伟棠、张晓舟、马良、
楚辞全解 内容简介 本书是一部屈原、宋玉全集校注汇评本。全书由题解、原文、注释、韵部、译文、集评六大板块组成。撰著者在充分吸收融化古今中外学者丰富研究成果的基础...
围炉夜话 幽梦影:图文本 内容简介 《围炉夜话》、《幽梦影》这两本书是人生的回味和处世的格言书。作者分别是王永彬、张潮。《围炉夜话》的作者为王永彬,生平不详。《...
先唐文化与散文风格的嬗变 本书特色 《先唐文化与散文风格的嬗变》是由湖北人民出版社出版的。先唐文化与散文风格的嬗变 内容简介 在庄子研究、汉赋研究之后,我对先唐...
桐城派十二讲 本书特色 “桐城派”是中国传统文化的集中体现,是厚重安徽地域文明的一个突出亮点,《桐城派十二讲》从不同角度对桐城派的历史和艺术特质进行了全面梳理,...
名家图说秦可卿-(图文版) 内容简介 你喜欢读《红楼梦》吗?你对里面的人物了解多少?你*喜欢里面哪个人物?贾宝玉?林黛玉?薛宝钗?秦可卿?史湘云?妙玉?...
本书为“世界华文文学”系列的一本。收录了张晓风创作生涯中较具有代表性的散文,如《地毯的那一端》《母亲的羽衣》《只因为年轻