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

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

Read more

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

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

Read more

【人物專訪】真理雖不能至,吾心嚮往之——李國偉老師專訪

在這個跨領域稀鬆平常的年代,在校學歷跟工作經歷不一定非得走在同一條軌道上,甚至讀書讀到一半轉換領域也是常有的事。然而打開李國偉老師的學經歷簡介,卻是難得一色清,乾淨俐落地從「數理邏輯」這塊領域一門深入。被問到當初是怎麼被數學所吸引,李國偉說最早讓他感受到數學魅力的,是初三數學的平面幾何——平面幾何題的證明過程,跟以前在數學課學到的算術跟代數,思維方式非常不一樣。

Read more