希望。

“是的！”叶非点头：“以往算法都是用到大量计算机知识，但在我看来，算法更应该用数学知识。”

“现在用的所有算法都是在希尔伯特提出的形式化算法的基础上建立的。”

“图灵的图灵机也是在形式化算法上建立的。”

“而图计算法也是在形式化算法上建立的。”

“图灵机用到大量计算机知识，而图计算法用到大量的数学知识。”

“希尔伯特是数学家，形式