现代逻辑若干问题研究PDF电子书下载
哲学宗教
- 作 者：李娜编着
- 出 版 社：开封：河南大学出版社
- 出版年份：2000
- ISBN：7810417495
- 页数：186 页
图书介绍：国家社会科学出版基金资助项目河南大学学术着作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。 查看图书目录点击购买PDF全本电子书 上一篇：突破自己 实现卓越的5个关键点 the five keys to unlocking your master blueprint for your wealth and success下一篇：女人如何爱自已 《现代逻辑若干问题研究》目录 标签：编着 逻辑 研究 问题
第一篇 哥德尔不完全性定理及其哲学意义4
第一章 哥德尔不完全性定理证明的主要过程4
1 建立一阶形式数论系统4
2 关于PQC的算术定理7
3 配对函数13
4 原始递归函数和原始递归谓词14
5 哥德尔数和哥德尔配数法17
6 关于数字可表示的问题20
7 不可判定命题的形式结构21
8 哥德尔不完全性定理23
第二章 哥德尔不完全性定理的哲学意义25
参考文献28
第二篇 公理集合论中若干重大理论问题的逻辑分析第一章 选择公理的逻辑分析32
1 ZF公理系统33
2 选择公理的几种等价形式36
3 选择公理的作用42
4 选择公理的几种较弱的形式45
参考文献48
第二章 连续统假设的逻辑分析49
1 什么是连续统假设49
2 连续统假设的等价命题及推论52
3 希尔伯特的尝试54
4 连续统假设的相对协调性56
5 连续统假设的相对独立性102
6 连续统假设的应用103
参考文献104
第三章 马丁公理的逻辑分析106
1 什么是马丁公理106
2 马丁公理的等价形式及一些结论111
3 马丁公理和连续统假设之间的关系114
4 马丁公理在现代数学发展中的作用118
参考文献121
第四章 决定性公理的逻辑分析122
1 什么是决定性公理122
2 关于决定性公理的一些结果123
3 决定性公理和大基数131
参考文献136
第五章 大基数理论的逻辑分析138
1 基本概念139
2 大基数之间的关系142
3 大基数的应用148
参考文献149
第六章 力迫法的逻辑分析150
1 力迫概念152
2 力迫关系的基本性质156
3 力迫关系的绝对性160
4 力迫法的应用172
5 有真类的力迫177
参考文献185
相关图书
- 《红色旅游的社会效应研究》吴春焕着 2019
- 《汉语词汇知识与习得研究》邢红兵主编 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《东北民歌文化研究及艺术探析》（中国）杨清波 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《社会学与人类生活 社会问题解析 第11版》（美）James M. Henslin（詹姆斯·M. 汉斯林） 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《强制执行前沿与热点问题》陈兴责编；乔宇 2020
- 《《国语》和《战国策》词汇比较研究》陈长书着 2017
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
作者其它书籍
- 《市政工程基础》杨岚编着 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编着 1959
- 《《道德经》200句》崇贤书院编着 2018
- 《高级英语阅读与听说教程》刘秀梅编着 2019
- 《计算机网络与通信基础》谢雨飞，田启川编着 2019
- 《看图自学吉他弹唱教程》陈飞编着 2019
- 《法语词汇认知联想记忆法》刘莲编着 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社，课程教材研究所，特殊教育课程教材研究中心编着 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩，夏宇编着 2019
- 《流体力学》张扬军，彭杰，诸葛伟林编着 2019
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志，宋长龙 2019
- 《大学生心理健康与人生发展》王琳责任编辑；（中国）肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云，刘枫，尚利明着 2020
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春，骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《大学化学实验》李爱勤，侯学会主编 2016
- 《中国综合性大学法语学科表征研究》田园着 2019
- 《高等院校教材 新时代大学英语阅读教程 1》（中国）傅超波 2019
本类热门
- 1人生没什么不可放下 弘一法师的人生智慧
- 2答案之书
- 3臣服实验
- 4天生不同 人格类型识别和潜能开发
- 5性史1926
- 6被讨厌的勇气 “自我启发之父”阿德勒的哲学课
- 7加缪手记 第1卷
- 8病由心灭
- 9当下的力量 珍藏版
- 10易经真的很容易 修订版
摘要：本文以“现代逻辑若干问题研究.pdf电子书版文档下载”为中心，从四个方面对电子书内容进行详细阐述，包括现代逻辑的发展历程、主要问题、研究方法以及应用领域，旨在为读者提供对现代逻辑的全面了解。
1、发展历程
现代逻辑的发展历程可以追溯到古希腊时期，经过中世纪、文艺复兴、启蒙运动等阶段，逐渐形成了以形式逻辑、数理逻辑和符号逻辑为代表的理论体系。20世纪初，随着逻辑学与其他学科的交叉融合，现代逻辑进入了一个新的发展阶段。在这一过程中，逻辑学家们不断探索逻辑的本质，提出了许多新的理论和方法。
《现代逻辑若干问题研究.pdf电子书版文档下载》详细介绍了现代逻辑的发展历程，从古希腊时期的形式逻辑到20世纪的符号逻辑，为读者呈现了一个清晰的发展脉络。
此外，电子书还探讨了现代逻辑在不同历史时期所面临的挑战和机遇，以及逻辑学家们如何应对这些挑战，推动逻辑学的发展。
2、主要问题
现代逻辑在发展过程中，面临着许多问题。其中，最为突出的问题包括：逻辑的普遍性与特殊性、逻辑的确定性与不确定性、逻辑的形式化与实质化等。
《现代逻辑若干问题研究.pdf电子书版文档下载》对这些主要问题进行了深入剖析，从多个角度探讨了问题的成因、影响以及可能的解决方案。
通过分析这些问题，读者可以更加清晰地认识到现代逻辑的复杂性和多样性，从而更好地把握逻辑学的研究方向。
3、研究方法
现代逻辑的研究方法主要包括形式化方法、符号化方法和实证方法。这些方法在逻辑学的发展过程中发挥了重要作用。
《现代逻辑若干问题研究.pdf电子书版文档下载》详细介绍了这些研究方法，并对它们在逻辑学中的应用进行了分析。
通过学习这些研究方法，读者可以掌握逻辑学的研究技巧，为今后的学术研究打下坚实基础。
4、应用领域
现代逻辑在各个领域都有广泛的应用，如计算机科学、人工智能、语言学、经济学等。
《现代逻辑若干问题研究.pdf电子书版文档下载》对这些应用领域进行了详细阐述，展示了现代逻辑在解决实际问题中的重要作用。
通过了解这些应用领域，读者可以认识到现代逻辑的价值和意义，激发对逻辑学的兴趣。
总结：
本文通过对《现代逻辑若干问题研究.pdf电子书版文档下载》的详细阐述，全面介绍了现代逻辑的发展历程、主要问题、研究方法和应用领域。这些内容有助于读者深入了解现代逻辑，为今后的学术研究和实践应用提供有益的参考。
本文由nayona.cn整理
联系我们
关注公众号
微信扫一扫
支付宝扫一扫
