证明的片段
摘要：数学证明的演变和历史的新视角 摘要：本文中，我们提出了关于数学证明的演变和历史的新视角。证明将在三个层面上进行研究：语法、语义和语用。计算机辅助证明将特别受到关注。最后，在高度推测的部分，我们将预测在量子计算机实现的假设下，证明的演变。我们将论证传统和“非常规”类型的证明之间几乎没有“固有的”区别。
作者：Cristian S. Calude, Elena Calude, Solomon Marcus
论文ID：math/0305213
分类：History and Overview
分类简称：math.HO
提交时间：2007-05-23