Teza Church-Turing-Deutsch ( CTD-principe - un acronim pentru Church, Turing, Deutsch ; de asemenea, o puternică teză Church-Turing ) este o formulare mai riguroasă din punct de vedere fizic a tezei euristice computaționale Church-Turing propusă de David Deutsch în 1985 .
Conform tezei, un dispozitiv computerizat universal este capabil să simuleze orice proces fizic finit; În același timp, aparatul fizicii clasice , care utilizează în esență conceptele de continuitate și continuum , nu permite modelarea tuturor proceselor fizice de către mașina Turing , care funcționează numai cu obiecte calculabile . Deutsch a sugerat că calculatoarele cuantice ar putea depăși limitările acestui principiu dacă legile algebrice ale fizicii cuantice ar putea deveni o bază teoretică care descrie orice procese fizice și a descris mașina cuantică Turing. - o mașină abstractă destul de simplă care simulează algoritmi cuantici și a formulat o versiune extinsă a tezei Church-Turing.
Problema conținutului intern al tezei și a posibilității calculelor super-Turing este subiectul cercetării în fizica digitală .