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