本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
《C++语言从入门到精通:视频实战版》内容简介:《C++语言从入门到精通(视频实战版)》是一本全面介绍C++的书籍,讲解由浅入深、循
山水与古典 本书特色 本书收录林文月教授所撰有关六朝及唐代之田园、山水、官体诗等论著,以及她的外祖父连雅堂之为人与文学生活,并兼及中日古典文学的比较研究。六朝诗...
诗论 内容简介 《诗论/大家小书》是一部开创性、探索性的著作,难免历史的局限,但它并非只有历史意义,因为它所涉及的问题,如中西文化的批判继承问题、新诗发展的道路...
简介:格尔茨这本开拓性的著作,美国社会学协会1974年索罗金奖获奖作品,有助于为整个一代人类学家界定其领域的终极目的。—
《文史知识》2016年合订本 内容简介 《文史知识(2016年合订本共2册)(精)》以普及中国古代文史知识、弘扬中华传统文化为宗旨,荟萃全国品质文史专家,坚持“...
中山先生轶事 内容简介 本书荟萃了38篇文章,大部分是同时代人对孙中山先生的回忆,从不同的侧面展示了孙中山先生高贵的品质与高尚的情操。孙中山先生是中国民主革命的...
二十世纪中西比较小说学 本书特色 本书立足于中国小说、中国学术的主体地位,在与西方小说的比较中,考察20世纪中国小说的独特历程;从中西差异的研究中,获得一种更高...
中国诗学研究(第5辑.中国韵文学研究专辑) 内容简介 2005年4月上旬,由安徽师范大学中国诗学研究中心和文学院、中国韵文学学会、南京师范大学文学院联合主办的第...
TimeWillRunBackisanexcellentintroductiontotheproblemsofeconomicsystems,andcanbea...
中医必读百部名著:医经卷 内容简介 中医名著浩如烟海,积淀了数以千年的精华,养育了难以计数的英才,昭示着绚丽无比的辉煌。历史证明,中医的成才之路,非经典名著滋养...
文心雕龙考异 内容简介 文心雕龙考异 目录 序風流儒雅是吾師敛念恩師張公諱立齋化雨春風沾溉無窮——懷念張立齋老師意念張立齋教授《文心雕龍考異》序《文心雕龍考異》...
大庇天下寒士俱欢颜-解读杜甫漂泊一生的济世夙愿 本书特色 杜甫,字子美,祖籍襄阳(今湖北襄樊),生于巩县(今河南巩义)。杜甫自号少陵野老,是唐代伟大的现实主义诗...
《从惊奇开始》内容简介:★青少年哲学第一课,刘擎教授等八位高校哲学系教师倾情讲授。八位老师不仅有专业的哲学背景,而且他们中
文学史二十讲 本书特色本书体现了作者近年来对中国当代文学史研究的思考,内容涉及文学史研究的框架问题、重要概念的生成、作家创作的思想资源以及文本细读的方式等。它将...
红楼梦证语 内容简介 薛蟠流放、薛家遭受灭顶之灾的时候,薛宝钗当如何?王熙凤为什么屡次要求尤氏下跪?板儿死后,巧姐的生死问题;贾敬爬灰的具体时间问题,探春远嫁海...
杜甫新论 内容简介 《杜甫新论》所汇集的篇什主要是针对杜甫诗歌的思想内容,兼及部分作品的编年、立意和注释等具体问题,发表了个人的一些意见。其中多数文章已经见于报...
说不完的红楼梦 本书特色 有关《红楼梦》文本的许多话题,尽管已被前人和时人无数次反复评说过,似已说尽道绝,但只要换一副眼光。换一个角度,换一种方法,往往又可见人...
《边城》,是沈从文先生最负盛名的代表作,被誉为“文学史上最纯净的一个小说文本”,“小说中飘逸不群的仙女”。一九九九年《亚
世界文学发展比较史-上下册 内容简介 文学发展,既是纵向的,又是横向的;纵向发展是各民族文学内部的继承性发展,横向发展是世界各民族互相之间的影响、冲突和交会。这...
李商隐诗要注新笺(上下册) 本书特色 ★ 16开平装,方志出版社出版★ 全书以文言写成,资料丰赡,论述严谨,是迄今为止,研究李商隐、笺注李商隐诗冣全面的煌煌大作...