对数学证明的审查与数学可谬性

军军 蒋

摘要


本研究基于宏观角度,皮尔士、欧里斯特以及拉卡托斯提出数学可谬性分析,进一步阐述数学证明可审查性,能够确保数学证明正确。但由于存在机器证明以及长证明等无法实现数学审查,但正是由于这些证明的存在,也为数学可能性分析提供重要的微观证据。

关键词


数学证明;审查;可谬性

全文:

PDF

参考


胡吉振,胡典顺.为什么要证明--基于数学史视角的回答[J].基础教育课程,2020(19):6.

罗军标.对初中数学几何证明题的教学实践[J].数学大世界:中旬,2020(5):1.

穆欢,张昆龙.唯一补格中与分配性的等价条件和关于Peirces定理的证明[J].模糊系统与数学,2020,34(1):5.

吕曼曼.数学证明过程中缄默知识的获得研究[D].济南:山东师范大学,2020.




DOI: https://doi.org/10.12346/sde.v4i4.5939

Refbacks

  • 当前没有refback。