通用智能在数学推理中的作用

对象是数学领域及其交互与推理的核心，正如其在物理领域中的核心地位一样（甚至更甚）。而人类的数学推理最终必须立足于我们的通用智能。然而在当代认知科学与人工智能（A.I.）中，物理与数学领域通常被分开探究，这使得可以为系统假定对象是什么——并错失潜在的联系。在本文中，我将此问题置于其哲学与认知背景中。随后我描述了一个用于学习对象表示的抽象理论框架，该框架为数学对象与非数学对象平等地留出空间。最后，我描述了一个基于该观点的案例研究，展示我们整合对象不同方面的通用能力如何影响对自然数的理解。