时间：2011年1月22日（周六），下午2点
地点：三号会所小厅
内容：《G弦上的咏叹调》、第十四章p573~609
主讲人：武力
注：这一章（第十四章，《论TNT及有关系统中形式上不可判定的命题》）是整本书的最高潮，因为只有在这一章，你才能领略整个哥德尔定理的完全证明。尽管，GEB这本书是一部科普著作，但是作者仍然比较详尽地介绍了哥德尔证明的详细细节，以及一些高超的技巧，例如“Quine”这种关键技术（作者将Quine称为最后一锤）。就我了解，很多人读GEB，根本就没读到这一章，就草草下结论，断言说GEB这本书太民科。其实，如果你真正塌下心来仔细阅读、理解第十四章的内容，就会发现，这种科普已经相当接近专业的证明了。它是对智力的一次挑战。
武力的总结（大年三十献上，史无前例）：
2011-1-12 11:47:22这一章的证明，是相当的难，某种意义上说，要比相对论的理解更加困难，不过我学会了以后回头再想，发现老侯的科普方法，打比方啊，谐音啊，什么符号串和“服号串”之类，非但没有简化问题，反而把问题更加复杂化了，让人看来看去看不懂，因而感到十分恼火。联想到学习熵、量子干涉、贝尔不等式等等经历，也都是看科普看来看去不懂，最后老老实实啃论文，看教科书才弄懂的。（弄懂以后，回头再看，发现有时候科普书本身的叙述或者翻译就有问题，甚至是错误的，能看懂才怪！）这说明，科普语言只能培养兴趣，到了一定阶段必须看一些正规的书，做一些习题，一味的依赖科普，反而会阻碍学力的正常成长。（另外，那些真正的核心问题，其理解难度事实上是无法降低的，就是那么困难。）
比如说，现在外面很多人对于东方的神秘学非常感兴趣，但是也有个怪现象，就是他们宁愿看从外国倒翻回来的各种修行书籍，去听外国修行者来中国的讲课，也不愿意老老实实地去阅读佛经、道典，以及诸子百家这些正宗的中华文化，自己认认真真地去实践，这样也是会导致走弯路的。
2011-1-12 11:54:01>东方隐在回复：GEB读书会第14章：哥德尔定理的证明中写道：
---------------------------
这一章的证明，是相当的难，某种意义上说，要比相对论的理解更加困难，不过我学会了以后回头再......
2011-1-14 17:15:19http://sbseminar.wordpress.com/2009/12/07/the-technical-part-of-godels-proof/
这里有一篇不错的博文论述证明的细节。
>jake在GEB读书会第14章：哥德尔定理的证明中写道：
---------------------------
......
2013-08-06 02:56:162013-09-11 01:50:11