English Version
田枫
作者介绍
陕西师范大学数学与信息科学学院
发表论文
  • 数学证明严格性之相对意义与综合评判标准

    摘 要:数学命题的证明在结构上必然存在某种预设性,在其论证过程中必然存在逻辑空隙。数学推理在所采用的逻辑工具和方法上并非无懈可击,加之数学形式体系的非完整性与非封闭性,这些都充分表明数学知识无论是在其原初形式上、形成过程中和构成方式三个维度上都无法获得完全意义上的可靠性。即使在元层面的证明论诉求亦复如此。数学证明的标准是一个综合评判的动态体系。
    关键词:数学证明  严格性  证明论  哥德尔不完全性定理
    第二作者:黄秦安  陕西师范大学数学与信息科学学院

    作者: 田枫      
    卷期:
    页码:51-55
关于我们
© 2021 中国科学院大学版权所有 地址:北京市石景山区玉泉路19号(甲) 邮编:100049