我来写写我的看法
首先,类比物理是研究物质世界的学科,我认为数学的研究对象是虚拟信息层面的实体,数学应该是客观实在的,而非人类思维产物
其次,纠结发明和发现没什么意义,一切“发明”都可以用“发现”进行等价表述,比如:“图灵发明了图灵机”可以等价表述为“图灵发现了一种数学结构,其定义为...(省略图灵机的定义),其具备以下性质:...(省略图灵机的性质)”,“贝尔发明电话”可以等价表述为“贝尔发现了一种物质的排布方式,这种排布方式组成了一种机器,这种机器能够进行远程通话”,所以我们可以认为“发明”是一类特殊的“发现”,人们使用“发明”这个词来简化这类特殊的“发现”的表达(实际上在我看来,“发明”的所指应该是“发现”的所指的子集)