Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 262:
Но прежде всего нужно уточнить термины.
Машина
останавливается.
для которого можно построить программу, его проверяющую.
Формализуя данное определение, мы получаем следующее:
Строка 272:
{{Акмар}}
Множество объектов называется
который получает на вход объект и определяет, принадлежит объект
этому множеству или нет. Такой алгоритм обязан остановиться при любом объекте на входе,
| |||