杰西卡·卡特 书评：J.W.Dawson jun.，为什么要再次证明？数学实践中的替代证明。 （英语） Zbl 1358.00026号 菲洛斯。数学。(3) 24，第2期，256-263（2016）. 审查[Zbl 1328.00096号]. MSC公司： 00年11月17日 外部书评 00A35型 数学方法论 00-01 与一般数学相关的介绍性说明（教科书、辅导论文等） 00A05号 一般数学 00A30型 数学哲学 01A05号 通史、源书 03A05号 逻辑和基础的哲学和批判性方面 03F99型 证明理论与构造数学 11-03 数论史 12-03 场论史 引文：Zbl 1328.00096号 PDF格式BibTeX公司 XML格式引用 \文本{J.Carter}，Philos。数学。（3） 24，第2号，256--263（2016；Zbl 1358.00026） 全文： 内政部