本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
比较文学概论-第二版 本书特色 本书是一部简明而体例新颖的比较文学教材。特色如下:(1)总结了比较文学学科的规律性知识,提炼出学科基本常识中的关键点,辅以比较文...
改造我们的考试 本书特色 对于考试,我们应该并不陌生。我国是一个教育大国,也是一个考试大国,作为考试的故乡和当今世界上拥有*大规模考试的国家,考试不知改变了多少...
(教材)高等数学(独立院校用).下册 本书特色 本系列教材的子系列是专门为大学独立院校工科各专业而编写的公共课教材,共4册:高等数学(上、下册)、线性代数与几何...
西顿野生动物故事集(儿童读物) 本书特色 《西顿野生动物故事集》是一本以动物为主角的故事集,一部被全世界读者,尤其是喜爱野生动物者奉为经典的动物小说集。物者奉为...
新概念德语-(第一册) 内容简介 本书是根据《大学德语教学大纲》的教学要求编写的。本教材可供高等院校本科生、研究生选修第二外语德语使用,亦可作为出国培训和自学德...
新阳光语文阅读--初中语文阅读与训练(总复习) 本书特色 紧扣,立足新教材,学习各版本教材的学生均能使用。语文学习除了课堂学习之外,课外阅读也是十分重要的途径。...
美音纠音.透析与突破 本书特色 “m7”理论与实践的结合;全面透析语发音规律;丰富的语料实例练就您的完美发音。美音纠音.透析与突破 内容简介 本书主要由四个ch...
蒙台梭利教育法 内容简介 玛利亚·蒙台梭利(mariemontessori,1870-1952),是教育史上一位杰出的幼儿教育思想家和改革家,她所创立的...
英国文学选读(2) 目录 TABLEOFCONTENTSGeorge MeredithThe EgoistWilliam MorrisNews from Now...
《早点“育”见你》内容简介:本书先介绍了女性常见的生殖内分泌疾病,包括月经失调、闭经、多囊卵巢综合征、子宫内膜异位症等疾病
《健身与健康教育(全彩图解版)》内容简介:本书介绍了运动、身体活动和减少久坐方面的指导性原则,讲解了从心肺健康、肌肉健康、
新阳光语文阅读--小学语文阅读与训练(四年级) 本书特色 紧扣,立足新教材 学习各版本教材的学生均能使用。阅读,就是对语言文字作品的广泛的涉猎和独立感悟,它既可...
小鲤鱼跳龙门 本书特色 读着《小鲤鱼跳龙门》《小猫钓鱼》等一篇又一篇的文字,我仿佛又回到了天真快乐开心的童年。依稀的记忆里,我坐在妈妈的膝盖上,听着那如童谣般的...
数学百科全书第四卷 内容简介 本书由三类条目组成。首先是介绍数学的各个主要方向的综述性条目(采用了一种很好的分科办法),对这类条目的基本要求是尽可能通俗全面地阐...
四世同堂 内容简介 《四世同堂》以抗战时期北平一个普通的小羊圈胡同作为故事展开的具体环境,以几个家庭众多小人物屈辱、悲惨的经历来反映北平市民在八年抗战中惶惑、偷...
《科学大王·文明起源》内容简介:本书选取了精彩的五个古文明主题集结而成,文明深处的消失之城、远去的希腊文明、悲情的罗马文明
本书通过50名著名数学家的故事,阐释了重要数学思想的发展演化历程!数学教授冯天承评价说:“出版这本书是一件‘一劳永逸’的事,前不见古人,后不见来者。”◆编辑推荐...
中考古诗文命题题源:题型库 本书特色 《中考古诗文命题题源(一卷 题型库)》在编写时力求实用、方便,尽量替一线教师着想,与老师的教学思路同步。老师需要什么就给出...
常用英语贴身赠言-双色版 本书特色 赠人以言,重于金石珠玉。在英语文化中,美好的赠言也同样“重于金石珠玉”。用中文来传达赠言,也许你已经很顺溜,但用英语就不见得...
1896年1月,在美国《国家地理杂志》的刊头下面出现了“配图月刊”这一小标题,从此以后这个图文并茂的传统一直延续至今,并在艺术和技术两个方面不断攀登新的高峰。美...