1936年（可計算數論文） / 歐洲

圖靈用抽象機器刻畫可計算性

圖靈以讀寫符號的抽象機器研究機械計算的能力和邊界，並描述通用機器；它是數學模型，並非一臺已經建成的電腦。

科學史故事

圖靈的1936年論文把逐步執行規則的計算過程形式化，並證明某些判定任務不存在統一的機械求解方法。丘奇同年以不同方法得到相關否定結論。這項成果討論的是可計算性的數學邊界，不表示圖靈獨自製造了第一臺電子計算機。實際計算機還經歷了邏輯設計、電子器件、儲存和多人協作等不同發展路線。

通用機器把程序也視為可處理的資訊，連接數學邏輯與後來的計算機設計。同時，計算能力有理論限制，機器更快並不會讓一切問題自動可解。

1936年（可計算數論文）明確節點

按資料明確記載的年、月或日定位；未詳的月日不作推定。

劍橋

標記圖靈形成相關研究的重要學術環境；論文完成與後續工作亦涉及普林斯頓等地。

代表點座標 · 52.205°, 0.117°

代表點可指一份手稿的收藏地、實驗室或觀測地點，不表示研究只在此發生，也不把共同發現單獨歸於某一國家。

資料以書目標題展示，不提供外部跳轉。參考資料可能支持個別事實或相關背景，列出來源並不等於每一句解釋已經逐句核實。