В теории алгоритмов сформулированы различные практические варианты утверждения Чёрча-Тьюринга: Физический тезис Чёрча — Тьюринга: Сильный тезис Чёрча — Тьюринга: любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга. любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством.

Задание

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

Объекты 1
- Физический тезис Чёрча — Тьюринга:
- Сильный тезис Чёрча — Тьюринга:
Объекты 2
- любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга.
- любой конечный физический процесс, не использующий аппарат, связанный с непрерывностью и бесконечностью, может быть вычислен физическим устройством.