Church-Turing-Deutsch-avhandlingen ( CTD-principen - en akronym för Church, Turing, Deutsch ; också en stark Church-Turing-avhandling ) är en mer fysiskt rigorös formulering av den heuristiska beräkningsuppsatsen Church - Turing som föreslogs av David Deutsch 1985 .
Enligt avhandlingen är en universell datorenhet kapabel att simulera vilken ändlig fysisk process som helst; Samtidigt tillåter inte den klassiska fysikens apparatur , som i huvudsak använder begreppen kontinuitet och kontinuum , modellering av alla fysiska processer med Turing-maskinen , som endast arbetar med beräkningsbara objekt . Deutsch föreslog att kvantdatorer skulle kunna övervinna begränsningarna med denna princip om kvantfysikens algebraiska lagar kunde bli en teoretisk grund för att beskriva alla fysiska processer, och beskrev kvantturingmaskinen - en ganska enkel abstrakt maskin som simulerar kvantalgoritmer och formulerade en utökad version av Church-Turing-avhandlingen.
Frågan om avhandlingens interna innehåll och möjligheten till superturingberäkningar är föremål för forskning inom digital fysik .