Конструктивный язык

[filin]

В путеводителях по Непалу раньше писали (не знаю, пишут ли еще сейчас), что местным не стоит задавать вопросы, подразумевающие ответ да/нет: у них, типа, считается, что ответом "нет" ты расстраиваешь собеседника, поэтому на вопрос "я правильно иду в Горепани?" рискуешь услышать "да", даже если идешь в обратную сторону. А надо спрашивать "в Горепани в какую сторону?" Тогда покажут в правильную.

Вроде бы сейчас это уже не так, они типа научились, что европейцу лучше честно сказать "нет", он от этого расстроится куда меньше, чем если сегодня не попадет в Горепани.

А меня внезапно посетила мысль о том, что такая особенность могла бы (нет, непальцы — не тот случай) быть результатом конструктивной традиции мышления.

У нас неконструктивная традиция. Когда европеец спрашивает "правильно ли я иду в Горепани?" и получает в ответ честное "нет", ему что на самом деле надо? Правильно, попасть в Горепани. Решил ему этот ответ эту задачу? Правильно, не решил. Он узнал, что этим путем он в Горепани НЕ попадет. И чо? И ничо! Если тебе надо попасть в Горепани, надо спрашивать дорогу в Горепани.

Да, конструктивный вопрос и особенно конструктивный ответ, как правило, длиннее. Как и конструктивное доказательство в математике. Зато он, как и это доказательство, дает практическое решение, а не информацию о том, что решение теоретически есть. Неконструктивный подход вроде бы экономит глюкозу на локальной замене сложной реальной задачи на вроде бы простую подзадачу и длинной формулировки на короткую. Но эта экономия так часто выходит боком...

Я еще не понял, какие я из этого сделаю выводы для себя...

Comments

[vitus_wagner]

Кстати о конструктивности. Где обещанная еще месяц назад конструктивная критика протокола?

[filin]

Пока мозг не собрал. У тебя там сразу технические подробности, я общую картину из них еще не извлек. Нутром чую, что там серьезные недостатки. В первую очередь смущает длинное эклектичное перечисление тегов с однобайтовым кодом.

Я сейчас по питерской работе дорабатываю проект в чем-то сходного протокола, на днях посмотрю на оба сразу...