哲学家启动研究 :数学是发明还是发现?- dailynous


哲学家Silvia De Toffoli获得获得了瓦伦堡学院超过 100 万欧元的数学知识项目资助。她的项目是“人性化数学知识”。它将探索数学的“人类弱点”,瓦伦堡基金会将其描述如下:
数学通常被认为是完全符合逻辑的,并没有人性的弱点。然而,数学是建立在人们构建的公理和论证之上的。瓦伦堡学院研究员 Silvia De Toffoli 将开发一种不会过度理想化该领域的数学知识理论。 
数学在描述从宇宙到最微小粒子的所有事物方面几乎是出奇的好。因此,许多人认为数学是一直存在的东西,人类只是在发现。
根据这种观点,数学是绝对可靠的,是唯一能够为我们提供完美确定性的科学。

  • 然而,数学所依据的基本假设是由人们构建的。
  • 此外,数学证明通常是非正式的。它们旨在说服数学家,而不能由计算机自动检查。

Silvia De Toffoli 博士(美国普林斯顿大学)将要承担的项目位于完美的数学与现实之间的中间区域。例如,她将分析用于建立新数学的不同方法的合法性——例如视觉论证、计算机辅助证明和需要大规模合作的证明。
她的目标是开发一种关于数学知识如何在实践中产生和共享的理论。
她将展示人类的、容易犯错的科目如何实现数学客观性。