本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
教育漫话 本书特色 约翰·洛克的《教育漫话》是一本论述绅士教育的经典之作,饱含着哲理,而又写得深入浅出、生动感人,除了时代和阶级的局限以外,某些主张如对教育力量...
移动互联网企业商业模式创新研究:基于价值网络重构的视角/欧晓华 本书特色 移动互联网的发展给世界经济和人们的生活带来了深刻变革。网络经济环境下,价值创造和价值实...
图解式英汉学习词典(蓝) 内容简介 这本别具特色的词典希望能主孩子充满光趣、卓有成效地开始英语学习,正如对于一座平地而起的万丈高楼,我们必须夯实它的地基。具体而...
人生必读书--柳林风声 本书特色 《柳林风声》是一部充满田园牧歌风情的经典童话,书中讲述了四个要好的动物朋友一一鼹鼠、河鼠、獾和蟾蜍在风光旖旎的河畔所经...
失乐园 本书特色 《失乐园》(paradiselost),全文12卷,以史诗一般的磅礴气势揭示了人的原罪与堕落。诗中叛逆天使撒旦,因为反抗上帝的权威被打入地狱,...
北大百年(1898-2008) 内容简介 巍巍上库,群星灿烂,百年北大,魅力无尽。百余年来,有人将北大的魅力归结为“老”和“大”有人归结为爱国,有人归结为民主和...
了不起的盖茨比:英文全本 本书特色 《了不起的盖茨比》以20世纪20年代生活在纽约市及长岛的中上层社会为背景,以穷小子尼克的视角出发,讲述了盖茨比历尽艰辛不择手...
伍尔福克教育心理学(原书第11版) 本书特色 相较上一版,第11版在内容上做出重要补充,并在诸多方面调整了框架体系。本书版本在多个章节中增加了有关脑、神经科学和...
拜拜了.我的NG日语 本书特色 崔殷准编著的《拜拜了我的NG日语》汇集、整理了笔者在多年日语教学过程中遇到的错误案例,并从日语学习者经常出错的日语表达方式入手,...
爱心与教育-素质教育谈索手记 本书特色 人的成长过程,变数实在太多,因此更需要有众多的有心人用心地探索、研究。李镇西同志的这本手记,就是他的“心灵写诗”。他是把...
Frank R.Giordano,毕业于美国西点军校,曾任西点军校数学系系主任,现为美国海军研究生院教授,多年来一直是美国大学生数学建模竞赛的主要组织者,也是美...
语言教师心理学初探 内容简介 本书包括外语教学理论、外语教学实践、外语测试理论、外语教学研究中的方法等内容。语言教师心理学初探 目录 总序导读1 An intr...
爱丽丝镜中奇遇记-青少版 本书特色 在《爱丽丝镜中奇遇记》这本充满了想象的书中,作者讲述了一个又一个稀奇古怪、引人入胜的故事。作者用非常生动的语言描述了爱丽丝所...
日语副词例解 内容简介 本书收集了多种日语教材、辞典及有关副词研究等书籍中使用的副词330个,每个副词都配有精选的大量例句,读者可通过例句掌握相关副词的基本用法...
法语动词变位完全手册 内容简介 在这本《法语动词完全变位手册》中,收录了七千余个法语动词;八十余个代表性动词变位表。本手册查找便捷、信息全面、注重实用;兼有法语...
大学的兴起 内容简介 “上海三联人文经典书库”将从译介西学成果、推出原创精品、整理已有典籍三方面展开。译介西学成果拟从西方近现代经典(自文艺复兴以来,但以二战前...
白衣女人-5000词床头灯英语学习读本38(英汉对照) 本书特色 英语界名人、名家论阅读※光学几句干巴巴的英文不行…不要总是把阅读的目的放在提高英...
幺半群理论的同调方法 目录 PrefaceChapter 1 Fundamental Concepts1.1 Relations and Lattices1.2...
《清代农业的发展和不发展(1661~1911年)》内容简介:本书是一部综合运用经济学、历史学和统计学方法,对清代农业的主要生产指标
本书阐述对黄金比例的解读,作者涉及多项学科领域,从艺术、建筑、建筑、生物、物理和数学等角度,揭示了这个集秩序、美和神秘于