2019/05/16 | Kayue 奇書面世40年︰《Gödel, Escher, Bach》的知識漫遊 侯世達的奇書《哥德爾、艾雪、巴哈︰一條永恆的金帶》面世40年，跟隨書中角色在不同知識領域遊蕩、探索的閱讀經驗實在難以替代。 Douglas Hofstadter Kurt Gödel More... M. C. Escher M.C.Escher Bach 哥德爾 巴哈 哥德爾不完備定理 侯世達 數學 人工智能 藝術 邏輯 圖靈機 Bach Escher Gödel 書 閱讀 GEB Lewis Carroll 2019/01/17 | Kayue 首個世界邏輯日︰連結起20世紀兩大邏輯學家的日期 2019年1月14日是首個「世界邏輯日」，1月14日同時是邏輯學家哥德爾離世及塔斯基出生的日子。 邏輯 數學 More... 數理邏輯 Kurt Gödel Alfred Tarski 哥德爾不完備定理 2019/01/14 | Kayue 首個世界邏輯日︰連結起20世紀兩大邏輯學家的日期 2019年1月14日是首個「世界邏輯日」，1月14日同時是邏輯學家哥德爾離世及塔斯基出生的日子。 邏輯 數學 More... 數理邏輯 Kurt Gödel Alfred Tarski 哥德爾不完備定理 2018/10/04 | Kayue 沒有人明白的數學證明能否成立？ 沒有人明白的數學證明，到底能否算作成立？這得視乎我們如何理解「數學證明」這回事。 數學 數學證明 More... 證明 形式系統 數學哲學 形式證明 哥德爾不完備定理 形式主義 黎曼猜想 ABC猜想 望月新一 Michael Atiyah 數學家 幾何原本 歐幾里得 幾何學 公理 推理 邏輯 2018/10/04 | Kayue 沒有人明白的數學證明能否成立？ 沒有人明白的數學證明，到底能否算作成立？這得視乎我們如何理解「數學證明」這回事。 數學 數學證明 More... 證明 形式系統 數學哲學 形式證明 哥德爾不完備定理 形式主義 黎曼猜想 ABC猜想 望月新一 Michael Atiyah 數學家 幾何原本 歐幾里得 幾何學 公理 推理 邏輯 2018/05/23 | 王偉雄 要略懂哥德爾，讀此書可矣 此書雖是入門書，因而寫得不深入，但作者舉手投足都顯出他對哥德爾的研究甚深，縱然只是提綱挈領式的介紹，已足令本來對哥德爾無甚認識的讀者獲益良多。 哥德爾 邏輯 More... 哥德爾不完備定理 哥德爾不完備性定理 邏輯學 邏輯學家 哲學家 數理邏輯 萊布尼茲 胡塞爾 Kurt Gödel Gottfried Leibniz Edmund Husserl 哲學 邏輯哲學 數學哲學 入門書 數學 2018/05/23 | 王偉雄 要略懂哥德爾，讀此書可矣 此書雖是入門書，因而寫得不深入，但作者舉手投足都顯出他對哥德爾的研究甚深，縱然只是提綱挈領式的介紹，已足令本來對哥德爾無甚認識的讀者獲益良多。 哥德爾 邏輯 More... 哥德爾不完備定理 哥德爾不完備性定理 邏輯學 邏輯學家 哲學家 數理邏輯 萊布尼茲 胡塞爾 Kurt Gödel Gottfried Leibniz Edmund Husserl 哲學 邏輯哲學 數學哲學 入門書 數學 2017/12/08 | Kayue 被誤用的哥德爾「不完備性」定理 「哥德爾不完備性定理」是數學上非常重要而且經常被誤解的定理。 數學 量子力學 More... 數理邏輯 哥德爾 哥德爾不完備定理 哥德爾不完備性定理 邏輯 2017/12/08 | Kayue 被誤用的哥德爾「不完備性」定理 「哥德爾不完備性定理」是數學上非常重要而且經常被誤解的定理。 數學 量子力學 More... 數理邏輯 哥德爾 哥德爾不完備定理 哥德爾不完備性定理 邏輯
