穆拉夫斯基，罗马 关于数学证明的一些历史、哲学和方法论评论。 （英语） Zbl 1433.00031号 Probst，Dieter（编辑）等人，《数学、哲学和计算机科学中的证明概念》。基于2013年9月9日至13日瑞士伯尔尼洪堡-科尔勒格号。Ontos数学逻辑6。柏林：De Gruyter。251-268 (2016). 摘要：本文致力于对数学证明的作用和意义的历史、哲学和方法论思考。讨论了非正式证明在数学研究实践中的作用。接下来考虑形式证明的概念。区分的问题：（形式上）可证明性与真实性。讨论了非正式证明和正式证明之间的关系。关于整个系列，请参见[Zbl 1345.03009号]. 引用于1审查 MSC公司： 00A30型 数学哲学 03A05号 逻辑和基础的哲学和批判性方面 00A35型 数学方法论 关键词：形式证明;非正式证明;真理;数学知识;公理化方法 PDF格式BibTeX公司 XML格式引用 \textit{R.Murawski}，Ontos数学。日志。6、251--268（2016；Zbl 1433.00031） 全文： 内政部