Completitud de Turing
Natural & Formal Sciences Dictionary
Definición
Propiedad de un sistema computacional que indica que puede simular cualquier máquina programable de propósito general y, por tanto, realizar cualquier cálculo que dicha máquina ideal pueda hacer, dadas tiempo y memoria no acotados.