漫画 | 妹子让我写个程序，我却搞砸了...

淩亂°似流年 2022-11-12 11:56 71阅读 0赞

张大胖的女朋友写了一个程序，奇怪的是，运行了半天也毫无反应。

![b806c3b70eeffb7d4e37b5c40ce5101e.png][]

张大胖女朋友突发奇想

![af618938b1dd516ff655d13925683390.png][]

牛皮吹出去了， 张大胖不敢怠慢，赶紧开工

可是几天过去了，这样的程序，他怎么都写不出来。

![a35ef7313fb9f90b2580ec726cf4d1eb.png][]

这天夜里，张大胖正在琢磨那个可以发财的程序，一个人来找他了。

![18ca9556454dc6ecf5bf638a293e54bd.png][]

![5772d2363c3cb765c9d1c95b071a68b0.png][]

![a48d532c1f9df6bc13bee933d9c91294.png][]

![12e218384d2f238fab7859d104f0bfda.png][]

![06735f69f9ef5c41b0871eecc27a5dd4.png][]

后记：审判者和挑战者，到底谁是对的呢？答案是挑战者。其实张大胖要解决的就是计算机领域内的那个经典问题：**停机问题**。

停机问题通俗来说就是：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。

现在我们已经知道了，**这样的程序是不存在的**。简单的说，「停机问题」说明了现代计算机并不是无所不能的。其实这一点我们的祖师爷图灵在1936年就做出了证明。

和停机问题类似的还有理发师悖论：村子里有个理发师，这个理发师有条原则是，对于村子里所有人，当且仅当这个人不自己刮胡子，理发师就给这个人刮胡子。如果这个人自己刮胡子，理发师就不给这个人刮胡子。无法回答的问题是，理发师给自己刮胡子么？

[b806c3b70eeffb7d4e37b5c40ce5101e.png]: /images/20221022/dc86329ef3004ce08147f88c81d672eb.png
[af618938b1dd516ff655d13925683390.png]: /images/20221022/bc65202239af49fabcaa97f0631d66da.png
[a35ef7313fb9f90b2580ec726cf4d1eb.png]: /images/20221022/352e49ec73bb43689b7e300f88cc92f0.png
[18ca9556454dc6ecf5bf638a293e54bd.png]: /images/20221022/0cdfb8d8bb794a80aa2811c717c23364.png
[5772d2363c3cb765c9d1c95b071a68b0.png]: /images/20221022/68f0b189c3bd431f95f76329567ca3d4.png
[a48d532c1f9df6bc13bee933d9c91294.png]: /images/20221022/e013f64c9cf54e27b0e9627e754355ce.png
[12e218384d2f238fab7859d104f0bfda.png]: /images/20221022/d02751e869be47e5abc8e5dbd1d19ce9.png
[06735f69f9ef5c41b0871eecc27a5dd4.png]: /images/20221022/5ee93ce5530a42a3b2e35d5cbfe023cf.png