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