Тезис Чёрча

Тезис Чёрча

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

Ссылки

  • Deutsch D. 6: Universality and the Limits of Computation // The Fabric of Reality (Структура реальности). — New York: Allan Lane. — ISBN 014027541X
Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "Тезис Чёрча" в других словарях:

  • Тезис Чёрча — Тьюринга — фундаментальное утверждение для многих областей науки, таких, как теория вычислимости, информатика, теоретическая кибернетика и др. Это утверждение было высказано Алонзо Чёрчем и Аланом Тьюрингом в середине 1930 х годов. В самой общей форме оно… …   Википедия

  • Тезис Чёрча-Тьюринга — …   Википедия

  • Тезис Чёрча—Тьюринга — …   Википедия

  • ТЕЗИС — (греч. thesis положение, утверждение) 1) в логике Т. называется утверждение, подлежащее доказательству; 2) в теории аргументации Т. положение, которое доказывающая сторона находит нужным внушить аудитории, сделать составной частью ее убеждений;… …   Философская энциклопедия

  • ЧЁРЧА ТЕЗИС — принцип, согласно к рому класс функций, вычислимых с помощью алгоритмов в широком интуитивном смысле, совпадает с классом частично рекурсивных функций. Ч. т. это естественнонаучный факт, подтверждаемый опытом, накопленным в математике за всю ее… …   Математическая энциклопедия

  • Цифровая физика — Цифровая физика, в физике и космологии,  совокупность теоретических взглядов, проистекающих из допущения, что Вселенная по сути описывается информацией и, следовательно, является вычислимой. Из данных предположений следует то, что… …   Википедия

  • Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …   Википедия

  • Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …   Википедия

  • ЧЁРЧ —         (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… …   Философская энциклопедия

  • РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»