— Голубчики, — сказал Фёдор Симеонович озабоченно, разобравшись в почерках. — Это же проблема Бен Бецалеля. Калиостро же доказал, что она не имеет решения.
— Мы сами знаем, что она не имеет решения, — сказал Хунта, немедленно ощетиниваясь. — Мы хотим знать, как её решать.
— Как-то странно ты рассуждаешь, Кристо… Как же искать решение, когда его нет? Бессмыслица какая-то…
— Извини, Теодор, но это ты очень странно рассуждаешь. Бессмыслица — искать решение, если оно и так есть. Речь идёт о том, как поступать с задачей, которая решения не имеет. Это глубоко принципиальный вопрос… (С)
Конечно же, с позиций некоего высшего знания Кристобаль Хунта прав: зачем решать разрешимую задачу, если уже известно, что у неё есть решение? Но нельзя забывать, что он — бессмертный маг высшего класса, бывший Великий Инквизитор и прочее, и прочее. Он уже умеет щёлкать элементарные задачи, и многие задачи, недоступные для вас, являются элементарными для него. А вам нужно участвовать в олимпиадах и конкурсах, учиться, а затем работать на производстве, где подавляющее большинство задач именно разрешимые (в частности, на традиционных олимпиадах других и не дают). Так что знать способы решения таких задач и уметь реализовывать соответствующие алгоритмы — важнейшие знания и умения для тех, кто желает быть выше «чайника» в информатике.
Профессионал порою сталкивается и с совершенно другой ситуацией. Ему ставят задачу, которая заведомо неразрешима. Но её надо решать ,это лишь один из многих подобных случаев в реальной жизни.
Что же делать? Решать! Но решать, зная, а не забывая, что она неразрешима. Намеренное либо самоуверенное невежество в данном случае обязательно приведёт к краху.
В своё время автор слышал доклад выдающегося математика Бориса Авраамовича Трахтенброта «Как решать неразрешимые задачи?» (1979 год, город Телави). Когда через пару лет автору пришлось составлять обзор по семантике языков программирования, он натолкнулся на французскую статью под лихим названием «Indecidable? Sur pas!» («Неразрешимо? Наплевать!») и стало ясно, что такие вещи, как решение неразрешимого, формализация неформализуемого и прочее типичны для человеческой деятельности, как и замечали братья Стругацкие устами Кристобаля Хунты.
Оценили 9 человек
22 кармы