起了冲锋他提出了“元数学”的理念——也就是“研究数学的数学”
只要掌握了元数学,就等于掌握了一切数学
而元数学的核心,则是三个论题——关于完备性、一致性和可计算性
完备性,所有的数学问题都可以证明或证伪
一致性,所有的数学断言,要么是成立,要么是不成立,不存在既成立又不成立的对矛盾的证明
可计算性,所有的数学证明,能通过一个可行的过程和有限次运算来获取
只要这三个问题得到解答,人类就可以同机器破解所有的数学问题——数学的“终极答案”就等于是落入人类的手中
全世界所有的数学家都为这三个问题痴狂
而图灵机,就是击破这三个难题的神器
这是充满了“智慧”的结构
尤基鼓掌掌声之中有三分应付,也有三分真诚:“可是向山,这和我们说的‘内功’……有什么关系……”