Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 298:
В частности, не перечислимо множество машин, не заканчивающих работу при фиксированных исходных данных.
'''Доказательство'''
Предположим противное, что данное свойство разрешимо. Тогда имеется машина <math>\mathfrak{A}</math>, которая
Строка 323:
Итак, сделанное нами предположение о существовании машины, распознающей применимость, опровергнуто.
'''Конец доказательства'''
==Практическая разрешимость==
|