期刊文献+

对数学证明的审查与数学可谬性 被引量:3

Surveying of Mathematical Proof and Mathematical Fallibility
原文传递
导出
摘要 皮尔士、拉卡托斯和欧里斯特对于数学可谬性的论断是从宏观的角度进行的。数学证明的可审查性可以最大限度地保证其正确性,但机器证明和长证明使得审查难以进行,它们的存在也为数学可谬性提供了微观证据。 Peirce,Lakatos,and Ernest claim that the mathematics is fallibility from a macroscopic view. The mathematical proof surveyability ensures its correctness up to the hilt,but machine proof and long proof make surveying difficult,they provide the micro evidence for mathematical fallibility.
作者 张晓贵 ZHANG Xiao - gui(The School of Mathematics and Statistics of Hefei Normal University,Hefei 230601,China)
出处 《科学技术哲学研究》 CSSCI 北大核心 2018年第4期58-62,共5页 Studies in Philosophy of Science and Technology
关键词 数学证明 可审查性 数学可谬性 mathematical proof surveyability mathematical fallibility
  • 相关文献

参考文献1

二级参考文献4

  • 1王幼军.从拉卡托斯到欧内斯特:数学哲学的重建[J].自然辩证法研究,2008,24(11):22-27. 被引量:3
  • 2Peirce C S. The first rule of logic[ EB/OL]. [2010 -09 -06]. http://www, princeton, edu/- batke/peirce/frl_99. htm.
  • 3Cooke K F. Peirce, Fallibilism, and the Science of Mathematics [ J ]. Philosophia Mathematics ,2003 ( 3 ) : 158 - 175.
  • 4Peirce C S. The Collected Paper of Charles Sanders Peirce [ M]. Cambridge Mass:Harvard University Press, 1932( 1 ): 144.

共引文献1

同被引文献36

引证文献3

二级引证文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部