Чего не могут вычислительные машины: различия между версиями

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