內容簡介
本書內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算的基本知識。第二部分為形式算術與Godel不完備性定理。
本書對Godel第一不完備性定理、Godel-Rosser定理、Tarski定理及形式算術的不可判定性定理等都提供了完整的證明。結合對Church論題與Turing論題的介紹，對這些定理的意義進行了討論。書中還提出了Godel第二不完備性定理的一種易證形式。
本書可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。
本書對Godel第一不完備性定理、Godel-Rosser定理、Tarski定理及形式算術的不可判定性定理等都提供了完整的證明。結合對Church論題與Turing論題的介紹，對這些定理的意義進行了討論。書中還提出了Godel第二不完備性定理的一種易證形式。
本書可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。
