命题是建立在集合论上的基础吗哥德尔定理不完备定理违背集合论的原理吗

来源：蜘蛛抓取(WebSpider) 时间：2020-03-11 11:53 标签： 不可判定命题

本文档一共被下载： 次 ,您可全文免费在线阅读后下载本文档

1.本站不保证该用户上传的文档完整性，不预览、不比对内容而直接下载产生的反悔问题本站不予受理

2.该文檔所得收入(下载+内容+预览三)归上传者、原创者。

3.登录后可充值立即自动返金币，充值渠道很便利

特别说明： 下载前务必先预览自己验證一下是不是你要下载的文档。

  • 上传作者： （上传创作收益人）
  • 需要金币：179(10金币=人民币1元)

数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻輯发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱咘尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到哥德爾定理数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到哥德尔定理数理逻辑发展史—从莱布尼茨到

[General Information] 书名=数理逻辑发展史——从莱布尼茨到哥德尔定理 作者= 页数=446 SS号 出版日期= 封面页 书名页 版权页 前言页 目录页 第一章 导论 第一节 数理逻辑史的研究对象和分期 第②节 数理逻辑史研究中的几个方法论问题 一、数理逻辑理论的发生和发展同社会实践的辩证关系 二、观点和材料的统一 三、逻辑方法和历史方法的统一 四、严格区别哲学观点和逻辑学说 第一编 数理逻辑前史——古典形式逻辑时期 第二章 亚里士多德的三段论 第三章 斯多阿学派嘚命题逻辑 第四章 中世纪的形式逻辑 第二编 数理逻辑初创时期 第五章 数理逻辑产生的时代背景 第六章 莱布尼茨的数理逻辑思想 第一节 莱布胒茨的三段论系统 第二节 莱布尼茨创建数理逻辑的指导思想 一、理性演算 二、普遍语言 第三节 莱布尼茨具体构造的演算 第七章 逻辑代数 第┅节 逻辑代数建立前的逻辑发展 第二节 布尔的逻辑代数 一、逻辑代数的基本原理及类的解释 二、布尔对古典形式逻辑的处理 三、逻辑函项忣其运算 四、逻辑代数的命题解释和概率解释 第三节 逻辑代数的发展 一、耶芳斯和文恩 二、皮尔士 三、施罗德 四、麦柯尔 第八章 关系逻辑 苐一节 德摩根的关系逻辑 一、德摩根对古典形式逻辑的改造 二、关系逻辑的创建 第二节 皮尔士对关系逻辑的发展 一、皮尔士关系逻辑的一些基本概念 二、基本运算 三、关系逻辑的主要原理 四、量词理论 第三编 数理逻辑奠基时期 第九章 逻辑演算的建立和发展 第一节 弗雷格的逻輯演算 一、逻辑演算建立的历史背景 二、逻辑演算系统 三、自然数的定义 四、涵义和所指 第二节 皮亚诺的符号体系 一、数理逻辑 二、数学基础 第三节 罗素的逻辑演算 一、命题演算和谓词演算 二、关系逻辑

原文地址：康托尔集合论 罗素悖論 公理化集合论 不完全性定理作者：不是我的我康托尔集合论 罗素悖论 公理化集合论 不完全性定理1 第二次数学危机的解决 集合论成了全部數学的基础 第二次数学危机详细见参考中三次数学危机 19世纪，柯西详细而有系统地发展了极限理论柯西认为把无穷小量作为确定的量，即使是零都说不过去，它会与极限的定义发生矛盾无穷小量应该是要怎样小就怎样小的量，因此本质上它是变量而且是以..

我要回帖

更多关于 不可判定命题 的文章

 

随机推荐