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