завершаемости вычисления. Ну не будет задача определения тотальности разрешимой алгоритмом, и чо из этого?
не распарсил текст %) но про останов писали уже, это необходимое условие для тотальности
Обсуждают сегодня