формальное доказательство невозможности
Кстати отопительная задача хорошо иллюстрирует общую довольно ситуацию когда "теоретические соображения" о невозможности решения проблемы на деле не доказывают ничего - просто потому что формализация не соответствует реальной задаче - ну таки да - за исключением тепловых насосов все остальные приборы перегонят одинаковое количество киловатт в одинаковое количество калорий.
но уже даже на уровне формализации типа "заданная температура воздуха возникают нюасны типа того что радиатор под окном в более значительной степени "греет улицу" (хотя да - комфортнее) - скажем воздушный занавес тут энергетически эффективнее.
А при внимательном рассмотрении оказывается и что задача "поддержания комфортного теплового режима в помещении" никак не равна поддержанию конкретной температуры. С освещением кстати тоже самое.
такого вообще много - например я охладел к науке про алгоритмическю разрешимость после того как осознал, что то что задача разрешима алгоритмически совершенно не значит что она разрешима практически и наоборот - есть куча задач, неразрешимых алгоритмически, которые однако практически решаются поседневно рутинным образом - ну примера для - трансляция большинства макроассемблеров и многих языков высокого уровня.
Так что по мне так ответ как раз Федора Симеоновича на вопрос КХ Хунты "что делать с задачей, которая не имеет решения" довольно тривиален - "если она зачем-то нужна - решать"
но уже даже на уровне формализации типа "заданная температура воздуха возникают нюасны типа того что радиатор под окном в более значительной степени "греет улицу" (хотя да - комфортнее) - скажем воздушный занавес тут энергетически эффективнее.
А при внимательном рассмотрении оказывается и что задача "поддержания комфортного теплового режима в помещении" никак не равна поддержанию конкретной температуры. С освещением кстати тоже самое.
такого вообще много - например я охладел к науке про алгоритмическю разрешимость после того как осознал, что то что задача разрешима алгоритмически совершенно не значит что она разрешима практически и наоборот - есть куча задач, неразрешимых алгоритмически, которые однако практически решаются поседневно рутинным образом - ну примера для - трансляция большинства макроассемблеров и многих языков высокого уровня.
Так что по мне так ответ как раз Федора Симеоновича на вопрос КХ Хунты "что делать с задачей, которая не имеет решения" довольно тривиален - "если она зачем-то нужна - решать"