题是——他不能证明题目是错的，也无法得到解。
“真是见了鬼了。”
…………
黄建是个天才，所有认识他的人都这么说。
在几乎所有的学科上，他的成绩都是肉眼可见的强——从小就各种奖项拿到手软，一些比较小的奖项，奖杯、奖牌都没地方放，全都一股脑塞在他床底的一个箱子里。
只有大赛的奖杯，才有资格摆放在他书柜的顶部，直到被下一个奖杯淘汰。
在被TOP1学校提前录取之后，他更是表现出了在理论物理、数学方面的天赋，前进的速度可以用一日千里来形容。
他的老师这样形容他——“我最后悔的，就是没有提前一年发现他。做研究的黄金年龄很短，如果他能提前学一年，说不定有机会在理论上做出更多的突破。”
当然，迄今为止他还在学习。
今年才刚突破朗道壁垒而已。
不过，他已经为自己选了一个研究方向，非常狂妄的那种。
就连最看好他的老师，在得知他的研究方向之后，也连连摇头，认定那是没有意义的。
当然，没人能说服他，除了现实之外。
“图灵机已经是非常成熟的模型。”老师这样跟他说：“但它不能覆盖所有的数学问题。你想要寻找一个框架，将之前的那些问题变成可计算的问题，几乎是不可能的。”
听到这句话的时候，黄建就知道，老师想表达的是——这个方向没有研究的价值，也没有考虑的必要。
的确，有小学数学水平就足够生活，初高中的数学甚至都是不必要的——稍微复杂点的问题，交给计算机就好了。
但那是对普通人而言，黄建自认为，不是普通人。
普通人的生活，对他来说，太过于乏味了——在图灵机设计的范围内生活，对他来说，跟死了没有区别。
图灵机能够解决所有的“可计算”问题，换言之，就是能够通过一套固定的逻辑体系，在有限步内能得到答案的问题。在此之外的问题，或许可以包含在数学的逻辑体系内，但无法使用图灵机解决。
他的老师认为，理解和处理“不可计算”问题，是人类和机器的本质区别。机器即便表现的再像人，也终究只有处理有限问题的能力。
黄建反倒觉得，一切都应当是可以计算的才
本章未完，请点击下一页继续阅读！