本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 本书特色 北京广播电视台数独发展总部为小学的零基础数独爱好者量身定制的初级数独训练教程小学生数独训练题集-1 内容简介 数独,是一...
茶花女-外国文学经典 内容简介 简介巴黎名妓玛格丽特被并不富裕的阿尔芒诚挚的爱情所征服,坠入情网。正当这时热恋中的情人憧憬未来的美好生活时,阿尔芒的父亲暗中迫使...
初级日语-第一册-第2版 本书特色 本书共两册,配有参考书和多媒体光盘。编者多是中日两国长期从事日语教学的教师。使用对象为高等院校零起点的以日语作为第二外语学习...
小学6年级-窦桂梅教你阅读-现代文课外阅读-第五次修订版-全新改版- 本书特色 《新黑马阅读·窦桂梅教你阅读:小学6年级(第5次修订版)》是一套能够真正启迪孩子...
常迎春:清华大学中文系硕士,古代文学专业,《青年文摘》杂志社编辑,喜欢历史和诗词,著有畅销书《丰子恺漫画古诗文》。兰川:编辑,书评人,自由撰稿人。曾从事高中语文...
英语文摘-2016年1-6期合订本 本书特色 《英语文摘》是一本以“学习新闻英语的选择”为办刊特色的英汉对照的双语杂志。以半年合订本的形式结集成书,不仅使读者便...
俄语文学名著丛书--契诃夫小说选 内容简介 安东·巴甫洛维奇·契诃夫是19世纪后期俄国著名的批判现实主义作家,一生写了七八百篇短篇小说和中篇小说,以及十来个剧本...
徐志摩散文精选-学生版无障碍阅读 本书特色 “轻轻的我走了,正如我轻轻的来;我轻轻的招手,作别西天的云彩,那河畔的金柳,是夕阳中的新娘,波光里的艳影,在我的心头...
上海译文-新英汉词典第4版(修订本) 本书特色 《新英汉词典第4版(修订本)》的修订工作基于《新英汉词典(世纪版)》展开。此次修订注重增加、更新例句,大量参考国...
会计-2012年注册会计师考试考点蔡萃及记忆锦囊 本书特色 佟志强编著、东奥会计在线组编的《会计(注册会计师全国统一考试辅导用书)——2012年注册会计师考试考...
化身博士 本书特色 杰基尔博士是个双重性格的人,表面上他学识渊博、德高望重,内心深处却潜伏着一种肆无忌惮的邪恶。后来他发明了一种化学药剂,只需吞一点,他就能随心...
格兰特船长的儿女(精装) 本书特色 《格兰特船长的儿女》故事发生在1864年。这部小说的故事是描写游船“邓肯号”船主格里那凡得到两年前遇...
八十天环游地球-世界经典文学名著-全译本 本书特色 《八十天环游地球》是凡尔纳*著名的小说之一,也是世界科幻小说的经典之作,笔调生动活泼,富有幽默感。小说叙述了...
小学生文库-古代科学家的故事 本书特色 蔡景峰和沈国柱编著的《古代科学家的故事》内容介绍:扁鹊,是战国时代的一位著名医生。两千四百多年前,扁鹊出生在现在河北省任...
趣味考古-03-修订本 本书特色 “兴趣是*好的老师。”运用到考古学的学习中来,兴趣便是帮助读者朋友们打开智慧大门的“钥匙”。《趣味考古》便是这样一本满足中小学...
《寂静的巴黎》内容简介:“我自从开这个店,到现在十五年,每天就像驴拉磨,不停地拉。除了去菜场,我都没看到巴黎是什么样。这些
欧几里得原理十三本书 第2卷(英文本) 本书特色《欧几里得原理十三本书》是当代*流行的标准英译本著作,本书是欧几里得数学思想研究的历史总结,每章节都作了详细的注...
2013年考研英语阅读完形翻译全突破 本书特色 本书深入解析剑桥雅思历届官方范文,并从中找到提高雅思写作的解决方案。全书重点探讨对剑桥官方范文的把握,包括:学习...
大学英语六级词汇双解手册 内容简介 本书采用字母表(alphabet)排序方式,对每个词条进行标注音标、词性、英汉双解词义,列出常用短语搭配等。大学英语六级词汇...
作品目录第一部分 21世纪的生涯咨询:变化的背景、挑战和概念第1章 生涯咨询:终身生涯观生涯咨询终身生涯发展:一种整体观对生