【1月14日】名家講座第21講：解析萊布尼茲之夢
點擊次數： 更新時間：2021-01-12
摘 要：
我們将向聽衆介紹（1）大約350 年前少年萊布尼茲(Leibniz)之奇思妙想和抱負；（2）自1847 年到1936 年這90 年裡西方邏輯學界圍繞着萊布尼茲的奇想和抱負所展開的探索和研究，其中包括布爾(Boole)、康托(Cantor)、弗瑞格(Frege)、皮阿羅（Peano）、策墨珞(Zermelo)、羅素(Russsell)、希爾伯特(Hilbert)、哥德爾(Goedel)、丘吉(Church)、圖靈(Turing)等人圍繞解釋和實現萊布尼茲之奇想和抱負這一主線所展開的探索和研究的主要工作。從中，我們将會看到形式和内涵的對立統一，以及在人類的思維發展過程之中，尋求系統、準确、充分表達豐富思想内涵的簡潔有效的形式是一件多麼深刻、多麼艱巨和多麼基礎的任務，而數學，尤其是數理邏輯，作為體現人類思維最精華的一門學科，又是怎樣在發揮着典範的作用。（3）這些基礎性問題的解答對我們今天的日常生活乃至人類文明所産生的巨大而深遠的影響。