数学真理

作品数：112被引量：97H指数：5
导出分析报告
相关领域：文化科学理学更多>>
相关作者：郭贵春徐利治郑毓信黄秦安刘杰更多>>
相关机构：山西大学南京大学大连理工大学北京大学更多>>
相关期刊：更多>>
相关基金：国家社会科学基金教育部人文社会科学研究基金教育部人文社会科学研究重大课题攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=逻辑学研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于心灵、机器与真理的模态论证
《逻辑学研究》2023年第1期80-92,共13页薄谋 
国家社科基金一般项目“算术与集合的实在论解释”(22BZX128)。
卢卡斯和彭罗斯认为,人们从哥德尔不完全性定理出发可以推断“心灵不能被机械化”的论题。这是一个强论断。弱论断是由哥德尔提出的。他认为从自己的不完全性定理出发,人们只能推断或者“心灵不能被机械化”成立或者“存在不可判定的数...
关键词：绝对可证明性 免类型真理论 数学真理 数学认知 
数学真理的问题(英文)
《逻辑学研究》2009年第2期1-17,共17页丹尼尔.麦克佩斯 
在当前数学实践中,数学知识(如果有这样的知识的话)是通过在定义和公理的基础上证明定理来获得的。问题在于该怎样理解证明中所得到的东西是如何构成知识的,具体而言,即是要给出一个关于数学真理和数学知识的统一的解释,该解释能够揭示...
关键词：数学真理 数学知识 逻辑观念 数学实践 数学对象 符号语言 语义学 塔斯基 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部