Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
→Теорема 1: Удалил мусор. И ещё очень многое в статье вызывает недоумение. |
|||
Строка 313:
зависит от частностей теории алгоритмов. Оно следует из фундаментальнейшего факта наличия универсальной
машины, и практически лишь из него.
Теперь приведём список известных классических неразрешимых проблем, который может служить ориентиром при рассмотрении
| |||