【文件属性】：
文件名称：Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
文件大小：4.68MB
文件格式：RAR
更新时间：2014-03-29 17:15:41
turing machine，computability，哥德尔
这里包括了哥德尔、丘奇、图灵、克莱因、戴维斯、波斯特等牛人的论文，enjoy it！
【文件预览】：
The.Undecidable_Davis_0486432289.djvu
网友评论
- 关于哥德尔等人的学术论文，很经典，但是比较难懂。
- 读起来好难啊