Воспринимать принцип Чёрча-Тьюринга как физический закон это не значит просто сделать компьютерную науку частью физики. Такая точка зрения превращает часть экспериментальной физики в раздел компьютерных наук.

Из существования универсального квантового компьютера $\mathcal{Q}$ следует, что существует программа для каждого физического процесса. В частности, $\mathcal{Q}$ может представлять любой физический эксперимент. В некоторых случаях (например, при измерениях констант или форм взаимодействий) это не принесет пользы, поскольку для написания программы должен быть известен результат. Но, например, когда проверяется сама квантовая теория, каждый эксперимент является просто выполнением $\mathcal{Q}$-программы. Выполнение на $\mathcal{Q}$ следующей АЛГОЛ-68 программы есть проведение эксперимента Эйнштейна-Подольского-Розена:
begin
int $n=8 *$ random; ф случайно выбраны целые числа от 0 до 7 ф
bool $x, y ; \quad$ булевы переменные – двоичные элементы ф
$x:=y:=$ false; $\quad$ приготов.тение необратимости памяти ф
$V(8, y) \quad ф$ см. уравнение $(2.15) \phi$
$x$ eorab $y ; \quad$ полное измерение $(2.14)$ ф
if $V(n, y)
eq \quad$ измерение $y$ в произвольном направлении ф
$V(n, x) \quad \&$ и $x$ в направлении, параллельном $y$ ф
then $\operatorname{print}$ ((\”Квантовая теория отвергается.\”))
else print ((\”Квантовая теория принимается.\”))
fi
end
Квантовые компьютеры поднимают интересные проблемы разработки языков программирования, которые я здесь не рассматриваю. Скажу только, что существуют программы, которые проверили бы (в порядке возрастания трудности) неравенство Белла, линейность квантовой динамики и интерпретацию Эверетта. Предоставляю читателю написать их.

Я хотел поблагодарить доктора Беннетта, обратившего мое внимание на то, что гипотеза Чёрча-Тьюринга имеет физический смысл, К. Пенроуза и К.Вольфа за интересные дискуссии о квантовых компьютерах и профессора Р. Пенроуза,Ф.Р.С., за чтение черновика этой статьи и многие предложенные улучшения.