数学证明严格性之相对意义与综合评判标准

• 作者: 田枫 黄秦安
• 来源期刊: 自然辩证法通讯
• 学科: 地球科学
• 关键词: 数学证明 严格性 证明论 哥德尔不完全性定理
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 科学技术哲学
• 页码范围: 51-55
• 分类号: N0
• 语种: 中文
• DOI: 10.15994/j.1000-0763.2016.01.007

摘要

数学命题的证明在结构上必然存在某种预设性,在其论证过程中必然存在逻辑空隙.数学推理在所采用的逻辑工具和方法上并非无懈可击,加之数学形式体系的非完整性与非封闭性,这些都充分表明数学知识无论是在其原初形式上、形成过程中和构成方式三个维度上都无法获得完全意义上的可靠性.即使在元层面的证明论诉求亦复如此.数学证明的标准是一个综合评判的动态体系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄秦安	陕西师范大学数学与信息科学学院	101	744	13.0	26.0
2	田枫	陕西师范大学数学与信息科学学院	35	11	2.0	3.0