本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
西班牙语语音快速突破-(随书赠送MP3) 本书特色 西班牙语浯音轻松入门的理想用书,由经验丰富的西班牙语语言教师编写,适合自学入门或短期培训,图示发音要领和发音...
爱的教育-英汉彩绘本 内容简介 亚米契斯(1846—1908)意大利19世纪著名作家。自幼酷爱学习和写作,20岁从军校毕业,加入军队,开始写一些具有爱国风味的短...
《拼(上)》内容简介:本书是一本财经小说,展示了鸿鹄技术老板江远峰产业报国的理想以及使鸿鹄技术在激烈的竞争中脱颖而出的商业
调解员培训简明教程-第4版 本书特色*丰富的成功案例与实用经验 *有效的调解方式与技能指引 1.针对调解员打造,通俗易懂 旨在为中国的基层调解组织、调解员提供一...
三个火枪手 本书特色 显著特点是 :开门见山、情节生动、对话有趣,而且每段都留下一个悬念,以引起读者欲罢不能的阅读兴趣。同时文字相当讲究,华丽而不艰涩,风趣而不...
德语会话词典 本书特色 当您拿到这本书的时候,您可能已经学习了很长时间的德语,正想进一步提高您的语言水平,以便能在日常生活里和德国人毫无障碍地交流。本书将帮助您...
高老头-语文必读经典名师解读 本书特色 《高老头》是法国杰出的批判现实主义作家巴尔扎克的《人间喜剧》的序幕。《人间喜剧》中的许多重要人物,都在本书中初次登场。《...
在教育部最新印发的《全日制普通高级中学课程计划》中,将以探索性学习为基础的研究性学习列为必修课程。本书是国际上最权威的一
天方夜谭-第一级 本书特色 多年以来,中国对外翻译出版有限公司凭借国内一流的翻译和出版实力及资源,精心策划、出版了大批双语读物,在海内外读者中和业界内产生了良好...
笠翁对韵-小书虫读经典-注释诵读本 本书特色《》是古时为了训练儿童学习写作诗、词、对联而用来熟悉对仗、用韵、组织词语的工具书,后来被视为经典的国学启蒙读物。作者...
红蓝宝书1000题新日本语能力考试N2文字.词汇.文法(练习+详解) 本书特色 ?形式新颖 文字、词汇、文法三个类型的题目集中在一页出现,解析紧跟在题目之后,以...
世界500强企业都在用的国际英文合同大全集 本书特色 《世界500强企业都在用的国际英文合同大全集》在介绍英语合同基础知识的基础上,分析英语合同的语言特点和常用...
基础篇-日语名言警句随身听-随书附赠光盘 本书特色 言语总会在不同的时间或场合赋予人们勇气和希 望。作者将在日本教学与生活 时收集到的名言警句进行了整理,...
威廉•莎士比亚(William Shakespeare,1564-1616),欧洲文艺复兴时期英国的重要作家,杰出的戏剧家和诗人。他创作了大量脍炙人口的文学作品...
经典珍藏系列;爱因斯坦转 本书特色 爱因斯坦于1879年3月14日出生在德国乌尔姆市,父母都是犹太人。1886年,爱因斯坦在慕尼黑公立学校读书。 1891年,爱...
快速掌握最有效的学习方法 内容简介 下面先说一下自学能力的重要性:首先,自学能力的强弱关系到同学们从事工作以后进行再学习的效率。有相当一部分学生,在中学毕业后可...
历史的丰碑:人类心灵的洞察者弗洛伊德 本书特色 弗洛伊德是20世纪名扬四海的心理学大师,他所开创的精神分析学说也已成为造福于人类的宝贵精神遗产。弗洛伊德去世前,...
精编法汉汉法词典 本书特色 《精编法汉汉法词典》的编写,努力追赶新时代前进的步伐,适应语言变化的趋势。《精编法汉汉法词典》所收的汉字词条配有拼音注音,以便于外国...
捷克语高年级精读(上) 内容简介 《捷克语高年级精读》属于北外捷克语专业高年级课程的改革立项,也是在本专业编写出版的《基础捷克语》教材的基础上,为进入高年级学习...
《如何成为优秀的人力资源总监》内容简介:本书结合大量案例,从原理阐释,到案例解析、图表展示,系统阐述了人力资源管理体系的原