« Church–Turing–Deutsch principle » (voir la liste des auteurs). David Deutsch, « Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer »
algorithme de résolution s'exécutant en temps polynomial sur une machine de Turing est équivalente à la classe de complexité NP des problèmes de décision