También es un programa científico razonable para observar la dinámica del modelo estándar y tratar de demostrar a partir de esa dinámica que es computacionalmente capaz.