Princip Church – Turing – Deutsch - Church–Turing–Deutsch principle - Wikipedia
v počítačová věda a kvantová fyzika, Princip Church – Turing – Deutsch (Princip CTD) je silnější, fyzická forma Církev – Turingova teze formuloval David Deutsch v roce 1985.[1] Princip stanoví, že a univerzální výpočetní zařízení umět simulovat každý fyzický proces.
Dějiny
Princip stanovila Deutsch v roce 1985 s ohledem na konečný stroje a procesy. Pozoroval to klasická fyzika, který využívá konceptu reálná čísla, nelze simulovat pomocí a Turingův stroj, který může pouze představovat vypočítatelné reals. Deutsch to navrhl kvantové počítače může ve skutečnosti dodržovat princip CTD, za předpokladu, že zákony kvantová fyzika dokáže úplně popsat každý fyzický proces.
Dřívější verzi této práce pro klasické počítače uvedl přítel a student Alana Turinga Robin Gandy v roce 1980.[2][3]
Viz také
- Teorie kvantové složitosti
- Digitální fyzika
- Holografický princip a Bekenstein vázán, které zakazují neomezenou přesnost reálných čísel ve fyzickém vesmíru
Poznámky
- ^ Nielsen, Michael. „Zajímavé problémy: Církev – Turingův – Deutschův princip“. Citováno 10. května 2014.
- ^ Gandy, R. (1980). Církevní teze a principy mechanismů. Studie v logice a základech matematiky (101), 123–148
- ^ Kaznatcheev, Artem. „Falsifiability and Gandy's variant of the Church-Turing thesis“. Citováno 23. července 2018.
Reference
- Deutsch, D. (1985). „Kvantová teorie, církev – Turingův princip a univerzální kvantový počítač“ (PDF). Sborník Královské společnosti. 400 (1818): 97–117. CiteSeerX 10.1.1.41.2382. doi:10.1098 / rspa.1985.0070. Archivovány od originál (PDF) dne 09.03.2016. Citováno 2011-08-17.
Další čtení
- Deutsch, D. (1997). „6: Univerzálnost a meze výpočtu“. Tkanina reality. New York: Allan Lane. ISBN 978-0-14-027541-4.
- Christopher G. Timpson Kvantové počítače: Church-Turingova hypotéza versus Turingův princip Christof Teuscher, Douglas Hofstadter (eds.) Alan Turing: život a odkaz velkého mysliteleSpringer, 2004, ISBN 3-540-20020-7, str. 213–240