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 哥德爾不完備定理 2016/08/01 | Kayue 曾為塔斯基立傳，邏輯學家費佛文中風後逝世 邏輯學家費佛文逝世，終其一生為邏輯學界貢獻甚多，除了寫學術論文外，也分別為上世紀最重要的兩位邏輯學家——塔斯基及哥德爾——撰寫傳記及编纂全集。 邏輯 邏輯學 More... 邏輯學家 普特南 費佛文 哥德爾 塔斯基 Hilary Putnam Soloman Feferman Alfred Tarski Kurt Gödel 數學 數學哲學 學者 傳記
