算法

算法的精确在于正确，没有万能的算法，只有特殊的算法，因此不必拘泥于算法的形式，精确地本质不是精确，而是正确。导论里的算法不仅是不基于算法的形式，而是基于有目的的计算。因此没有懒惰的人，也没有懒惰的机器。算法没有真正的精确，因此适度的精确是真正的好算法。