加布里埃尔,萝莉 QED:证明现象学。(QED:Fenomenologia della dimostrazione) (意大利语) Zbl 1136.00008号 萨吉。科学化。都灵:Bollati Boringhieri(ISBN 88-339-1588-3/pbk)。182页。(2005). 这是一本面向普通读者的书,它最长的一章是从一个讲座周期中衍生出来的,这个讲座周期是向读者提供数学认识论的教学意义,它涉及:(1)证明的性质及其与逻辑的联系,无论是在当前的理解中还是在其历史发展中,(2)证明的各种功能(作者列举了不少于39种,并举例说明,如“避免计算”、“提供解释”、“创造概念”、“建议公理”)、(3)证明策略和(4)证明风格。审核人:维克多·V·潘布西安(多特蒙德) MSC公司: 00A35型 数学方法论 03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等) 00A30型 数学哲学 03A05号 逻辑和基础的哲学和批判性方面 关键词:证据 PDF格式BibTeX公司 XML格式引用 \textit{G.Lolli},QED:Fenomenologia della dimostrazione(意大利语)。都灵:Bollati Boringhieri(2005;Zbl 1136.00008)