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

1 (2014-04-01 13:48:32)
时间： 2004年4月13日下午2点30地点： 蕴味咖啡讲稿： 下次读书会将在周日 4月13日 举行，主讲：苑明理内容:不可解问题希尔伯特第十问题  ...

1 (2014-03-18 09:09:54)
时间： 2004年3月23日下午2点30 地点： 蕴味咖啡 讲稿：  下次读书会将在周六 3月23日 举行，此次由老鱼主讲： 其他顺序计算模型，邱奇－图灵论题，函数式语言的可计算性；   其他文件： ...

1 (2014-03-05 00:34:23)
时间： 2014-3-9, 14:30-16:30 地点： 蕴味咖啡 主讲人：苑明理 内容： 可计算性的基本理论 元编程、自应用、编译器生成 讲稿： , ...