Теза Черча — Тюрінга — Дойча

Теза Черча — Тюрінга — Дойча, в інформатиці і квантовій фізиці, відома також як CTD-принцип (за абревіатурою від англ. Church, Turing, Deutsch), або як сильна теза Черча — Тюрінга — більш строге у фізичному сенсі формулювання евристичної обчислювальної тези Черча — Тюрінга, запропонована Девідом Дойчем у 1985 році. Згідно з тезою універсальний комп'ютерний пристрій здатен моделювати будь-який скінченний фізичний процес, при цьому апарат класичної фізики, який суттєвим чином використовує поняття неперервності і континууму, не дозволяє моделювати всі фізичні процеси за допомогою машини Тюрінга, яка оперує лише обчислюваними об'ектами. Дойч припустив, що квантові комп'ютери зможуть пересилити обмеження даного принципу, якщо алгебраїчні закони квантової фізики зможуть стати теоретичною базою, яка описує будь-які фізичні процеси.

Посилання

• Deutsch, D. (1985). Quantum theory, the Church–Turing principle and the universal quantum computer (PDF). Proceedings of the Royal Society. London (400): 97—117.^[недоступне посилання з травня 2019]

• Deutsch, D. (1997). 6: Universality and the Limits of Computation. The Fabric of Reality (Структура реальності). New York: Allan Lane. ISBN 014027541X.