A Church-Turing-Deutsch elv erősebb formája az egyház tézisének (vagy Church-Turing tézisének), amelyet David Deutsch fogalmazott meg 1985-ben. Ennek az elvnek megfelelően egy univerzális számológép képes szimulálni minden fizikai folyamatot .
Amint azt Deutsch állította, a megfogalmazás a következő:
„Minden véglegesen megvalósítható fizikai rendszert tökéletesen szimulálhat egy univerzális modellszámítógép, amely véges eszközökkel működik. "
„Bármely elérhető véges fizikai rendszert tökéletesen szimulálhatunk egy véges eszközökkel működő számológép modelljével. "