最后一次计算理论读书会 (2014-05-09 03:05:25)
最后一次计算理论读书会将于本周日(5月11日)下午两点半在蕴味咖啡举行,欢迎各位到时参与。此次读书会原定教材的章节安排是讨论抽象的计算理论,不再是基于自然数,或者基于和While语言相关的树结构。因为最近的一些探讨,我决定此次读书会主题将聚焦在一个争议话题上—可计算性和物理世界的关系。搜集的文献已经比较丰富,有六、七十篇论文,我正在抓紧时间阅读和整理,我目前还不能确定最终整理成型的内容大纲。内容不会很深入,但会尽量澄清几个问题上的争论和探讨:物理世界是否可计算?超计算(Hypercomputation)或者其他的计算形式是否可行?认知的限度在哪里?这个话题的核心研究者有哪些?这个话题在上世纪中叶已经有零星讨论,从九十年代开始...
可计算性理论研讨会(4):不可解问题与希尔伯特第十问题 (2014-04-01 13:48:32)
时间: 2004年4月13日下午2点30地点: 蕴味咖啡讲稿: 下次读书会将在周日 4月13日 举行,主讲:苑明理内容:不可解问题希尔伯特第十问题  ...
可计算性理论研讨班(3)——邱奇-图灵论题,函数式语言的可计算性 (2014-03-18 09:09:54)
时间: 2004年3月23日下午2点30 地点: 蕴味咖啡 讲稿:  下次读书会将在周六 3月23日 举行,此次由老鱼主讲: 其他顺序计算模型,邱奇-图灵论题,函数式语言的可计算性;   其他文件: ...
可计算性研讨班(2)---可计算性的基本理论 元编程、自应用、编译器生成 (2014-03-05 00:34:23)
时间: 2014-3-9, 14:30-16:30 地点: 蕴味咖啡 主讲人:苑明理 内容: 可计算性的基本理论 元编程、自应用、编译器生成 讲稿: , ...
2012-2022 www.swarma.org, all rights reserved