1 (2014-05-09 03:05:25)
最后一次计算理论读书会将于本周日(5月11日)下午两点半在蕴味咖啡举行,欢迎各位到时参与。此次读书会原定教材的章节安排是讨论抽象的计算理论,不再是基于自然数,或者基于和While语言相关的树结构。因为最近的一些探讨,我决定此次读书会主题将聚焦在一个争议话题上—可计算性和物理世界的关系。搜集的文献已经比较丰富,有六、七十篇论文,我正在抓紧时间阅读和整理,我目前还不能确定最终整理成型的内容大纲。内容不会很深入,但会尽量澄清几个问题上的争论和探讨:物理世界是否可计算?超计算(Hypercomputation)或者其他的计算形式是否可行?认知的限度在哪里?这个话题的核心研究者有哪些?这个话题在上世纪中叶已经有零星讨论,从九十年代开始...