這本關於數學哲學的 #book 真是個絕對的瑰寶! 這本書提出了一個無害的問題——當我們在做數學時,我們在做什麼? 我們是在發現實體,還是在創造新的實體?證明到底是什麼?當我們發現數學是不完整的,無法被形式化時會發生什麼? 作者所持的觀點(我100%同意)是數學是一種社會文化的產物。做數學就像是發明遊戲規則並弄清楚其後果。當然,有些數學具有實用性,但數學對象的真實性並不在外面,而是在其他數學家的心中,他們給予我們必要的反饋或驗證。 我強烈推薦這本書。它進入了我的重讀清單。