Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

时间:2014-03-29 17:15:41
【文件属性】:

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

网友评论

  • 关于哥德尔等人的学术论文,很经典,但是比较难懂。
  • 读起来好难啊