Алан Тьюринг доказал в 1936 году, что проблема остановки
bluxer — 10.02.2026
Алан Тьюринг доказал в 1936 году,
что проблема остановки неразрешима на машине Тьюринга. Другими
словами, не существует общего алгоритма решения этой
проблемыА ничего удивительного. И не надо даже быть Аланом Тюрингом: понять, что текст в самом деле завершён (дописан до конца) можно, только прочитав его от и до. Погрузившись в него, "прожив" его, так сказать. Взгляд на обложку не поможет.
PS. У меня был одноклассник Тюрин. Гопник-переросток, которого все боялись. Умер наверное уже.
|
|
</> |

