La indeterminación es una propiedad de los sistemas formales que evolucionan en el tiempo (a menudo conceptualizados como un cálculo ), en los que la información completa sobre el estado interno del sistema en algún momento admite múltiples trayectorias futuras.
En términos más simples, si dicho sistema se devuelve a la misma condición inicial, o si se inician dos copias idénticas del sistema al mismo tiempo, no producirán con certeza el mismo comportamiento, ya que algún elemento del azar puede ingresar. el sistema desde fuera de su especificación formal.
En algunos casos, la indeterminación surge de las leyes de la física , en otros casos se filtra del modelo abstracto y, a veces, el modelo incluye una fuente explícita de indeterminación, como ocurre con los algoritmos deliberadamente aleatorizados , por los beneficios que esto proporciona.