kouzdra (kouzdra) wrote,
kouzdra
kouzdra

This journal has been placed in memorial status. New entries cannot be posted to it.

Categories:

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

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

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

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

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

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

  • "И все его оставили"

    Чего0то мне кажется, что на Украине жизнь скоро может начать иллюстрировать искусство: Когда случился тот неслыханный скандал, тот крик, и брань, и…

  • Технологии

    "... держать молоток либо какие-то новые технологии...", – считает Володин.

  • Попались обсуждения какого-то

    гопнического сериала про "слова пацанов", там в воспоминательных рассуждаловах всякие личные воспоминание про "с раёнов" - поражает театраьность и…

  • Post a new comment

    Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 120 comments

  • "И все его оставили"

    Чего0то мне кажется, что на Украине жизнь скоро может начать иллюстрировать искусство: Когда случился тот неслыханный скандал, тот крик, и брань, и…

  • Технологии

    "... держать молоток либо какие-то новые технологии...", – считает Володин.

  • Попались обсуждения какого-то

    гопнического сериала про "слова пацанов", там в воспоминательных рассуждаловах всякие личные воспоминание про "с раёнов" - поражает театраьность и…