哥德爾(Kurt Gödel, 1906 ~1978)是眾所公認的最重要的邏輯學家，其代表性的、劃時代的貢獻即是所謂的不完備性定理(Incompleteness Theorems)。哥德爾的不完備性定理發表於1931年，在那個年代邏輯的發展正方興未艾，而不完備性定理可說是大大地超前其時間背景，並且在一夕之間扭轉了整個邏輯學的研究方向。不僅如此，從諸多文獻中可看到，不完備性定理甚至衝擊了整個學術界或文化界，影響深遠。本課程將仔細地理解不完備性定理的證明，並且探討相關的後設邏輯定理，此外也將閱讀與不完備性定理有關的哲學文獻，涉獵在此方面的數學哲學以及心靈哲學等的議題。