Le principe de Church-Turing-Deutsch est une forme plus forte de la thèse de Church (ou thèse de Church-Turing) qui a été formulée par David Deutsch en 1985. Selon ce principe, un calculateur universel peut simuler tous les processus physiques.
Tel qu'il a été énoncé par Deutsch, la formulation est la suivante :
Notes et références
Articles connexes Informatique théorique Physique numérique (théorique) Réalité simulée Hypothèse de simulation Théorème de Margolus-Levitin Thèse de Church Mathématisme Calculating Space
Catégorie:Principe Catégorie:Calculabilité Catégorie:Alan Turing