Методы Кристобаля Хунты: различия между версиями

Что же делать? Решать! Но решать, зная, а не забывая, что она неразрешима. Намеренное либо самоуверенное невежество в данном случае обязательно приведёт к краху. В своё время автор слышал доклад выдающегося математика (тогда российского) Б. А. Трахтенброта «Как решать неразрешимые задачи?» (1979 г., ныне грузинский, а тогда российскийсоветский, город Телави). Когда через пару лет автору пришлось составлять обзор по семантике языков программирования, он натолкнулся на французскую статью под лихим названием «Indecidable? Sur pas!» («Неразрешимо? Наплевать!») и стало ясно, что такие вещи, как решение неразрешимого, формализация неформализуемого и прочее типичны для человеческой деятельности, как и замечали братья Стругацкие устами Кристобаля Хунты.