Handbook of Mathematical Logic
http://book.douban.com/subject/2870433/
一本非常接地气的经典教科书加百科全书。它的权威性毋庸置疑,甚至想将这本书放在【名师名著】栏目。可以说读懂读通了这本书,天下再无什么数理逻辑的书能难倒你。不过这本书只适合那些把数理逻辑当做自己生涯学习一部分的“严肃读者”,如果你的目的是“考研”什么的,还是算了吧:毕竟远水救不了近火。
下面是我翻译的该书的《前言》由Jon Barwise所著。
《Handbook of Mathematical Logic》试图与整个数学界分享逻辑学近年来的发展动向。我们从大量的论题当中精选出一些逻辑学中最为关心的,特别是那些应用在数学其它领域最重要的专题。
数理逻辑传统上分为四个部分:模型论、集合论、递归论和证明论。我们在编辑这本书时因找不到更好的方式故因循这个分类。但这样的分类使得安排一些跨领域的章节(interaction of several parts of logic)变得十分困难,因此这样的分类只能作为参考(taken with a grain of salt)。四个部分每一部分开篇都有一个简短的对后续各章的导读。而后续两章是对该部分话题的全面介绍。中间的章节属于比较深入的话题,压轴的最后一、两章是该专题在其它学科的应用。每一章都是为那些在该领域的非专业人员而编写,但每一章的对读者水平的要求也相应不同。特别是某些章节不是为一般的数学专业的而是以逻辑为专业的人员所编写。
我们希望更多的数学专业人员能够在空闲时带着好奇心浏览本书了解一下在自己专业之外的其它领域的最新发展。当然,很难想象某个数学家在不想深入研究其中若干章节的情况下能够花10分钟时间做这件事。这本书为此提供了以前不曾有的机会而这也是本书出版的最好理由。
一本非常接地气的经典教科书加百科全书。它的权威性毋庸置疑,甚至想将这本书放在【名师名著】栏目。可以说读懂读通了这本书,天下再无什么数理逻辑的书能难倒你。不过这本书只适合那些把数理逻辑当做自己生涯学习一部分的“严肃读者”,如果你的目的是“考研”什么的,还是算了吧:毕竟远水救不了近火。
下面是我翻译的该书的《前言》由Jon Barwise所著。
《Handbook of Mathematical Logic》试图与整个数学界分享逻辑学近年来的发展动向。我们从大量的论题当中精选出一些逻辑学中最为关心的,特别是那些应用在数学其它领域最重要的专题。
数理逻辑传统上分为四个部分:模型论、集合论、递归论和证明论。我们在编辑这本书时因找不到更好的方式故因循这个分类。但这样的分类使得安排一些跨领域的章节(interaction of several parts of logic)变得十分困难,因此这样的分类只能作为参考(taken with a grain of salt)。四个部分每一部分开篇都有一个简短的对后续各章的导读。而后续两章是对该部分话题的全面介绍。中间的章节属于比较深入的话题,压轴的最后一、两章是该专题在其它学科的应用。每一章都是为那些在该领域的非专业人员而编写,但每一章的对读者水平的要求也相应不同。特别是某些章节不是为一般的数学专业的而是以逻辑为专业的人员所编写。
我们希望更多的数学专业人员能够在空闲时带着好奇心浏览本书了解一下在自己专业之外的其它领域的最新发展。当然,很难想象某个数学家在不想深入研究其中若干章节的情况下能够花10分钟时间做这件事。这本书为此提供了以前不曾有的机会而这也是本书出版的最好理由。
amazon.com上的书评
**** Classics but difficult
The handbook is a heavy book that is definitely not for beginners. However, it is certainly a classic. It is a large scope book, which cover different area such as model theory, set theory, recursion theory, proof theory and constructive mathematics. It can be useful for student of logic and professionals. The articles in the handbook covering different areas of mathematical logic till the 70's. They differ in complexity and style. Among them it is worth mentioning Smorynski's article about Gödel's incompleteness theorems and the famous result of Paris & Harrington. In short, if you are seriously interested in Logic - buy it. Just remember that it is updated to the end of the 70's.
** Don't buy it blind
The chapters are very uneven, as you might expect with 34 authors. A couple are well written but most are poor -- too terse, little context, poor writing. Better to look in an appropriate graduate text.
***** One masterpiece
One amazing encyclopedic book about mathematical logic (is there another type of logic?). One basic book if you want to know more about this theme after the typical pre-graduate mathematical logic course of any university. Difficult but essential.
> 我来回应