算法步驟的描述就是“抽象的語言表達出來”，因為學習者不必深究其中道理，只要按照算法的步驟就可搞定，所以對使用者是抽象的。所以，我認為算法是公理的一種。

在我這方，談不上神化，只是有感於有人沉迷於把洋人淺顯得不能再淺顯的公里捧得神化，所以我才發了這貼。