Тезис Чёрча — Тьюринга — Дойча

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

См. также[править | править код]

Сверхтьюринговые вычисления

Ссылки[править | править код]

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