¿Pueden los algoritmos ser evaluados con rigor?