本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
新编阿尔巴尼亚语教程(第四册) 内容简介 《新编阿尔巴尼亚语教程》是为阿尔巴尼亚语专业本科教学而编写的一套教材,共四册,适合基础阶段(一、二年级)教学使用。本教...
转述法(英语语法系列5) 内容简介 简介分析英语中的种种转述方法,远较一般简化而不实际的转述语法规则精确详尽,有助于您更细致准确地掌握英语的运用。展示转述结构及...
编译技术 本书特色 本书为“基于系统能力培养的计算机专业课程建设研究”项目规划教材,同时也是国家精品资源共享课程主讲教材。本书对传统编译...
二年级数学(下)-BS-黄冈小状元作业本-最新修订 本书特色 新学期开始了,《黄冈小状元作业本》和你一样,又步人了一个新的阶段。当你拿着这份崭新的作业本时,一定...
轻声和儿化 本书特色 汉语知识丛书是商务印书馆推出的雅俗共赏的知识性读物。它由我国著名语言学家撰写,既有一般的汉语知识介绍,又有语言学方面的科研成果;既体...
人生必读书-羊脂球 本书特色 《羊脂球》是莫泊桑小说中*具代表性的作品,通过妓女“羊脂球”被迫向普鲁士军官献身的遭遇,刻画了所谓“高尚阶级”为了私利而不顾民族尊...
一年级英语卷-陪孩子读到三年级 本书特色 一年级的孩子要经历许许多多的人生“**次”,父母陪伴孩子学习,可以减少孩子的孤独、恐慌和无助,在这一阶段,父母领导导孩...
人人学音标 本书特色 想自学英语,却看不懂音标?中式的发音,让你羞于开口?蹩脚的语调,让你逃避交谈?学多年英语,还在做“哑巴”?如若你真心想敲开英语大门,又不想...
《数学之英文写作》中的内容主要是关于科技论文、尤其是数学论文写作的基本常识和注意事项。写作中参考了欧美一些国家的作者关于
考研英语语法特训强化手册:2013 本书特色 赵晓敏、索玉柱、张艳霜主编的《考研英语语法特训强化手册》取材广泛,资料新颖,具有知识面广、指导性强等特点。...
《Apache Spark源码剖析》内容简介:《Apache Spark源码剖析》以Spark 1.02版本源码为切入点,着力于探寻Spark所要解决的主要问题...
企鹅英语词典 本书特色 本书是学习英语的**工具,收有40000余单词与常用短语,注释明晰易懂,并配有数千精选例句;采用交互参照注释方法解释难以理解的词语、成语...
《心灵的风景:画笔带我走出抑郁》内容简介:这是一本讲述经由绘画走出抑郁的励志之书。李子玉是国际知名学者李欧梵的夫人,十数年
六年级/小学数学易错题精编 本书特色 如果你时间多,仔细通读一遍,通过计算不断巩固提高,小学数学胸有成竹;如果你时间紧,快速浏览一遍,重点看一下你经常错的章节,...
我的梦·中国梦青少年教育读本(小学高年级) 本书特色 《我的梦中国梦青少年教育读本:小学高年级》旨在对广大学生进行爱国主义、集体主义、社会主义教育,不断增强中国...
教育质量论基础教育多元性思考-(第二版) 内容简介 本书系统地分析了提高整体教育质量的重要性,从传统教育到现代教育、从国内教育到国际教育、从教师的教到学生的学、...
华盛顿篇-没有我不知道的美国 本书特色 《没有我不知道的美国》系列丛书包含四个分册:《没有我不知道的美国华盛顿篇》《没有我不知道的美国旧金山篇》《没有我...
● 圣塔菲研究所外聘教授,苏黎世大学进化生物学及环境研究专业的教授及负责人。● 耶鲁大学生物学博士,奥地利维也纳大学分子遗传学学士,曾在德国、美国、法国等国开展...
熊猫丛书:老残游记(英) 内容简介 TheTravelsofLaoCanwaswrittenbyLiuE,abril-liantintellectualborn...
《没什么特别的(全彩)》内容简介:文艺风私房人像写真画册。是双囍摄影五周年的精华纪念版画册,更具收藏价值。全书以双囍的随笔