Para poder hacer esto, Deutsch enunció la tesis de Church de manera diferente dando lugar al denominado ""Principio de Church-Turing-Deutsch"".