kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Categories:

формальное доказательство невозможности

Кстати отопительная задача хорошо иллюстрирует общую довольно ситуацию когда "теоретические соображения" о невозможности решения проблемы на деле не доказывают ничего - просто потому что формализация не соответствует реальной задаче - ну таки да - за исключением тепловых насосов все остальные приборы перегонят одинаковое количество киловатт в одинаковое количество калорий.

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

А при внимательном рассмотрении оказывается и что задача "поддержания комфортного теплового режима в помещении" никак не равна поддержанию конкретной температуры. С освещением кстати тоже самое.

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

Так что по мне так ответ как раз Федора Симеоновича на вопрос КХ Хунты "что делать с задачей, которая не имеет решения" довольно тривиален - "если она зачем-то нужна - решать"
Subscribe

  • В казани грят какая-то "трагедия"

    Уже даже не смешно - учителок постреляли - этих и вовсе не жалко - ну школоту тоже прибрали - тоже не жалко

  • "Вам Шура не завидно? Мне завидно"

    Ко Дню Победы, Илон Маск и компания SpaceX осуществили десятый повторный полет первой ступени. Ускоритель Falcon 9 Block 5 под номером B1051 поднялся…

  • "Иликой пабеды прозник"

    Щас subj положено плясать - хотя нынешняя россияния имеет к нему примерно столько же как и украиния. Эту войну выиграли совсем другие страны. И…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 120 comments

  • В казани грят какая-то "трагедия"

    Уже даже не смешно - учителок постреляли - этих и вовсе не жалко - ну школоту тоже прибрали - тоже не жалко

  • "Вам Шура не завидно? Мне завидно"

    Ко Дню Победы, Илон Маск и компания SpaceX осуществили десятый повторный полет первой ступени. Ускоритель Falcon 9 Block 5 под номером B1051 поднялся…

  • "Иликой пабеды прозник"

    Щас subj положено плясать - хотя нынешняя россияния имеет к нему примерно столько же как и украиния. Эту войну выиграли совсем другие страны. И…