摘要：自动证明构造对数学认知的三个关键领域产生的影响是如何判断一个数学部分在另一个数学部分中的作用，我们在对数学对象进行推理时如何犯错误，以及我们如何理解我们的定理真正涉及的内容。它通过推测这些方法可能带来的一种新形式的数学体验来进行总结：``故障''，一种类似游戏的搜索，以寻找我们定义的奇异后果。
作者：Simon DeDeo
论文ID：2307.05599
分类：History and Overview
分类简称：math.HO
提交时间：2023-07-13
PDF 下载： 英文版 中文版pdf翻译中