Diferencia entre revisiones de «La tesis de Church-Turing/Interpretaciones»

Contenido eliminado Contenido añadido
Legoisa (discusión | contribs.)
Legoisa (discusión | contribs.)
Línea 10:
La idea anteriormente expuesta es innovadora e interesante ya que para nosotros no es fácil entender que algo "considerado computable de forma natural" no pueda ser computado por la naturaleza. De esta manera, Deutsch convierte la tesis en un principio llamado "Principio de Church-Turing-Deutsch" cuyo enunciado se muestra a continuación:
 
''"Todos los sistemas físicos finitos comprensibles pueden ser simulados por una máquina de computación universal que opere en pasos finitos"''.
 
Por último, la extensión de este principio al caso cuantitativo (al que nos referiremos como “CTDP Extendido”) es sencilla: