算法步骤的描述就是“抽象的语言表达出来”，因为学习者不必深究其中道理，只要按照算法的步骤就可搞定，所以对使用者是抽象的。所以，我认为算法是公理的一种。

在我这方，谈不上神化，只是有感于有人沉迷于把洋人浅显得不能再浅显的公里捧得神化，所以我才发了这贴。