Принцип Черча – Тьюринга – Дойча - Википедия - Church–Turing–Deutsch principle

В Информатика и квантовая физика, то Принцип Черча – Тьюринга – Дойча (Принцип CTD) является более сильной физической формой Тезис Черча – Тьюринга сформулировано Дэвид Дойч в 1985 г.[1] Принцип гласит, что универсальный вычислительное устройство может моделировать каждый физический процесс.

История

Принцип был сформулирован Deutsch в 1985 году в отношении финишный машины и процессы. Он заметил, что классическая физика, в котором используется концепция действительные числа, не может быть смоделирована Машина Тьюринга, который может представлять только вычислимые вещественные числа. Дойч предложил квантовые компьютеры может фактически подчиняться принципу CTD, предполагая, что законы квантовая физика может полностью описать каждый физический процесс.

Более ранняя версия этого тезиса для классических компьютеров была высказана другом и учеником Алана Тьюринга. Робин Ганди в 1980 г.[2][3]

Смотрите также

Примечания

  1. ^ Нильсен, Майкл. «Интересные проблемы: принцип Чёрча – Тьюринга – Дойча». Получено 10 мая 2014.
  2. ^ Ганди, Р. (1980). Тезис Черча и принципы механизмов. Исследования по логике и основам математики (101), 123–148
  3. ^ Казначеев, Артем. «Фальсифицируемость и вариант Ганди тезиса Черча-Тьюринга». Получено 23 июля 2018.

Рекомендации

дальнейшее чтение

  • Дойч, Д. (1997). «6: Универсальность и пределы вычислений». Ткань реальности. Нью-Йорк: Аллан Лейн. ISBN  978-0-14-027541-4.
  • Кристофер Г. Тимпсон Квантовые компьютеры: гипотеза Чёрча-Тьюринга против принципа Тьюринга в Christof Teuscher, Douglas Hofstadter (ред.) Алан Тьюринг: жизнь и наследие великого мыслителя, Springer, 2004 г., ISBN  3-540-20020-7, стр. 213–240

внешняя ссылка