本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
福尔赛世家 内容简介 英国也与中国一样,大抵世界都如此。每逢福尔赛家人订婚、结婚或者新生儿诞生的时候,福尔赛各房的人都要到场;而当福尔赛家人死掉时,也该如此。可...
元明清卷-中国礼文学史 内容简介 《中国礼文学史(元明清卷)》为《中国礼文学史》作系列第四卷,凡三章。一章叙述元朝礼文学的大致面貌。第二章说的是朱明王朝礼文学的...
世界著名教育思想家尼采 本书特色 《世界著名教育思想家:尼采》由北京师范大学出版社出版。世界著名教育思想家尼采 内容简介 《世界著名教育思想家:尼采》介...
日有所诵--启蒙国学(第三阶梯) 本书特色 《日有所诵:启蒙国学(第三阶梯)》以儿童阅读兴趣为出发点,根据儿童心灵和世界的对应关系以及儿童的年龄特点科学设置内文...
中医骨伤科学 本书特色 彭太平编的《中医骨伤科学》是受国家中医药管理局科技教育司委托,根据全国中医药成人教育学会高等教育研究会于2000年6月在长沙召开的《全国...
作者简介:结城浩日本资深技术作家和程序员。二十年来笔耕不辍,在编程语言、设计模式、数学、密码技术等领域,编写著作三十余本。代表作有《数学女孩》系列、《程序员的数...
《做多中国:中国未来的财富机遇与投资逻辑》内容简介:本书是从投资的视野,帮助普通投资者看清百年未有之大变局,认清资本、科技
信息系统安全概论-(第2版) 本书特色 本书以独特的方式介绍以主机为切入点的系统安全的基本思想、技术和方法。本书的宗旨是帮助读者认识每个人手上、家里、工作单位中...
英语教材分析与设计(基础外语教学与研究丛书) 本书特色 《英语教材分析与设计》内容涉及教学大纲、需求分析、教材评价、教材取舍或调整、教材编写、语料库等诸方面。全...
一辈子够用的英语万用单词20000-附赠MP3光盘边听边学 本书特色 台湾地区68家教育机构强烈推荐!*容易记,*方便查,执次一本,还有什么单词拿不下?!轰动台...
高等数学辅导 同济.第七版 本书特色 一、本章教材全解:先对每节所涉及的考研大纲进行解读,然后对本节涉及的基本概念、基本定理进行系统梳理,指出基本概念的理解和定...
小学那些事儿-意林 本书特色 这是一本写给准小学生家长的指导书,让家长懂得如何陪孩子读过小学六年,怎样培养一个优秀的小学生。家长,您会跟孩子交流吗?您知道怎样养...
大学生英语文库--西方艺术 内容简介 本书是《大学生英语文库》之一,是一本面向中国学生的英语系列读物,各本均为注释性读本。《西方艺术》以历史发展顺序介绍了从文艺...
西方风情录 内容简介 说起西方风情,总让人想起地中海的阳光、夏威夷的沙滩、意大利的比萨饼以及法国的葡萄酒。的确,《西方风情录》要献给读者的不是严肃而沉重的交响乐...
天路历程-世界文学名著典藏(全译本) 本书特色 《天路历程》(全译本)(精装)是《全译本世界文学名著典藏》之一,该套书籍烫金的全精装装帧,豪华富丽而又典雅大气,...
非线性视野中我国大学和谐管理机制研究 本书特色 本书结合我国大学管理的实际。探讨了大学管理思维从线性思维向非线性思维延伸的哲理,从哲学层次上为大学和谐管理机制研...
材料力学(II)第三版 本书特色 《材料力学(ⅱ第3版)》由单辉祖编著,仍保持模块式教材体系,仍由《材料力学ⅰ》与《材料力学ⅱ》两部分组成。在这次修订中...
《众星何历历:沈仲章和他的朋友们》内容简介:沈仲章(1905-1987)一生经历丰富,涉足甚广,颇具传奇性。他的交际遍及三教九流,尤
小学语文知识集锦--全新升级版 本书特色 “语文私塾”品牌精选语文报优秀作文、阅读类读物,由全国一流名师联合编写,致力于出版*好的中小学语文读物,成为您选择的*...
拜拜了.我的NG日语 本书特色 崔殷准编著的《拜拜了我的NG日语》汇集、整理了笔者在多年日语教学过程中遇到的错误案例,并从日语学习者经常出错的日语表达方式入手,...