2018/10/04 | Kayue 沒有人明白的數學證明能否成立? 沒有人明白的數學證明,到底能否算作成立?這得視乎我們如何理解「數學證明」這回事。 數學 數學證明 More... 證明 形式系統 數學哲學 形式證明 哥德爾不完備定理 形式主義 黎曼猜想 ABC猜想 望月新一 Michael Atiyah 數學家 幾何原本 歐幾里得 幾何學 公理 推理 邏輯 2018/10/04 | Kayue 沒有人明白的數學證明能否成立? 沒有人明白的數學證明,到底能否算作成立?這得視乎我們如何理解「數學證明」這回事。 數學 數學證明 More... 證明 形式系統 數學哲學 形式證明 哥德爾不完備定理 形式主義 黎曼猜想 ABC猜想 望月新一 Michael Atiyah 數學家 幾何原本 歐幾里得 幾何學 公理 推理 邏輯 2018/09/24 | Kayue 數學家阿蒂亞演講中稱已證明「黎曼猜想」 論文未經同行審查 曾獲菲爾茲獎和阿貝爾獎的數學家阿蒂亞,在演講中宣稱自己證明了黎曼猜想,然而他的證明細節似乎來自另一篇未正式發表的論文。 Michael Atiyah 數學 More... 數學家 黎曼猜想 Todd Function 數學證明 2018/09/21 | Kayue 89歲數學家宣稱證明了黎曼猜想,不過先別太興奮 數學家阿蒂亞準備在下星期一演講,提出著名難題「黎曼猜想」的簡單證明。 黎曼 黎曼猜想 More... Michael Atiyah Riemann Hypothesis 數學 數學證明 Fields Medal 菲爾茲獎 圖靈獎 阿貝爾獎