本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
2013-中医内科主治医师资格考试应试题库-第五版 内容简介 本书以历年考试试题为模版,结合历年考生的应考经验和教训,以题库的形式(含往年真题)覆盖中医内科主治...
高考状元的屠龙宝刀 本书特色 是不是还在为学习成绩不好而苦恼呢?是不是还在为不知如何辅导、提高孩子的学习成绩而忧心忡忡呢?这套书就是你解决所有问题的*好选择。一...
牛津英汉双解词典-译文版 本书特色 本书系牛津大学出版社和上海译文出版社联手打造工具书世纪精品,收录40余万词条及释义项,美语音标英语音标双重标注,权威阐释语法...
初中化学重点考点速查手册 本书特色 初中化学重点考点速查手册 内容简介 本书选题为全国各地*新中考试题及部分竞赛试题,将典型的、具备多种知识和检测能力的例题。加...
课程智慧-民主社会中的教育决策 本书特色 《课程智慧民主社会中的教育决策》:世界课程与教学的理论与实践译丛课程智慧-民主社会中的教育决策 内容简介 本译著中的某...
法语TEF考试冲刺教程(上) 本书特色 为适应TEF测试的新形势,编写了《法语TEF考试冲刺教程》以满足广大学生的需要。本教程以能通过法语TEF水平测试为目标,...
道德情感论 本书特色 本书从道德的高度,从对个人与社会的福祉出发,阐述了以同情说为基础的道德评价论、德性论,其中包含道德准则和道德评价的共同标准及对社会整体利益...
用英语说中国-家庭生活 内容简介 自改革开放以来,传统的中国家庭模式正在遭受现代化建设大潮的冲击,中国人的生活方式、生活态度、生活水平也都在悄然发生着变化。 本...
《GDAL源码剖析与开发指南》内容简介:GDAL(Geospatial Data Abstraction Library)是一个在X/MIT许可协议下的开源栅格...
谋略之道 本书特色中国自古尚谋不尚力。古代圣哲早就懂得,要想成就经国立世伟业,绝不可离开智士谋臣的运筹谋划。中国文化与文明源远流长,崇尚智慧、崇尚谋略也是其题中...
考研英语翻译100篇 本书特色 “4+1”模式征服法是一种较为新颖的翻译方法,它对翻译题型的做题顺序做出了严格的规定,将翻译的过程分为&...
再制造型生态闭环供应链物流网络设计研究 本书特色 本书内容包括:研究背景与研究目标;再制造生态闭环供应链物流网络设计理论基础;再制造生态闭环供应链物流网络的基本...
本书是在作者一系列演讲的讲稿基础上整理而成的,已成为整体微分几何方面的一本经典著作。它以拓扑、代数几何为基础,以分析为主
写作与阅读理解 本书特色 《TEM4写作与阅读理解》:英语专业四级考试单项突破系列。写作与阅读理解 内容简介 依据《高校英语专业四级考试大纲(2004年新版)》...
《幸福力》内容简介:你幸福吗? 回答“是”的人,不见得真的理解幸福。回答“不”的人,并不一定真的不幸福。幸福到底是什么? 是
哈佛家训II 本书特色 《美德书》之后作者的又一部伟大的励志经典。哈佛大学先后培养了7位总统,34位诺贝尔奖获得者,数以百计的世界级财富精英。这些杰出的人物,曾...
社会研究设计与写作 本书特色 本书针对社会学以及相关社会科学专业的研究生从事实际社会研究的需要,围绕研究设计和论文写作两大方面的内容进行了详细的介绍。全书由四个...
常微分方程 第四版 内容简介 本书是《常微分方程》的新修订本。考虑第三版出版逾十年,修订本需适应科学技术和教育的发展变化。由于目前高等院校中“常微分方程”课程教...
《男孩的冒险书》是一本从8岁到80岁的“男孩”都需要的冒险书,书中既有吸引孩子的有趣玩意,也能触动成年人的怀旧之情。让你学会
神曲·天堂篇 本书特色 但丁在《论俗语》中曾经说:“《神曲》有四重含义:字面的意义、哲理的意义、预言的意义和神秘的意义。”神秘的寓言和象征虽然晦涩难懂,只有仔细...