编辑: 丑伊 | 2015-08-25 |
但老师您的学生中,我就是在梦里也没有见过一个. 【注】这里的 德山 是指德山宣鉴禅师(782―865) . 师 指 岩头禅师 .岩头禅师是德山的弟子. 作家 在这里的意思是 禅宗中的善用机锋者 . 洞山 是指洞山良价禅师(807―869) . 译文和注释的出处:http://philosophyol.com/bbs/viewthread.php?tid=27331 我的理解:那两个 作家 的高明之处,就在于 跳出了岩头的系统 , 殊不顾 嘛. 这个时候,我们都无限怀念东方和尚,希望他给我们讲禅布道啊. 4.关于元定理的困惑――元定理是在系统内、还是系统外?(P254-256) 元定理――关于定理的定理.注意后一个定理是黑体的,这是书中的约定,元定理是关于定理(可导出的 串)的定理(被证明了的结果) . 老侯说:得・摩根定律与~,是一条元定理.问题在于:这个元定理难道不是从系统 内的规则推导出的吗? 5.东方的禅宗和西方的计算机――推理的两条发展路径(P257-258) 老侯在最后说了证明和推导的区别.以下是我的理解: 证明:自然语言,特点是模糊,短;
短到极致――>
东方的禅宗,跨越所有证明步骤的顿悟. 推导:形式语言,特点是机械,长;
长到极致――>
人无法处理,计算机出现,难以想象的无数小碎步. 这也许也是现代科学没有在中国产生的原因之一吧. . . . . . 本次读书会的一些花絮 本次读书会正值
2010 年立冬日,屋外天气阴冷,三号会所某仓库内却暖意融融.众人热茶在手,好书在 案,口吐莲花,不亦乐乎. 本次读书会的与会同学中,共有
4 名女同学,男女比例少有的和谐. 特别的,本次读书会还临时吸引到一位美女科幻写手,希望从读书会吸取创造灵感,遂与朱凯同学同桌. 朱凯同学借助地利之便,与其相聊甚欢,别人基本无缘置喙. 读书期间,除了主讲人老何
3 个多小时一直站在白板前手舞足蹈外,亦有数人不时离席跃于白板之前,手 持马克笔,一吐心中言.包括―― jake 讲解 ZIPF 律,开始我们都听成了 zip 复律,心想,这里还有压缩算法哪;
QQL 讲DNA、RNA 的转录、翻译??等复杂过程,大家都对自己的遗传性状产生了浓厚兴趣,如:减肥 成功的丰韵美女,其后代是胖是瘦? 小玉解释:为啥 心是佛,并且心不是佛 ;
武力论证:得・摩根定律,,
到底是系统外的元定理、还是系统内的规则? 两点体会:站着讲,是比坐着讲底气足;
在白板或黑白现场写板书,是比静态的 PPT 更让人投入. 最后,武力给大家现场展示了中央美院艺术家徐冰的众多现代作品,如 新英文书法系列 ,见下图: 这就是英文单词 EXCELLENT,右下角为作者签名 xu bing 更多的徐冰作品,看这里:http://www.cl2000.cn/artistsesca.php?uid_1715/class_13.html 其实,读书会读到这个程度,有没有实物的产出,就并不是唯一重要的问题了.大家在这几个小时内的全 情投入,思维的碰撞,交流和分享,对于每个个体来说,不也是一种产出吗? ........