Исходное сообщение
"Инициатива по созданию порта PostgreSQL на языке Rust" Отправлено Аноним, 11-Янв-17 15:50
1. Если программист написал настолько сложную программу, что он сам для себя даже примерно не может сказать, как она поведёт себя (остановится или нет, где может упасть), то зачем он её вообще писал? Если на практике мы чаще всего имеем дело с программами, написанными людьми и читаемые людьми, то почему сразу вспоминают Тьюринга и какие-то сферические в вакууме программы? 2. Для многих алгоритмически неразрешимых задач и задач с экспоненциальной сложностью давно уже разрабатывались эвристические методы, чтобы хоть как-то приближённо решать эти задачи. Даже проблему остановки можно попытаться решить с некоторой степенью глубины анализа. Трансляция из языка в язык - тоже довольно реальная задача для программ, встречающихся на практике (написанных и понимаемых людьми).