从matrix67的网站上翻到了一篇关于停机问题的文章,细细思考了一下感觉挺有意思,证明非常的巧妙。 http://www.matrix67.com/blog/archives/55 停机问题的简单表述其实就是不能写出程序来判断一个程序是死循环。 为什么,”背叛法“来证明:

Read More
Close Bitnami banner
Bitnami