对——他引用的是塔尔斯基（Tarski）而不是哥德尔（Goedel）。不对——哥德尔的证明难度并没有比塔尔斯基高多少，适用范围也不比他更广。在马宁（Manin）的《数理逻辑教程》（A Course In Mathematical Logic，施普林格出版 - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...）中，哥德尔定理就是作为塔尔斯基定理的一个推论来证明的。强烈向那些懂数学、想对逻辑学来个既高深又开阔的入门的人推荐马宁这本书。马宁……
Correct - he's referencing Tarski not Goedel. Incorrect - Goedel is not much harder to prove or wider-ranging than Tarski. Goedel is proven as a corollary to Tarski in Manin, Course In Mathematical Logic (Springer - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...) Strongly recommend Manin to the mathematically literate interested in a sophisticated and worldly introduction to logic. Manin…
You're welcome. My understanding of the subject is based on a course in mathematical logic which I took at a university. According to the lecturer, there are no good books on the subject. There was one book they referenced, but it was fat and unapproachable. So, unfortunately, I can't really…
对——他引用的是塔尔斯基（Tarski）而不是哥德尔（Goedel）。不对——哥德尔的证明难度并没有比塔尔斯基高多少，适用范围也不比他更广。在马宁（Manin）的《数理逻辑教程》（A Course In Mathematical Logic，施普林格出版 - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...）中，哥德尔定理就是作为塔尔斯基定理的一个推论来证明的。强烈向那些懂数学、想对逻辑学来个既高深又开阔的入门的人推荐马宁这本书。马宁……
Correct - he's referencing Tarski not Goedel. Incorrect - Goedel is not much harder to prove or wider-ranging than Tarski. Goedel is proven as a corollary to Tarski in Manin, Course In Mathematical Logic (Springer - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...) Strongly recommend Manin to the mathematically literate interested in a sophisticated and worldly introduction to logic. Manin…
不客气。我对这门学科的理解来自于在大学里上的一门数理逻辑课。据任课讲师说，这个领域就没什么好书。他们倒是提到过一本参考书，但又厚又晦涩。所以，很遗憾，我真没法……
You're welcome. My understanding of the subject is based on a course in mathematical logic which I took at a university. According to the lecturer, there are no good books on the subject. There was one book they referenced, but it was fat and unapproachable. So, unfortunately, I can't really…