性、一致性和可计算性。
    完备性，所有的数学问题都可以证明或证伪。
    一致性，所有的数学断言，要么是成立，要么是不成立，不存在既成立又不成立的对矛盾的证明。
    可计算性，所有的数学证明，能通过一个可行的过程和有限次运算来获取。
    只要这三个问题得到解答，人类就可以同机器破解所有的数学问题——数学的“终极答案”就等于是落入人类的手中。
    全世界所有的数学家都为这三个问题痴狂。
    而图灵机，就是击破这三个难题的神器。
    这是充满了“智慧”的结构。
    尤基鼓掌。掌声之中有三分应付，也有三分真诚：“可是向山，这和我们说的‘内功’……有什么关系……”
    这一章技术细节较多，需要仔细研究，更新晚了，实在抱歉