本書是數理邏輯領域的代表性著作,旨在向零基礎的讀者普及數理邏輯知識。自1972年問世以來,本書得到眾多邏輯學家的肯定,並始終是該領域的長銷之作。
簡明扼要是本書一大特色。秉持將“難懂”的數理邏輯以通俗易懂的方式介紹給一般讀者的理念,幾位元作者精選數理邏輯中最典型的思想,生動地介紹了數理邏輯發展史、謂詞演算的完全性、模型論、圖靈機與遞迴函數、哥德爾不完全性定理、集合論等。相對獨立的章節是本書另一大特色。
全書各章之間不存在緊密的層級關係,讀者可根據理解的程度,暫時跳過某些章節,待需要時再返回重新閱讀。這種寫作方式有助於讀者在短時間內掌握數理邏輯的主要內容,奠定進一步學習邏輯、數學、電腦科學等知識的基礎。
約翰·N.克羅斯利(John N. Crossley) 英國數學家、邏輯學家。1963年于牛津大學獲得哲學博士學位與數學碩士學位。畢業後成為牛津大學頭一位元數理邏輯教師,牛津大學萬靈學院研究員。自1968年起,長期任教于澳大利亞莫納什大學,並于2010年成為該校榮休教授。
主要研究領域為邏輯、數學和電腦科學。著有《構成性序型》(Constructive Order Types,1969)、《數理邏輯是什麼》(What Is Mathematical Logic?,1972,合著)、《組合函子》(Combinatorial Functors,1974,合著)、《數的出現》(The Emergence of Number,1987)、《九章算術:導讀與注釋》(The Nine Chapters on the Mathematical Art: Companion & Commentary,2000,合著)、《程式就是證明:柯裡—霍華德對應》(Adapting Proofs-as-Programs: The Curry-Howard Protocol,2005,合著)、《成長的數字觀》(Growing Ideas of Number,2007)等。
引 論
第一章 歷史概覽
第二章 謂詞演算的完全性
第三章 模型論
第四章 圖靈機與遞迴函數
第五章 哥德爾不完全性定理
第六章 集合論
推薦讀物
索 引