0 tesis de Church-TuringTodo algoritmo es equivalente a una máquina de Turing. Establece la equivalencia entre los conceptos de función computable y máquina de Turing. Es una afirmación indemostrable que, no obstante, tiene una aceptación universal. 2017-12-23