哲學家啟動研究 ：數學是發明還是發現？- dailynous

哲學家Silvia De Toffoli獲得獲得了瓦倫堡學院超過 100 萬歐元的數學知識專案資助。她的專案是“人性化數學知識”。它將探索數學的“人類弱點”，瓦倫堡基金會將其描述如下：

數學通常被認為是完全符合邏輯的，並沒有人性的弱點。然而，數學是建立在人們構建的公理和論證之上的。瓦倫堡學院研究員 Silvia De Toffoli 將開發一種不會過度理想化該領域的數學知識理論。 

數學在描述從宇宙到最微小粒子的所有事物方面幾乎是出奇的好。因此，許多人認為數學是一直存在的東西，人類只是在發現。

根據這種觀點，數學是絕對可靠的，是唯一能夠為我們提供完美確定性的科學。

• 然而，數學所依據的基本假設是由人們構建的。
• 此外，數學證明通常是非正式的。它們旨在說服數學家，而不能由計算機自動檢查。

Silvia De Toffoli 博士（美國普林斯頓大學）將要承擔的專案位於完美的數學與現實之間的中間區域。例如，她將分析用於建立新數學的不同方法的合法性——例如視覺論證、計算機輔助證明和需要大規模合作的證明。

她的目標是開發一種關於數學知識如何在實踐中產生和共享的理論。

她將展示人類的、容易犯錯的科目如何實現數學客觀性。