本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
《弟弟的演奏》中塑造了某所大学里同一宿舍一群学生的众生像。这是毫无报负的一群凡夫俗子,他们不屑于谈论学业、理想,他们只对
一路唱回故乡(珍藏版) 本书特色 一路唱回故乡(珍藏版),内赠黄永玉先生绘藏书票一枚,黄永玉先生吟诵诗歌会现场VCD一张。在缺少诗的时代,本书当然称得上是一本精...
翁文灏年谱 目录 编写说明《翁文灏年谱》序家庭与求学1889年1893年1895年1896年1897年1898年1899年1900年1901年1902年1903...
古老的回声-阅读中国古代文学经典 本书特色 作者遴选中国古代文学经典名篇,从全新的角度,运用独特的批评方法来阅读、阐释、品评经典名篇。该书既讲究专业性,提供专业...
中国当代散文史 本书特色 《中国当代散文史》是一部研究中国当代散文的力作,诗性感悟与理性精神融合,展现中国当代散文发展的历史风貌。中国当代散文史 内容简介 《中...
《高压交直流混联输电系统》内容简介:本书分为六个章节,主要讲解高压交直流混联输电系统的发展需要、系统特点以及对电力网的影响
周勋初先生八十寿辰纪念文集 本书特色 周勋初先生,南京大学著名教授,驰誉海内外的杰出学者。周先生学术研究范围广泛,在中国古代文学史、中国文学批评史、中国古典文献...
灰烟散尽 内容简介 “救我!”嘶哑的声音从她的喉咙迸发出来。“救我!”她透不过气来,泪水模糊了她的视线。她的双腿终于被沉重的身体压弯了,而她那沉重的恐惧和沉重的...
兄弟 内容简介 再回首己是百年身物,是人非事事休。如花美眷,似水流年,若这般,都付与断壁残垣,漫长的等待由纯白变得苍白,由苍白变得灰白,碎成弥散在空气中的小小尘...
从单句到段落,从段落到篇章,《双语译林:英汉名篇名译》邀请您全面领略名家译笔,深入体味名译风采。从实例到理论,从理论到评析
辞职,去旅行。两件最大快人心的事情都叫她一个人干了。一个曾经自诩劳模的姑娘,毅然放弃了高薪厚禄的工作,离开“奔向成功”的
向古诗 学哲理 本书特色 《向古诗学哲理》近日由中国青年出版社出版发行。作者王充闾是当代著名散文作家,诗人,对古典诗词有着深厚学养。本书是王充闾几十年赏读古诗而...
叶广岑,女,北京市人,满族。中学就读于北京女一中,1968年分配到陕西,当过护士、编辑、记者。1980年开始从事文学创作,后在报
中国音乐的神韵 内容简介 中国自古就有诗乐教化的传统,并以“礼乐之邦”的美名而著称于世。在源远流长而又丰富浩瀚的华夏传统文化宝库中,音乐艺术无疑是*值得炎黄子孙...
理智与情感:简·奥斯丁全集 内容简介 片断:如果冷淡和自私还不算坏心眼的话,他也还不算是个坏心眼的年轻人。总的说来,他还算令人尊重的,因为他在履行一般的职责时,...
何谓文学本身-春风学术文库 本书特色 一些语词在这个时代愤怒地涌现出来:资本、权力、阶级、市场等等,我们与这些语词遭遇,与这些语词背后的残酷的现实遭遇,现实逼使...
日本影视文学欣赏 内容简介 目前大学日语专业中有很多文学题材的教材,但影视欣赏方面的教材还仅限于视听训练,通过影视欣赏来理解文学作品的教材还为数不多。现在...
《小学生好词好句好段》内容简介:“名师教你写作文·思维导图系列”丛书是一套集思维导图、形象记忆图、趣味漫画为一体的新概念作
红楼湘娄文化考 内容简介 拆解《红楼梦》文本成为一种潮流,《红楼梦》正在变得支离破碎,正在被历史化——事件化,正在被权谋化——政治化,正在丧失其文学性,而被另一...
中城警局反黑组的刑警荷风,是一个正直、勇敢、为自己的信念和目标坚定不移的人。可同时,他又是韩国最大的黑社会组织,金佚组的