|
|||||
|
|
| 数学证明严格性之相对意义与综合评判标准 | |
| 引用本文： | 田枫,黄秦安.数学证明严格性之相对意义与综合评判标准[J].自然辩证法通讯,2016(1):51-55. |
| 作者姓名： | 田枫 黄秦安 |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安,710062 |
| 摘 要： | 数学命题的证明在结构上必然存在某种预设性,在其论证过程中必然存在逻辑空隙。数学推理在所采用的逻辑工具和方法上并非无懈可击,加之数学形式体系的非完整性与非封闭性,这些都充分表明数学知识无论是在其原初形式上、形成过程中和构成方式三个维度上都无法获得完全意义上的可靠性。即使在元层面的证明论诉求亦复如此。数学证明的标准是一个综合评判的动态体系。 |
| 关 键 词： | 数学证明 严格性 证明论 哥德尔不完全性定理 |
The Relative Significance of Rigorousness in Mathematical Proof and its Comprehensive Criterions |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |