小明对输入纸带能够停机时，生病的检查员自己在处理这两条纸带时却进入了死循环，其他机器不得不把他强行从纸带上扯开。场面一度失控。

    “所以生病的检查员想给自己作个检查。他左右手都拿着自己的纸带，想看看自己对自己的输入会不会停机——然后就出现了矛盾。”

    “如果判定能停机，就会进入死循环；如果判定不能停机，就会停下来……所以生病的检查员最终会怎样……”

    “所以由反证法，检查员这样的机器不会存在。——或者，如果你一定要问他怎样了的话——被自己的读写头与纸带摩擦所产生的热量焚毁殆尽了吧。”

    我叹出一口气。

    “希尔伯特还提出了其他的问题，比如数学是不是完备的——是不是所有数学命题都可以用一组有限的公理证明或证否；数学是不是一致的——是不是可以证明的都是真命题。”

    “——这个命题是假命题！”

    “哈，挺聪明的。之后哥德尔证明了如果算术系统一致那它就不完备——诶几点了？”

    我抬头看了下学校门口电子屏上的大钟，九点三十，我们已经在校门口的秋风中站了将近一刻钟。

    “……我们是图灵机吗？”我问了最后一个问题。

    “谁知道呢，不过我觉得是的。”

    “但我还没听说过谁的大脑因为接收了什么奇怪的输入而陷入不可预知的死循环……”

    她不置可否地咧咧嘴。

    到了要分别的路口。她向左，我向右。该奔向车站了，别误了末班车。

    转身之前零醛停下了脚步，“哥德尔在天堂碰见了图灵，他说：‘看吧，果然有人要毒死我们！’”她说道，然后发出几声上气不接下气的笑。

    怎么了？我回头担心地望着她，她摇摇头，抬眼凝视着我，然后又恢复了平日的微笑：

    “没什么，it’sajoke.”

    一点也不好笑。>> --