Principe de Church-Turing-Deutsch
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/35px-Circle-icons-computer.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/24/Symbol_spin_blue2.svg/36px-Symbol_spin_blue2.svg.png)
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
- (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
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
v · m | |
---|---|
Codage |
|
Modèles de calcul |
|
Algorithmique |
|
Syntaxe | |
Sémantique | |
Logique mathématique | |
Mathématiques discrètes |
Portail de l'informatique théorique