1
2011-1-12 10:04:56  GEB读书会  小组活动 

  

时间:2011年1月22日(周六),下午2点

地点:三号会所小厅

内容:《G弦上的咏叹调》、第十四章p573~609

主讲人:武力

注:这一章(第十四章,《论TNT及有关系统中形式上不可判定的命题》)是整本书的最高潮,因为只有在这一章,你才能领略整个哥德尔定理的完全证明。尽管,GEB这本书是一部科普著作,但是作者仍然比较详尽地介绍了哥德尔证明的详细细节,以及一些高超的技巧,例如“Quine”这种关键技术(作者将Quine称为最后一锤)。就我了解,很多人读GEB,根本就没读到这一章,就草草下结论,断言说GEB这本书太民科。其实,如果你真正塌下心来仔细阅读、理解第十四章的内容,就会发现,这种科普已经相当接近专业的证明了。它是对智力的一次挑战。

武力的总结(大年三十献上,史无前例):

 GEB读书会第13、14章总结

 

2011-1-12 11:47:22
  

这一章的证明,是相当的难,某种意义上说,要比相对论的理解更加困难,不过我学会了以后回头再想,发现老侯的科普方法,打比方啊,谐音啊,什么符号串和“服号串”之类,非但没有简化问题,反而把问题更加复杂化了,让人看来看去看不懂,因而感到十分恼火。联想到学习熵、量子干涉、贝尔不等式等等经历,也都是看科普看来看去不懂,最后老老实实啃论文,看教科书才弄懂的。(弄懂以后,回头再看,发现有时候科普书本身的叙述或者翻译就有问题,甚至是错误的,能看懂才怪!)这说明,科普语言只能培养兴趣,到了一定阶段必须看一些正规的书,做一些习题,一味的依赖科普,反而会阻碍学力的正常成长。(另外,那些真正的核心问题,其理解难度事实上是无法降低的,就是那么困难。)

比如说,现在外面很多人对于东方的神秘学非常感兴趣,但是也有个怪现象,就是他们宁愿看从外国倒翻回来的各种修行书籍,去听外国修行者来中国的讲课,也不愿意老老实实地去阅读佛经、道典,以及诸子百家这些正宗的中华文化,自己认认真真地去实践,这样也是会导致走弯路的。

 

2011-1-12 11:54:01
   因为有的知识不能靠别人用文字给你说懂,而必须调动你的积极性,看着几行字把它理解懂。只有当你理解了专业的东西,才能反过来给别人真正做科普。当然,这个时候科普就需要更加精心选择切入点在哪里。

>东方隐在回复:GEB读书会第14章:哥德尔定理的证明中写道:
---------------------------
这一章的证明,是相当的难,某种意义上说,要比相对论的理解更加困难,不过我学会了以后回头再......

 

2011-1-14 17:15:19
  

http://sbseminar.wordpress.com/2009/12/07/the-technical-part-of-godels-proof/

这里有一篇不错的博文论述证明的细节。

>jake在GEB读书会第14章:哥德尔定理的证明中写道:
---------------------------

   ......

 

2013-08-06 02:56:16
   坦白说……我买到书后两年才真敢宣称看懂了这个证明并可以脱稿验算
确实是对抽象思维的考验啊
2013-09-11 01:50:11
   赞!!
登录后才可以评论,马上登录
2012-2022 www.swarma.org, all rights reserved