本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
0.1 逻辑史早期的几个重要里程碑
0.2 课程大纲
第一章 预备知识
1.1 证明的必要性
1.2 集合
1.3 关系
1.4 函数
1.5 等价关系与划分
1.6 序
1.7 结构的例子
第二章 命题逻辑
2.1 引言
2.2 命题逻辑的语言
2.3 真值指派
2.4 唯一可读性
2.5 其他联词
2.6 命题逻辑的一个推演系统
2.7 命题逻辑的自然推演
2.8 命题逻辑的可靠性和完全性定理
2.9 模态逻辑简介
第三章 一阶逻辑的语言
3.1 一阶逻辑的语言的定义和例子
3.2 自由出现和约束出现
第四章 形式证明
4.1 一阶逻辑的一个公理系统
4.2 推理和元定理
4.3 其他元定理
4.4 前束范式
4.5 自然推演
第五章 一阶语言的结构和真值理论
5.1 一阶语言的结构
5.2 可定义性
5.3 同态和同构
第六章 哥德尔完全性定理
6.1 可靠性定理
6.2 完全性定理
6.3 自然推演系统的可靠性和完全性
6.4 紧致性定理及其应用
第七章 递归论的基本知识
7.1 原始递归函数
7.2 递归函数
7.3 图灵机
7.4 图灵可计算函数与部分递归函数
7.5 递归可枚举集
第八章 简化版本的自然数模型
8.1 紧致性定理及其应用
8.2 可判定的理论
8.3 只含后继的自然数模型
8.4 包含后继和序的自然数模型
8.5 普莱斯伯格算术模型
第九章 哥德尔第一不完全性定理
9.1 可表示性
9.2 语法的算术化
9.3 不动点引理和递归定理
9.4 不可定义性、不完全性和不可判定性
第十章 哥德尔第二不完全性定理
10.1 可证性条件
10.2 第二可证性条件(D2)的证明
10.3 第三可证性条件(D3)的证明
10.4 哥德尔第二不完全性定理
10.5 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
心理咨询师、习题与案例集 本书特色 修订说明本书是与《国家职业资格培训教程·心理咨询师》系列教材相配套的辅导读物,可以帮助读者进一步熟悉和掌握教材的内容。本书前...
聊斋志异-(无障碍阅读本) 本书特色 《聊斋志异》(聊斋,是蒲松龄的书斋名;志异,有记录奇异事件的意思),简称《聊斋》,俗名《鬼狐传》,是中国清代著名小说家蒲松...
机遇有其原因,但我们也许会问是什么原因,并且,什么是机遇?机遇是怎么出现的?未来如何不可预测?物理学和数学对这些问题给出
拉菲·格林伯格(Raffi Grinberg)是一位企业家和管理顾问。他于2012年以优异的成绩从普林斯顿大学毕业,获得了数学学位。
中国语文经典朗读手册 本书特色 本书为中国语文朗读评选活动官方指定指导用书,收录了200多篇适合学前儿童、小学生、中学生阅读的文章。本书致力于传承和发扬中国传统...
机械制图-(第三版) 本书特色 《机械制图(第3版)》作为立体化教材包的主教材,与之相配套的还有助学、助教课件,学习指导等相关教材。机械制图-(第三版) 目录 ...
初中物理实验集锦 本书特色 本书将初中物理所涉及的实验分为一级实验、二级实验、三级实验3个级别,级别越高的实验其重要程度也就越高。这部分内容包括实验器材、实验原...
世界中古史 本书特色 《世界中古史》:中古时代,人类的历史更加复杂。不仅朝代的更迭兴灭无常,帝国的兴衰也此起彼伏,历史的舞台千变万化。在中古史的讲述上,我们将根...
智慧加油站丛书 学生校园笑话500则 (双色) 本书特色 《学生校园笑话500则》精心搜录500则校园笑话;《学生校园笑话500则》让孩子们在笑声中爱上阅读;暂...
苏轼词赏析 本书特色 八十首精选词作,注释、题解、赏析等全方位的解读内容,深入浅出的赏析文字,活泼疏朗的内文版面,精美典雅的装帧设计,足以让读者在轻松愉悦的阅读...
什么是好的教育-学校教育的哲学阐释 本书特色 本书以教育哲学的思考介入当下学校教育,抓住如何激发学生对美好事物的欲求这一教育的灵魂性问题,展开学校教育的各个基本...
最新小学生应用随感想象作文3+2() 本书特色 小学生阶段是作文能力的启蒙与逐渐发展的阶段。没一名小学生的作文能力都有很大的可塑造性。所以从小就让孩子们养成良好...
中华传统文化书系3年级上册/中华传统文化通识读本 内容简介 每个中国人,都有责任学习并传承中华优秀传统文化。尤其对于少年儿童而言,优秀传统文化在培养家国情怀、社...
偏微分方程和变分法用于图像处理始于15年前,从此人们一直在研究相关理论。本书向读者介绍了图像应用及相关的数学知识,本书自成
超级飞船(Superbird外研社.剑桥英语原创读物2级 ) 本书特色 一架宇宙飞船附毁在陌生的星球上,乘员全部遇难——只有一个人除外。她帮助这个星球上的人建造...
振动理论及工程应用 本书特色 本书主要包括三方面的内容:第壹,结合单自由度、两自由度、多自由度和连续系统论述了振动理论的基本概念和基本分析方法;第二,介绍了振动...
罗伯特·达恩顿(Robert Darnton),美国艺术与科学院院士,哲学学会院士,哈佛大学卡尔·福兹海默讲座教授、图书馆名誉馆长。达恩顿是英语世界中最重要的法...
商务英语笔译 本书特色 《商务英语笔译》分商务英语笔译总论、名片的翻译、商标的翻译、公示语的翻译、商业广告的翻译、产品说明书的翻译、企业简介的翻译、常见商务信函...
威廉·莎士比亚(1564-1616),欧洲文艺复兴时期英国最伟大的剧作家和诗人,世界最杰出的大文豪。莎士比亚出生于英国沃里克都斯特拉特福镇的一个商人家庭,七岁上...
爱情卷-有一种爱叫放手-每天读点好英文 本书特色 吴老师的话:按部就班做好阅读计划,才能有效地学习。每天花10分钟诵读一篇文章,学4个单词、3个句型、2个词组,...