理论的相对一致性
- 期刊名字:中国人民大学学报
- 文件大小:
- 论文作者:许涤非
- 作者单位:中国人民大学哲学系
- 更新时间:2022-06-12
- 下载次数:次
论文简介
证明理论的一致性有两种基本方法:一是直接给出满足理论的语义结构;二是从一种理论的一致性得到要证理论的一致性.相对化的方法属于第二种方法,它可以从弱系统的一致性证明强系统的一致性.相对化证明理论的一致性实质上是以某个理论为中介,间接地给出满足理论T的语义结构.相对化的本质是"保守性"的翻译,而"保守性"翻译恰是从弱系统证明强系统的关键.
论文截图
上一条:中国就业管制的测量
下一条:"读不懂"的柏拉图(上)
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-06-12
-
煤基聚乙醇酸技术进展 2022-06-12
-
生物质能的应用工程 2022-06-12
-
我国甲醇工业现状 2022-06-12
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-06-12
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-06-12
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-06-12
-
Lurgi和ICI低压甲醇合成工艺比较 2022-06-12
-
甲醇制芳烃研究进展 2022-06-12
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-06-12