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 :
« Every finitely realizable physical system can be perfectly simulated by a universal model computing machine operating by finite means. »
« N'importe quel système physique fini réalisable peut être parfaitement simulé par un modèle de machine calculatrice opérant par des moyens finis. »
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Church–Turing–Deutsch principle » (voir la liste des auteurs).
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
- Portail de l'informatique théorique
