“一年前我就觉得,似乎已经有头绪了。但是直到现在,还是在原地打转。”
“可计算问题和不可计算问题,本来就是不可逾越的啊。”
王诚说道:“我觉得你真没必要在这上面浪费天赋,这问题就太民科了,哪怕你随便研究点别的方向,说不定早就出成果了。”
“嗯……可能吧。”
黄建没有反驳。
前人的研究固然已经很多,但他本能上觉得,应该会有出路。
“对了,你一直没用电脑辅助吧?”王诚说道:“虽然你自己算也很快,不过我觉得你可以试一下,会更轻松一些。”
“用图灵机去研究不可计算问题?”
这已经超出图灵机的能力了。
“不过……提高一下效率也不错。”
可计算的一部分用图灵机去处理,不可计算的逻辑部分自己处理,很多人都是这样做的。
“或者你也可以把你目前得到的成果,放进去跑跑看。”王诚建议道。
嗯……可以试试。