數學、語言、機器與程式 從希爾伯特到圖靈的那些故事 -- 以 Python 展現這些故事背後的程式 01-希爾伯特的問題 02-哥德爾的定理 03-丘奇的函數 04-圖靈的機器 05-喬姆斯基的語法 06-庫克的證明 07-馮紐曼的報告 08-從語言到機器 A1-參考文獻