张大胖的女朋友写了一个程序，奇怪的是，运行了半天也毫无反应。
张大胖女朋友突发奇想
牛皮吹出去了， 张大胖不敢怠慢，赶紧开工
可是几天过去了，这样的程序，他怎么都写不出来。
这天夜里，张大胖正在琢磨那个可以发财的程序，一个人来找他了。
后记：审判者和挑战者，到底谁是对的呢？答案是挑战者。其实张大胖要解决的就是计算机领域内的那个经典问题：停机问题。
停机问题通俗来说就是：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
现在我们已经知道了，这样的程序是不存在的。简单的说，「停机问题」说明了现代计算机并不是无所不能的。其实这一点我们的祖师爷图灵在1936年就做出了证明。
和停机问题类似的还有理发师悖论：村子里有个理发师，这个理发师有条原则是，对于村子里所有人，当且仅当这个人不自己刮胡子，理发师就给这个人刮胡子。如果这个人自己刮胡子，理发师就不给这个人刮胡子。无法回答的问题是，理发师给自己刮胡子么？
转载：https://blog.csdn.net/coderising/article/details/115153326
查看评论