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