Home

數學、語言、機器與程式

從希爾伯特到圖靈的那些故事

-- 以 Python 展現這些故事背後的程式

• 01-希爾伯特的問題
• 02-哥德爾的定理
• 03-丘奇的函數
• 04-圖靈的機器
• 05-喬姆斯基的語法
• 06-庫克的證明
• 07-馮紐曼的報告
• 08-從語言到機器
• A1-參考文獻