第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
2009考研英语词组必备 内容简介 本书严格按照考研英语大纲编写,详细归纳了词组在考研听力、阅读、翻译、完形中的应用,为考生提炼出真题状态下的考查难点和例句,并...
三十九级台阶--2000单词读遍世界名著丛书 本书特色 “2000单词读遍世界名著丛书”是一套经过西方作家改编的文学名著,以浅显易必的现代美语改写并保留原著精神...
缅甸语语音快速入门-附送MP3光盘 内容简介 本书由18课组成,包括了缅语辅音字母、基本元音、鼻化元音和短促元音等。大多数语音都配有简单的发音口型图,帮助读者正...
《复杂性理论与教育问题》第一篇论著中莫兰应联合国教科文组织之邀,联系他对于“思想改革”的建议,全面陈述了他对于未来教育的
木偶奇遇记·悦读悦好(彩图美绘本) 本书特色 一位贫穷、善良的老人盖佩托用一块神奇的、不听话的木头雕刻了一个木偶男孩,取名匹诺曹。匹诺曹爱撒谎,一说谎他的鼻子就...
疲劳与断裂 本书特色本书是在《疲劳与断裂》(陈传尧编著)一书的基础上进行改版,结合当前教学需求,在原有基础上更新标准,修订错误,同时配套了精品微课视频,可通过手...
一路有阳光——刁荣普阳光教育手记 内容简介 本书对全国闻名的教育品牌"阳光教育"及其思想精髓进行了详细介绍。作者用善感而睿智的笔触通过自己的随笔及关于“阳光教育...
到中小学去研究教育:教育行动研究的尝试 内容简介 本书是以陈桂生教授为首的作者们同小学教师合作进行“教育行动研究”经验的总结。“教育行动研究”属当代教育研究中*...
趣味科学丛书(全6册) 作者简介 雅科夫·伊西达洛维奇·别莱利曼(1882—1942),出生于俄国的格罗德省别洛斯托克市。他17岁就开始在报刊上发表作品,190...
《蔬之集萃》内容简介:蔬菜是人们的一个重要食物来源,经过千百年历史的发展,现如今蔬菜品种丰富多彩,全国各地也有当地独有的品
初中物理基础知识精解 本书特色 《初中物理基础知识精解》以现行《初中物理课程标准》为准则,内容紧密配合初中物理课本,旨在帮助学生学习和掌握物理基础知识、基本技能...
学生频发英语错误矫正手册 本书特色 本书是在长期教学实践中,根据初中、高中、大学学生在学习英语时频繁发生的错误编写而成。每组句子都采取误正句对比的形式,进行矫正...
格列佛游记-(全2册)-买一赠一 本书特色 开创英国讽刺问文学的先锋之作 世界文坛*著名的社会讽喻小说之一几代人童年经典“小人国”与“大人国”故事的原本作者简介...
锦上添花 本书特色 徐二本编著的《锦上添花》主要讲述了铁路业余学校的 青年教员段志高怀着满腔热情,奔向 他新的工作岗位——小桥车站去学习、 锻炼的故事。《锦上添...
沙郡年记 本书特色 《创美文学馆世界经典名著:沙郡年记》分为三部分。第1部分叙述的是,我和家人在远离现代生活的简陋木屋中过周末时,观察到了什么景象,产生了什么感...
(星火)2012 考博英语 词汇必背 本书特色 马德高主编的《考博英语词汇必背》共收录单词10 378条,其中核心词6 152条、认知词3 517条、简单词70...
作品目录第1章 建立数学模型1.1 从现实对象到数学模型1.2 数学建模的重要意义1.3 建模示例之一包饺子中的数学1.4 建模示例之二路
学前特殊教育 本书特色 这几年生活在上海的人有种强烈的感觉,熟悉的城市突然边的陌生了,而这种陌生却蕴涵着惊喜与自豪,巨变使我们似乎听到新世纪向我们逼近的脚步声,...
用英语聊低碳生活-(附赠MP3光盘一张) 本书特色 这是一个*好的时代,信息自由而丰富,全球的大事小情都会通过各种媒介迅速抵达我们的视线范围。面对海量的英文信息...
别了,好莱坞先生 本书特色 “书虫”是外语教学与研究出版社和牛津大学出版社共同奉献给广大英语学习者的一大精品。书虫在英语中大概是颇可爱的形象,试想想如痴如醉沉迷...