Principe de Church-Turing-Deutsch
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.
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[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. »
Notes et références[modifier | modifier le code]
- (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).
- David Deutsch, « Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer », Proceedings of the Royal Society, 1985, Series A, 400, pp 97-117
