本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
新测北京内外城全图-民国时期老地图 本书特色 《新测北京内外城全图》比例尺为1:15000,尺寸为(61.5X82.1cm),些图为再版图,时间为民国十年十二月...
本书是对于黑格尔法权思想和社会意识理论的一项专门性研究。以《精神现象学》为研究文本,在上篇着重探讨了人类意识的内在逻辑结
內懲院,王族人人談之色變的責刑之地。而在六個月前曾尊為太子的詠棋,如今卻淪落至此。最是無情帝王家,鬥敗者下場淒慘,這他都
知识社会学视野中的文学家-以中国现代文学为例 本书特色 知识社会学关注的核心问题之一是知识分子的社会职能及身份的合理性。从这个角度看,作为掌握书面文化中美感经验...
中国历代文论选一卷本 本书特色 《中国历代文论选(1卷本)(繁体版)》是在《中国历代文论选》四卷本的基础士选编的,由郭绍虞主编,王文生任副主编,钱仲联参加校订全...
胡乔木谈文学艺术 内容简介 《胡乔木谈文学艺术》收文七十一篇,自一九三○年四月胡乔木在中学时代写的文艺论文《近代文艺观测》始,至一九九二年九月二十五日他逝世前三...
词曲概论-大家小书 内容简介 本书分上下两编,上编论源流,主要论述词曲的特性及起源、发展、流变,并对唐宋词、元曲、明清传奇的重要作家、作品加以评价。下编论法式,...
經過了長達四年的單戀,森永總算得償所願,成功地和厭惡同性約的學長宗一發生了關係。但在那之後又過了兩個月,卻遲遲遲等不到下
方志所见文学资料辑释 内容简介 本书从清代和民国期间的各类方志中汇集了近80篇较为珍贵的文学文献资料。之所以说珍贵,是因为它们以前很少被研究者利用,甚至可以说其...
王宁,1955年7月生于南京,1989年在北京大学获博士学位,1990-1991年在荷兰乌德勒支大学从事博士后研究,1992年8月至1997年2月任
末代皇帝溥仪与我 本书特色 爱新觉罗 薄仪——中国历史上*后一位皇帝,是世界上少有的传奇人物。他做过皇帝,当过傀儡,他成为俘虏,后被引渡...
发现小说-黑白阎连科 本书特色 《发现小说》是中国作家**次以自己独有的方式探讨19世纪和20世纪世界文学内在规律及中国当代文学现状和出路的长篇文学随笔。阎连科...
二胡演奏中外民歌100首 内容简介 本书精选了王莉莉的二胡演奏中外民歌100首。二胡演奏中外民歌100首 目录 中国部分1 回娘家2 彩槟榔3 浏阳河4 十数麻...
周汝昌红楼梦考证失误-(增订新版) 本书特色 杨启樵编著的《周汝昌红楼梦考证失误(增订新版)》对红学名家周汝昌的以《红楼梦新证》为代表的考红成果,作较具系统的攻...
红楼梦-导读与赏析-(全2册)-高中篇 本书特色 这套丛书是响应中央关于“推广群众阅读活动”的精神以及国务院“十三五&rdq...
中国文言小说史 本书特色 本书的目的就是要确立中国文言小说在小说史上的应有地位,探索它特殊的发展规律,总结其思想意义和艺术经验,为新时代的精神文明建设提供有益的...
中国中世纪的终结-中唐文学文化论集 本书特色 本书是宇文所安唐代文学“四部曲”之三,但去初、盛唐诗的写作已有15年。鉴于中唐文学的复杂性和特殊性,本书并不像前两...
达斡尔族 锡伯族 满族卷-汉族题材少数民族叙事诗译注 本书特色 《汉族题材少数民族叙事诗译注(达斡尔族锡伯族满族卷)》共收录了达斡尔族、锡伯族、满族的民间叙事长...
名家学术经典--王力词律学 内容简介 王力先生是我国语言学界的泰斗之一,尤其精于古汉语研究。他著的《汉语诗律学》是一部全面研究中国诗法的奠基之作。现将其中第三章...
《美国式死亡(修订版)》内容简介:死亡是一门生意,套路满满。★20世纪“扒粪”新闻运动经典之作,引爆舆论惊呼“你死得起吗?”