本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
一代又一代,每当喝咖啡和鸡尾酒,或夜半煲电话粥的时候,女人们都会一同切磋分析男人们令人迷惑的行为:他害怕再次受到伤害也许他不想毁了我们之间的友谊也许他是怕我他刚...
TOEIC990分核心词汇(新东方) 本书特色 《TOEIC 990分核心词汇》将TOElC常考词汇按难度分为基础篇和提高篇,阶梯式学习,循序渐进,每个单词都标...
梓耕书系新教材完全解读人教版,全新改版8年级数学/上参考答案1本 内容简介 《新教材接近解读》系列丛书不仅教材上的知识点全面解读,而且教材中的隐含知识提炼全;重...
大学的逻辑(增订版) 本书特色 大学的理念是为人类创造知识,传授知识,传承人类文明,推动社会进步。实现这一理念*重要的条件是,大学的教师队伍是由真正对研究和教学...
英文词语翻译 内容简介 董乐山一生译作颇丰,写希特勒的崛起和灭亡的《第三帝国的兴亡》、记录1944年8月解放巴黎全过程的报告文学《巴黎烧了吗?》、斯诺在陕北的记...
中国学生第一书-中华寓言故事 内容简介 本书根据素质教育的需要,从浩如烟海的寓言王国里,精选了中国文化发展史上的100余篇寓言故事,按照作品生成朝代的起始时间或...
作品目录第一章多项式1数域2一元多项式3整除的概念4最大公因式5因式分解定理6重因式7多项式函数8复系数与实系数多项式的因式分解
从初中起就表现出优秀的数学能力,并立志当数学老师。如愿考入北京师范大学数学系。四年后的1985年,响应国家号召,回到母校北京师范大学附属实验中学教书。中国的教师...
作品目录第1章 绪论第2章 感知器第3章 反向传播网络第4章 自组织网络第5章 递归网络第6章 径向基函数网络第7章 核函数方法第8章
世图——马克~吐温短片小说选集(中英对照全译本) 本书特色 《马克·吐温短篇小说选集(中英对照全译本)》是由马克·吐温所编著,世界图书出版公司出版发行的。世图—...
繁星.春水 本书特色 《繁星·春水》是我国现代著名女作家冰心创作的两部诗集,二者系姊妹篇。其中《繁星》由164首小诗组成,《春水》由182首小诗组...
装在口袋里的爸爸 本书特色 《装在口袋里的爸爸》的作者是杨鹏。《装在口袋里的爸爸》: 我的爸爸变小了!这是怎么回事儿呢?原来,妈妈老是责骂爸爸,爸爸在...
历史的天空(语文必读丛书·修订版) 内容简介 这是一个既起伏跌宕,又错综复杂的漫长故事,贯穿了从抗日战争到拨乱反正时期长达四十年的历史。梁大牙和陈墨涵是凹凸山区...
物理真题解析与模拟-重点大学自主招生全解 本书特色 全面性:应考科目齐全,真题悉数呈现,考点覆盖全面,题型尽收眼底。科学性:专题划分精准,题目全解全析,技巧点拨...
中国历代书院学记 本书特色 书院的学记、学规是研究书院的重要文献,也是中国古代教育思想的重要组成部分。本书选择了历史上*具有影响力和代表性的二十家著名书院,对这...
呼啸山庄-5000词床头灯英语学习读本16(英汉对照) 内容简介 呼啸山庄这个故事发生在18世纪末19世纪初的一个英国小镇上。小说的开始是老希斯克里夫家的房客洛...
代数的历史:人类对未知量的不舍追踪 本书特色 《代数的历史:人类对未知量的不舍追踪》:美国《图书馆杂志》2003年度*畅销科普著作!美国《基督教科学箴言报》20...
英语短语动词精选 本书特色 学好了英语短语动词,也就学好了英语,《英语短语动词精选》精选1194个英语短语动词词条,较之其他英语短语动词书,本书独特的地方在于给...
中国最美的语文系列(全3册) 本书特色 ★ 16开平装,鹭江出版社出版★ CCTV“中国诗词大会”第五期擂主、成都语文老师夏昆——力举之作,经典套装,酣畅阅读★...
数理化通俗演义-(全二册) 本书特色 这是一部难得的数理化知识科普读物,它摆脱了苦读的枯燥乏味,以栩栩如生的事例、深入浅出的语言、旁征博引的叙述、章回小说的体裁...