面试官偶然问出了曾经困扰了世界几十年的问题

本来是关于devops的一个很小的环节, 问题就是, 对程序进行静态分析 那么你能否知道程序中是否存在死循环?

我一下子就兴奋了说这个问题好啊 我正好学过可计算性理论, 你在说的是大名鼎鼎的停机问题, 是这个学科的根基, 本质上来讲就是是否存在一个程序x, 判断程序y是否可以在有限时间内结束或者永远继续下去(也即死循环)

我说答案是不行, 并且跟他解释了停机问题的解, 他在构造自我指涉那一步就一脸cpu烧了的表情, 我都没敢讲什么一阶逻辑不完备性之类的话, 感觉他估计没听到或者觉得我在框他....毕竟本来是一个很愉快的云工程师面试在他问出这个问题后画风突然就硬核了起来

补一个停机问题的wiki



同志们做面试官的话千万别问自己不知道的问题啊....