乔治·韦弗 理解地阅读校样。 （英语） Zbl 0656.03003号 理论 54，第1号，31-47（1988）. 本文讨论了数学证明的性质，以及理解它们所涉及的因素。它认为，局部因素（如理解特定推理的结构）和全局因素（如了解证据的整体结构）都是完整理解所必需的；但由于社会分工，数学家可能会忽略一些局部因素。这与形式主义的证明概念完全不同。审核人：普赖斯特 MSC公司： 03年05月 逻辑和基础的哲学和批判性方面 00A30型 数学哲学 关键词：理解证明;形式主义;数学证明的性质 PDF格式BibTeX公司 XML格式引用 \textit{G.Weaver}，Theoria 54，No.1，31-47（1988；Zbl 0656.03003） 全文： 内政部