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

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

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

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