Zasada kościół-Turing-Deutsch - Church–Turing–Deutsch principle

W informatyki i fizyki kwantowej The zasada Kościół-Turing-Deutsch ( zasada CTD ) jest silniejszy, fizyczna forma Hipoteza Churcha-Turinga sformułowana przez Davida Deutscha w 1985 roku.

Komunikat

Zasada stwierdza, że uniwersalne urządzenie komputerowe mogą symulować każdy proces fizyczny .

Historia

Zasada stwierdził Deutscha w 1985 roku w stosunku do finitary maszyn i procesów. Zauważył, że fizyka klasyczna , która korzysta z pojęciem liczb rzeczywistych , nie mogą być symulowane przez maszynę Turinga , która może reprezentować tylko obliczalne Real . Deutsch zaproponował, że komputery kwantowe mogą rzeczywiście przestrzegać zasadę CTD, zakładając, że prawa fizyki kwantowej można całkowicie opisać każdy proces fizyczny.

Wcześniejsza wersja tej tezy dla komputerów klasycznych stwierdził przyjaciela i ucznia Alana Turinga Robina Gandy w 1980 roku.

Zobacz też

• Kwantowa teoria złożoności
• fizyka cyfrowy
• Zasada holograficzna i Bekenstein związany , które zakazują liczb rzeczywistych nieograniczony precyzji we wszechświecie fizycznym

Uwagi

Referencje

• English, D. (1985). „Kwantowa teoria, zasada Kościół-Turinga i uniwersalny komputer kwantowy” (PDF) . Proceedings of the Royal Society . Londyn. 400 : 97 i ndash, 117 doi : 10,1098 / rspa.1985.0070 .

Dalsza lektura

• Deutsch, D. (1997). „6: Uniwersalność i granicach obliczeń”. Tkanina Rzeczywistości . New York: Allan Lane. ISBN  0-14-027541-X .
• Christopher G. Timpson kwantowe komputery: Kościół-Turinga Hipoteza Versus Turinga Principle w Christof Teuscher, Douglas Hofstadter (eds.) Alan Turing: życie i dziedzictwo wielkiego myśliciela , Springer, 2004, ISBN  3-540-20020-7 , ss. 213-240

Linki zewnętrzne

• Nielsen, Michael (2004-04-16). "Ciekawe problemy: Kościół-Turing-Deutsch zasady" .