本課程將探討古典遞迴理論(Classical Recursion Theory)，此理論主要是研究自然數上的可計算函數。我們將追蹤在此理論發展過程中的一些重要的結果，建立對這理論的基本認識，並將討論一些相關的後設邏輯的課題，例如與可被決定性(decidability)有關的一些定理。