La tesis de Church-Turing-Deutsch ( CTD-principle - un acrónimo de Church, Turing, Deutsch ; también una tesis fuerte de Church-Turing ) es una formulación físicamente más rigurosa de la tesis computacional heurística de Church-Turing propuesta por David Deutsch en 1985 .
Según la tesis, un dispositivo informático universal es capaz de simular cualquier proceso físico finito; Al mismo tiempo, el aparato de la física clásica , que utiliza esencialmente los conceptos de continuidad y continuo , no permite modelar todos los procesos físicos por la máquina de Turing , que opera solo con objetos computables . Deutsch sugirió que las computadoras cuánticas podrían superar las limitaciones de este principio si las leyes algebraicas de la física cuántica pudieran convertirse en una base teórica que describa cualquier proceso físico y describió la máquina cuántica de Turing . - una máquina abstracta bastante simple que simula algoritmos cuánticos , y formuló una versión extendida de la tesis de Church-Turing.
La cuestión del contenido interno de la tesis y la posibilidad de cálculos super-Turing es objeto de investigación en física digital .