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

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