“这样也可以？”

黄建说道：“后续那些问题总会出现的吧。”

“嗯……其实只是效率低一点。”王诚说道：“计算机本质上是一种图灵机，本来也只能解决一部分问题，这不就是你的研究方向吗？”

黄建点点头。

图灵机的局限性在于，只能处理“可计算”问题，对于其他的问题，目前的处理方式都是视而不见。

就像是圈定一个范围，所有人都只能在这个范围内活动，外面的一切，都要越过一个显着的边界后，才能接触。

“还真难啊。”

他不由说道。

“嗯？”

“哦，我是说，要在前人留下的体系上，拓展一点点，都太难了。”

黄建说道：“一年前我就觉得，似乎已经有头绪了。但是直到现在，还是在原地打转。”

“可计算问题和不可计算问题，本来就是不可逾越的啊。”

王诚说道：“我觉得你真没必要在这上面浪费天赋，这问题就太民科了，哪怕你随便研究点别的方向，说不定早就出成果了。”

“嗯……可能吧。”

黄建没有反驳。

前人的研究固然已经很多，但他本能上觉得，应该会有出路。

“对了，你一直没用电脑辅助吧？”王诚说道：“虽然你自己算也很快，不过我觉得你可以试一下，会更轻松一些。”

“用图灵机去研究不可计算问题？”

这已经超出图灵机的能力了。

“不过……提高一下效率也不错。”

可计算的一部分用图灵机去处理，不可计算的逻辑部分自己处理，很多人都是这样做的。

“或者你也可以把你目前得到的成果，放进去跑跑看。”王诚建议道。

嗯……可以试试。