La tesis de Church-Turing expone que si el tiempo es computable, entonces se puede computar mediante una máquina de Turing.