Сб. Июл 20th, 2024

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

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

От content

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *