文件名称: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