【探索22-8】可算?不可算?這是個電腦問題

我們在日常生活中享受著各種智慧產品所帶來的方便,由於電腦強大運算能力帶來的低延遲,很容易就讓人忘記這些方便其實來自於電腦在背後進行的巨量運算,也容易忽略電腦能解決的問題其實有其限制。董世平教授將從簡單的數學問題出發,介紹電腦的可算性、可行性,探討當今電腦科學界數一數二重要的問題,帶我們認識現在計算科學的樣貌。

Read more

【探索22-1】計算的歷史縱深

在這一個世紀中,計算有跳躍性的進展,對人類文明產生十分巨大的影響。在人類漫長的歷史裡,計算如何從古代懵懵懂懂的操作經驗,慢慢提升到了解到它的本質,逐漸從數學裡分化出來,有自己研究的目標、方法,作為一個成熟的知識領域。李國偉教授從軟體、硬體雙方的發展來看計算如何從數學逐漸演化出來的歷程,以橫貫東西文明的觀點看其歷史的縱深。

Read more

【人物專訪】迎接計算而來的挑戰——專訪董世平

電腦革新了當代社會的行為模式,看似能解決所有困難,但面對計算問題,還需數學的研究與突破。董世平教授研究數論與邏輯,從討論可算不可算、可行非可行的計算問題,與觀眾分享當代計算問題的挑戰,同時娓娓道來數學在生活中的應用,以及對學術研究的感悟。

Read more

【人物專訪】理論計算到電腦模擬之路——專訪鄭原忠

出身於傳統農村的鄭原忠教授,自幼便沐浴在大自然中,對於自然奧秘的熱愛及響往,促使他走向化學之路。大約是在高中期間,首次接觸化學課及化學實驗,便對其著迷,覺得化學變化很有趣也很特別,因此大學及研究所都就讀化學相關科系。然而,大學時期的一門書報討論課,成為踏入理論計算及電腦模擬的起始點。

Read more

【探索17-9】探索COMPUTER的起點「做計算的人」──哥德爾和涂林

「機器算得出心靈與意識嗎?」李國偉引領我們把這個問題帶回到電子計算機尚未具體製作出來的時候,回到提出跨時代見解的的兩位數學家──哥德爾(Gödel, 1906-1978)和涂林(Turing, 1912-1954),兩人就心靈和機器可計算性提出的論點,二者如何相互影響。正是以葛代爾和涂林為始,電腦發明之後,和人類心靈相比孰優孰劣,成了難以論斷的爭議。

Read more