本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
中华小当家 第一辑 内容简介 中国人的饮食文化,源远流长,少说也有四千年历史。由名厨手上创造出来的菜式多不胜数。 在众多名菜中,又以北京菜、上海菜、广东菜、四川...
血波怒涛-建国以来最大的海盗杀人抢劫案侦破始末 本书特色 1998年11月,一般中国远洋巨轮“长胜”号出海三天,神秘失踪,一切通讯联络中断,二十三名中国海员生死...
隋唐五代文学思想史 内容简介 本书主要内容包括:隋代文学思想、初唐文学思想、盛唐文学思想、转折时期文学思想、中唐文学思想等。隋唐五代文学思想史 目录 引言**章...
苏童短篇小说集。第一辑中的一个小中篇和八个短篇是92年的作品,第二辑中收的作品大约都写于88年到90年这段时间,第三辑则是88年
1934-1949-中国现代文学小说版本闻见录 内容简介 《中国现代文学小说版本闻见录1934-1949》以大量书影和文字为主,外加书中插图、插照、序跋等,客观...
古今韵会举要及相关韵书 内容简介 改革开放以来,我国的国民经济获得了比较快速的发展,科学文化争业也随之日渐努荣昌盛起来.汉语音韵学当然也不例外。十几年来发表的音...
神墓-祸乱天界(8) 本书特色 起点中文、龙的天空等各大原创网站备受好评之作,点击率超过千万人次,推荐人数超过百万! 十八层地狱深埋西土图腾。天魔出世,大战天界...
中国说话文学之诞生-世说中国 本书特色 《世说中国书系:中国说话文学之诞生》所讨论的范围至六朝结束之前,也就是截止到公元6世纪为止。中国的说话文学诞生于六朝初期...
中国古典文学与文献学研究(第2辑) 目录 上博的博物馆藏《战国楚竹书·孔子诗论》简序与简文复议“上官体”研究二题唐代省试赋用韵考述北宋人对《李白集》的整理、甄辨...
某公司总经理宋一坤突然被捕。没有人想到这是他为了保全实力,自己把自己策划人狱。年轻聪颖的女记者夏英杰受朋友之托前去探监,
鹤庐印存 内容简介 自古玺印,不仅作为信物,且有崇高之艺术内涵,从战国至汉而登峰造极,为后世篆刻典范。金石家视为上品,争相搜集,清同光年间,曾风靡一时。吴门望族...
肖雨:你说这世界上能有童话么?林悦:你觉得呢?肖雨:能吧。林悦:得划分年龄段吧?肖雨:说直白点儿。林悦:儿童的世界有。肖
少年脑仁案、永昌劫银案、天雷劈人案……大理寺奇案桩桩件件,破案者笑意宝光璀璨,从容揭底。谁料这顺藤摸瓜的背后,居然隐存颠
美学 目录 **章 绪论**节 美学是一门什么样的学科第二节 美学的诞生与学科发展第三节 美学的哲学基础第四节 审美与人生第五节 美学研究的基本问题第二章 审美...
轻轻松松学税务 本书特色 众行企业管理培训课程是将众行多年的成功培训经验和培训成果编撰成书,与读者分享,是国内**家管理顾问公司将商业价值极高的培训教程首次解密...
黄庭坚与宋代文化 内容简介 本书将黄庭坚作为剖析宋代文化的典型,同时着眼于人才成长、文化建设和规律探索,立足于时代发展和社会进步,从家学、生平、交游、思想、创作...
谈美书简 本书特色 为了全面提高中小学生的语文素质,增强课文课程的现代意识,大力推进新型的学习方式,国家教育部分分别于2001年和2003年颁布了作为基础教育课...
文心雕龙辞典 本书特色 《文心雕龙》作校勘,并参以杨明照先生《文心雕龙校注拾遗》、詹锳先生《文心雕龙义证》等各家校释。这样,对于版本和校勘,既有了国内*早的元至...
财务会计学 内容简介 **章 总论**节 会计目标第二节 会计确认和计量的基本前提和基础第三节 会计确认和计量的一般原则第四节 会计要素及其确认第五节 会计计量...
理论入门-文学与文化理论导论 本书特色 《当代学术棱镜译丛·当代文学理论系列·理论入门:文学与文化理论导论》的第三版主要是增补,从严格意义上讲算不上修订。当然,...