Principe de Church-Turing-Deutsch
De Wikipedia, l'encyclopédie encyclopedia
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.
Cet article est une ébauche concernant l’informatique et la physique quantique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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[1]. »
« 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. »