哥德爾不完全性定理

本書是“世界數學名題欣賞叢書之一”。哥德爾是德國著名數學家，不完全性定理是他在1931年提出來的。這一理論使數學基礎研究發生了劃時代的變化，是現代邏輯史上的一座里程碑。本書系統地介紹了哥德爾不完全性定理的產生、發展和理論，講述了哥德爾的思想方法以及該定理的重要地位。全書從問題產生的歷史背景出發，引入了現代邏輯學的必備知識，最後給出了定理優美的證明。通篇嚴謹簡明、一氣呵成。

1937年生，上海社會科學院哲學研究所副研究員。1960年畢業於上海師大數學系，任助教、講師。1979年調上海社會科學院，從事科研和研究生教學工作。研究方向：數理邏輯，現代形式邏輯，西方邏輯史，數學基礎。著有《形式化：現代邏輯的發展》、《現代邏輯引論》、《對稱和群》、《邏輯語義學》等及20餘篇論文；譯著及譯文有《數理邏輯》、《社會科學在召喚數學》、《數理語言學》等，總計約100餘萬字。