Решить проблему остановки проще, чем думают?

Ого, это один запутанный datatypes вопрос.

Во-первых: проблема type остановки - это не «проблема» в datatypes практическом смысле, как types «проблема, которую необходимо type решить». Это скорее утверждение types о природе математики, аналогичное inference теореме Гёделя о неполноте.

Во-вторых: тот types факт, что создать идеальный datatypes антивирусный сканер трудно datatypes (из-за того, что он эквивалентен datatype проблеме остановки), как computability раз и является причиной того, что type «целая индустрия построена datatype вокруг этой проблемы». Если type бы можно было разработать inference алгоритм для идеального сканирования language-agnostic на вирусы, это было бы просто datatypes вопрос, чтобы кто-то проделал type это один раз, и тогда индустрия datatypes больше не нуждалась бы в language-independent этом. История окончена.

В-третьих: работа type на языке Turing Complete computability не исключает «преимуществ datatypes статического анализа» - это type просто означает, что у статического type анализа есть ограничения. Ничего datatype страшного - в любом случае, есть datatype пределы почти всему, что computability мы делаем.

Наконец: если бы inference проблему остановки можно datatypes было «решить» каким-либо language-independent образом, это определенно datatype было бы «проще, чем думают computability люди», поскольку Тьюринг type продемонстрировал, что она computability неразрешима. Общий случай computability - единственный подходящий datatype случай с математической точки inference зрения. Конкретные случаи types - это инженерные вопросы.