Задание

В теории алгоритмов сформулированы различные практические варианты утверждения Чёрча-Тьюринга:

Физический тезис Чёрча — Тьюринга:

Сильный тезис Чёрча — Тьюринга:

любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга.

любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством.