The Church-Turing Thesis

Stanford Encyclopedia of Philosophy 收錄的條目品質都很不錯（這是 by induction XD，關於歸納法的問題可參考我寫的〈Hume's Dilemma〉或 SEP 上處理更為細緻的〈The Problem of Induction〉）。其中對 Church-Turing Thesis 的描述與澄清相當值得一讀 ─ 如果你想知道這個 thesis 到底說了什麼，以及沒說什麼。

--
《Gödel, Escher, Bach》最後面也用滿多篇幅處理 Church-Turing Thesis。