摘要：
侯世达(Douglas Richard Hofstadter)的文章的摘抄 来源： <http://blog.sina.com.cn/s/blog_56412c020102whis.html> 主页 https://cogs.sitehost.iu.edu/people/profile.php?u= 阅读全文
摘要：
康托尔、哥德尔、图灵——永恒的金色对角线(rev#2) 来源： <http://blog.csdn.net/pongba/article/details/1336028> By 刘未鹏 C++的罗浮宫(http://blog.csdn.net/pongba) 参考书籍： 形式语言与自动机导论 计算理 阅读全文
摘要：
如何掌握所有的程序语言 来源 http://www.yinwang.org/blog-cn/2017/07/06/master-pl 对的，我这里要讲的不是如何掌握一种程序语言，而是所有的…… 很多编程初学者至今还在给我写信请教，问我该学习什么程序语言，怎么学习。由于我知道如何掌握“所有”的程序语言 阅读全文
摘要：
程序与证明 来源： <http://www.tuicool.com/articles/YRZvem> 时间 2014-10-17 08:00:00 Mort Yao原文 http://www.soimort.org/posts/168/ {- Turing complete, or not Turi 阅读全文