求解过程：
这里类似于齐次方程的解法，消去变量，降低次数。
对于形如这般的方程，通过令某一个变量加上或者减去一个常数，可以将常量f消去，这就转化为了上面的形式。
公理化的下一步：结构化认识
这是常用手段，通过变量替换转化未知问题为已知问题。所以就有这样的一种数学认识，公理化的手段，要将所有的高级结论都建立在有限的几条公理上。这条路走得很成功，许多学科都通过公理化实现了逻辑上的严密性。但是，在发展了将近100年的现在就又不太够了，单纯追求一种正确已经成为了基础，下一步的目标是加速获取知识的过程，这就带来了结构化的手段，知识结构尽管形式繁多，但是，有少数几种应用极广，极为重要，那么就应该着重学习，一通则百通，这就是结构化的威力。范畴论代表了这一方向。
总有人讲知识体系，知识网络，这些东西，少部分已经能够形式化的表达出来，不再是玄之又玄的东西。这样的科学发展进程应该值得关注，我感觉这一部分已经是知识表示的领域了，知识表示是人工智能研究的一个部分，是一个年轻的研究领域，正在蓬勃发展。
网友评论