Zasada Churcha-Turinga-Deutscha
W informatyce i fizyce kwantowej zasada Churcha -Turinga-Deutscha ( zasada CTD ) jest silniejszą, fizyczną formą tezy Churcha-Turinga sformułowanej przez Davida Deutscha w 1985 r. Zasada ta mówi, że uniwersalne urządzenie komputerowe może symulować każdy proces fizyczny .
Historia
Zasada została sformułowana przez Deutscha w 1985 roku w odniesieniu do maszyn i procesów skończonych . Zauważył, że fizyka klasyczna , która wykorzystuje pojęcie liczb rzeczywistych , nie może być symulowana przez maszynę Turinga , która może reprezentować tylko obliczalne liczby rzeczywiste . Deutsch zaproponował, że komputery kwantowe mogą faktycznie przestrzegać zasady CTD, zakładając, że prawa fizyki kwantowej mogą całkowicie opisać każdy proces fizyczny.
Wcześniejsza wersja tej tezy dla klasycznych komputerów została sformułowana przez przyjaciela i ucznia Alana Turinga, Robina Gandy'ego w 1980 roku.
Zobacz też
Notatki
- Deutsch, D. (1985). „Teoria kwantowa, zasada Churcha-Turinga i uniwersalny komputer kwantowy” (PDF) . Obrady Towarzystwa Królewskiego . 400 (1818): 97–117. Bibcode : 1985RSPSA.400...97D . CiteSeerX 10.1.1.41.2382 . doi : 10.1098/rspa.1985.0070 . S2CID 1438116 . Zarchiwizowane od oryginału (PDF) w dniu 09.03.2016 . Źródło 2011-08-17 .
Dalsza lektura
- Deutsch, D. (1997). „6: Uniwersalność i granice obliczeń”. Tkanina rzeczywistości . Nowy Jork: Allan Lane. ISBN 978-0-14-027541-4 .
- Christopher G. Timpson Quantum Computers: the Church-Turing Hypothesis Versus the Turing Principle in Christof Teuscher, Douglas Hofstadter (red.) Alan Turing: życie i dziedzictwo wielkiego myśliciela , Springer, 2004, ISBN 3-540-20020-7 , s. 213–240