Churchin-Turingin-Deutsch periaate on vahvempi muoto kirkon tutkielma (tai Churchin-Turingin teesi), joka muotoili David Deutsch vuonna 1985. Tämän periaatteen mukaan yleinen laskin voi simuloida kaikki fysikaaliset prosessit .
Kuten Deutsch totesi, sanamuoto on seuraava:
”Jokainen lopullisesti toteutettavissa oleva fyysinen järjestelmä voidaan täydellisesti simuloida rajallisin keinoin toimivalla yleismallilaskentakoneella. "
”Kaikki saavutettavissa olevat rajalliset fyysiset järjestelmät voidaan simuloida täydellisesti rajallisin keinoin toimivan laskukoneen mallilla. "